Home Advanced Search

Advanced Search - Page 1

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Iteration Theories: The Equational Logic of Iterative Processes
  • PDF
  • English
  • Year: 1993
  • Author: Stephen L. Bloom, Zoltán Ésik
Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Farid Ajili (auth.), Ugo Montanari, Francesca Rossi (eds.)
Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Farid Ajili (auth.), Ugo Montanari, Francesca Rossi (eds.)
CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)
search