Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings

PDF
English
Year: 2015
Author: Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

PDF
English
Year: 2009
Author: Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

PDF
English
Year: 2008
Author: Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

PDF
English
Year: 2018
Author: Christian Colombo, Martin Leucker

Notas para un curso de Álgebra Abstracta I

PDF
Spanish
Year: ?
Author: Camilo Sanabria, Mario Valencia Pabón

Model-Based Testing of Reactive Systems: Advanced Lectures

PDF
English
Year: 2005
Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Model-Based Testing of Reactive Systems: Advanced Lectures

PDF
English
Year: 2005
Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Ephemeral Histories: Public Art, Politics, and the Struggle for the Streets in Chile

PDF
English
Year: 2016
Author: Camilo D. Trumper

Modern Genome Annotation: The Biosapiens Network

PDF
English
Year: 2008
Author: D. Frishman, Alfonso Valencia

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

PDF
English
Year: 2021
Author: Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)