Home Advanced Search

Advanced Search - Page 1

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
  • PDF
  • English
  • Year: 1998
  • Author: Bernhard Möller, John V. Tucker (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Krzysztof R. Apt (auth.), Bernhard Möller (eds.)
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
  • DJVU
  • English
  • Year: 1993
  • Author: Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.)
Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)
search