Home Advanced Search

Advanced Search - Page 1

TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (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.)
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975
  • PDF
  • English-French
  • Year: 1975
  • Author: Corrado Böhm (auth.), Prof. C. Böhm (eds.)
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.)
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.)
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.)
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.)
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.)
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
  • PDF
  • English-French
  • Year: 1981
  • Author: Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
  • DJVU
  • English
  • Year: 1993
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.)
search