| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| 50 Jahre Universitäts-Informatik in München | Gebunden | | 978-3-662-54711-3 | 2017 | Arndt Bode · Hans-Joachim Bungartz · Florian Matthes |
| Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology | Taschenbuch | | 978-3-319-83876-2 | 2018 | Klaus Pohl · Heinrich Daembkes · Harald Hönninger |
| Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology | Gebunden | | 978-3-319-48002-2 | 2016 | Klaus Pohl · Heinrich Daembkes · Harald Hönninger |
| agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems | Taschenbuch | | 978-3-642-29098-5 | 2012 | Eva Geisberger |
| Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... Notes in Computer Science , Band 4147) | " | | 978-3-540-37677-4 | 2008 | Ingolf Kr¿¿ger · Michael Meisinger |
| Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | " | | 978-3-642-74886-8 | 2011 | F.L. Bauer · M. Broy · E.W. Dijkstra · C.A. Hoare |
| Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | Gebunden | | 978-3-540-51369-8 | 1989 | F.L. Bauer · M. Broy · E.W. Dijkstra · C.A. Hoare |
| Control Flow and Data Flow: Concepts of Distributed Programming | Paperback | | 978-0-387-17082-4 | 1986 |
| Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School | Taschenbuch | | 978-3-540-17082-2 | 1986 |
| Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School | Gebunden | | 978-3-540-13919-5 | 1985 |
| Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme | Taschenbuch | | 978-3-642-14498-1 | 2010 |
| Das V-Modell XT: Grundlagen, Erfahrungen und Werkzeuge | Paperback | | 978-3-89864-335-1 | 2008 | Andreas Rausch |
| Das V-Modell XT. Grundlagen, Methodik und Anwendungen: Grundlagen, Methodik Und Anwendungen : Grundlagen, Methodik Und Anwendungen | Gebunden | | 978-3-540-30249-0 | 2008 | Andreas Rausch · Klaus Bergner |
| Deductive Program Design | " | | 978-3-540-60947-6 | 1996 |
| Einführung in die Softwaretechnik | " | | 978-3-662-50262-4 | 2019 | Marco Kuhrmann |
| Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 3 to 15 August 2004 | Hardcover | | 978-1-4020-3530-2 | 2005 | Johannes Gruenbauer · David Harel · Tony Hoare |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | Taschenbuch | | 978-3-540-57316-6 | 2008 | Dines Bjorner · Igor V. Pottosin |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings | Paperback | | 978-0-387-57316-8 | 1993 | Dines Bjorner · Igor V. Pottosin |
| Formal Systems Specification: The RPC-Memory Specification Case Study | Taschenbuch | | 978-3-540-61984-0 | 2008 | Stephan Merz · Katharina Spies |
| Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen | Broschiert | | 978-3-540-21417-5 | 2009 |
| Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen | Taschenbuch | | 978-3-540-63234-4 | 1997 |
| Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik | " | | 978-3-540-64392-0 | 2013 |
| Informatik. Eine grundlegende Einführung: Band 2: Systemstrukturen und Theoretische Informatik | " | | 978-3-540-21418-2 | 2009 |
| Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen und Systemnahe Programmierung | " | | 978-3-540-57672-3 | 1994 |
| Informatik: Eine Grundlegende Einführung Teil II. Rechnerstrukturen und Maschinennahe Programmierung | " | | 978-3-540-56969-5 | 1993 |
| Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung | " | | 978-3-540-55191-1 | 1992 |
| Informatik: Eine Grundlegende Einführung Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung | " | | 978-3-540-58602-9 | 1995 |
| Informatik: Eine Grundlegende Einfuhrung Part 1: Problemnahe Programmierung | Paperback | | 978-0-387-55191-3 | 1992 |
| Informatik: Eine Grundlegende Einfuhrung. Teil 2: Rechenerstrukturen Und Maschinennahe Programmierung | " | | 978-0-387-56969-7 | 1993 |
| Informatik und Mathematik | Taschenbuch | | 978-3-540-54108-0 | 1991 |
| Informatik und Mathematik | " | | 978-3-642-76678-7 | 1991 |
| KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report | " | | 978-3-540-60589-8 | 2008 | Stefan J??hnichen |
| Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report | Paperback | | 978-0-387-60589-0 | 1995 | Stefan Jahnichen |
| Logic of Programming and Calculi of Discrete Design | Hardcover | | 978-0-387-18003-8 | 1987 |
| Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | Gebunden | | 978-3-540-18003-6 | 1987 |
| Mathematical Methods in Program Development | " | | 978-3-540-63195-8 | 1997 | Birgit Schieder |
| Mathematical Methods in Program Development | Taschenbuch | | 978-3-642-64588-4 | 1997 |
| Methods of Programming: Selected Papers on the CIP-Project | " | | 978-3-540-54576-7 | 2008 | Martin Wirsing |
| Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology | Gebunden | | 978-3-642-34613-2 | 2012 | Klaus Pohl · Harald Hönninger · Reinhold Achatz |
| Model-Based Testing of Reactive Systems: Advanced Lectures | Taschenbuch | | 978-3-540-26278-7 | 2008 | Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker · Alexander Pretschner |
| Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 ... Notes in Computer Science , Band 4922) | " | | 978-3-540-70929-9 | 2008 |
| Modellbildung in der Informatik | " | | 978-3-642-62267-0 | 2013 | Ralf Steinbrüggen |
| Modellbildung in der Informatik | Gebunden | | 978-3-540-44292-9 | 2003 | " |
| Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science , Band 2244) | Taschenbuch | | 978-3-540-43075-9 | 2008 | Dines Bjorner · Alexandre Zamulin |
| Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings | " | | 978-3-540-62064-8 | 2008 | Dines Bjorner · Igor V. Pottosin |
| Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... Notes in Computer Science , Band 1755) | " | | 978-3-540-67102-2 | 2000 | Dines Bjørner · Alexandre V. Zamulin |
| Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Notes in Computer Science , Band 2890) | " | | 978-3-540-20813-6 | 2004 | Alexandre V. Zamulin |
| Program Design Calculi | " | | 978-3-642-08164-4 | 2010 |
| Program Design Calculi | Hardcover | | 978-0-387-56943-7 | 1994 |
| Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992 | Gebunden | | 978-3-540-56943-5 | 1993 |
| Programming and Mathematical Method | Hardcover | | 978-0-387-55558-4 | 1992 |
| Programming and Mathematical Method: International Summer School | Gebunden | | 978-3-540-55558-2 | 1992 | C.A.R. Hoare · E.W. Dijkstra · F.L. Bauer |
| Programming and Mathematical Method: International Summer School (Nato ASI Series (closed) / Nato ASI Subseries F: (closed)) | Taschenbuch | | 978-3-642-77574-1 | 2012 |
| Projektorganisation und Management im Software Engineering | Gebunden | | 978-3-642-29289-7 | 2013 | Marco Kuhrmann |
| Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 | Taschenbuch | | 978-3-540-65309-7 | 1998 | Bernhard Rumpe |
| Software Engineering: Schlüssel zu Prozessbeherrschung und Informationsmanagement | Broschiert | | 978-3-931511-52-4 | 2000 | Herbert Ehler · Barbara Paech · Bernhard Rumpe · Veronika Thurner |
| Software-Entwicklung für Kommunikationsnetze | Gebunden | | 978-3-540-43265-4 | 2002 | Axel Pink · Heinz Koßmann · E. Kargl · M. Lagally · T. Schimper |
| Software Pioneers: Contributions to Software Engineering | Paperback | | 978-3-642-59413-7 | 2014 | Ernst Denert |
| Software Pioneers: Contributions to Software Engineering | Taschenbuch | | 978-3-642-63970-8 | 2014 | " |
| Software Pioneers: Contributions to Software Engineering | Gebunden | | 978-3-540-43081-0 | 2002 | " |
| Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement | Hardcover | | 978-0-387-95073-0 | 2001 | Ketil Stølen |
| Theoretical Foundations of Programming Methodology: "Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare" | Paperback | | 978-90-277-1462-6 | 1982 |
| Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen | Taschenbuch | | 978-3-540-42065-1 | 2001 | Bernhard Rumpe |
| Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen | " | | 978-3-540-63549-9 | 1997 | " |
| VDI-Lexikon Informatik und Kommunikationstechnik | " | | 978-3-642-46846-9 | 2012 | Otto Spaniol |
| VDI-Lexikon Informatik und Kommunikationstechnik | Gebunden | | 978-3-540-63249-8 | 1998 | " |