Bernhard Moeller – författare
Visar alla böcker från författaren Bernhard Moeller. Handla med fri frakt och snabb leverans.
17 produkter
Modal Semirings and Applications
Av Bernhard Möller, Jules Desharnais
Inbunden, 2027
1209 kr
Kommande
The book serves as a systematic exposition of modal semirings. Next to motivating the definitions, developing the basic calculus and discussing the most interesting examples of modal semirings, it presents a wide variety of applications. On the side of program semantics, Hoare Logic, the theory of …
Doppel-Klick 8. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für Regelklassen
Av Susanne Bonora, Lisa Kaiser m. fl.
Inbunden
445 kr
Lägg i varukorg
Doppel-Klick 5. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch
Av Claudia Baierl, Susanne Bonora m. fl.
Inbunden
459 kr
Lägg i varukorg
Doppel-Klick 6. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch
Av Susanne Bonora, Martin Küfner m. fl.
Inbunden
445 kr
Lägg i varukorg
Doppel-Klick 7. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für M-Klassen
Av Susanne Bonora, Michael Fischer m. fl.
Inbunden
459 kr
Lägg i varukorg
Doppel-Klick 8. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für M-Klassen
Av Susanne Bonora, Lisa Kaiser m. fl.
Inbunden
459 kr
Lägg i varukorg
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 R. Berghammer, Bernhard Möller m. fl.
Häftad, 2004
551 kr
Lägg i varukorg
This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near Kiel), Germany,from May May 12-17,2003.Its purpose was to bring …
Mathematics of Program Construction
6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Av Eerke A. Boiten, Bernhard Möller
Häftad, 2002
569 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs …
Formal Program Development
IFIP TC2/WG 2.1 State-of-the-Art Report
Av Bernhard Möller, Helmut Partsch m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly …
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Av Jan Heering, Karl Meinke m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming …
Mathematics of Program Construction
Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
Häftad, 1995
569 kr
Lägg i varukorg
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 …
Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Av Gilles Dowek, Jan Heering m. fl.
Häftad, 1996
569 kr
Lägg i varukorg
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an …
Prospects for Hardware Foundations
ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
Av Bernhard Möller, John V. Tucker
Häftad, 1998
569 kr
Lägg i varukorg
This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir …
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 Rudolf Berghammer, Rudolf Berghammer m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo ..rthon an Island in Lake Chiem in Bavaria,April …
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 Rudolf Berghammer, Ali Jaoua m. fl.
Häftad, 2009
551 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 …
