Bernhard Moller – författare

Visar alla böcker från författaren Bernhard Moller. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Relational and Kleene-Algebraic Methods in Computer Science

   7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

   Av Georg Struth, Bernhard Moller m. fl.

   E-bok, 2004

   734 kr

   Lägg i varukorg

2. 

   Mathematics of Program Construction

   6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

   Av Bernhard Moller, Eerke A. Boiten

   E-bok, 2003

   739 kr

   Lägg i varukorg

3. 

   Prospects for Hardware Foundations

   ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

   Av John V. Tucker, Bernhard Moller

   E-bok, 2003

   739 kr

   Lägg i varukorg

   Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA …

4. 

   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

   Av Georg Struth, Bernhard Moller m. fl.

   E-bok, 2008

   755 kr

   Lägg i varukorg

5. 

   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

   Av Bernhard Moller, Ali Jaoua m. fl.

   E-bok, 2009

   734 kr

   Lägg i varukorg

   The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers …