Home Advanced Search

Advanced Search - Page 1

CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975
  • DJVU
  • English-French
  • Year: 1975
  • Author: Corrado Böhm (auth.), Prof. C. Böhm (eds.)
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
  • DJVU
  • English-French
  • Year: 1981
  • Author: Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (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.)
Advances in Spatial and Temporal Databases: 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Christian Böhm, Hans-Peter Kriegel, Peer Kröger, Petra Linhart (auth.), Claudia Bauzer Medeiros, Max J. Egenhofer, Elisa Bertino (eds.)
Wilhelm Holzbauer: Holzbauer und Partner / Holzbauer und Irresberger
  • PDF
  • German
  • Year: 2006
  • Author: Rudolf Burger (auth.), Liesbeth Waechter-Böhm (eds.)