Home Advanced Search

Advanced Search - Page 1

Algebraic system specification and development: A survey and annotated bibliography
  • DJVU
  • English
  • Year: 1991
  • Author: Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (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.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • DJVU
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • PDF
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Logische Grundlagen der Informatik
  • PDF
  • German
  • Year: 2020
  • Author: Hans-Jörg Kreowski
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
  • PDF
  • English
  • Year: 1985
  • Author: Eric G. Wagner (auth.), Hans-Jörg Kreowski (eds.)
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
  • PDF
  • English
  • Year: 2021
  • Author: Wolfgang Hofkirchner; Hans-Jörg Kreowski
Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Frank Drewes (auth.), Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
search