Home Advanced Search

Advanced Search - Page 1

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • PDF
  • English
  • Year: 1989
  • Author: C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)
Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)
Personal Medical Information: Security, Engineering, and Ethics
  • PDF
  • English
  • Year: 1997
  • Author: Simon Jenkins (auth.), Ross Anderson (eds.)
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • PDF
  • English
  • Year: 1989
  • Author: Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)
search