|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | 50 Jahre Universitäts-Informatik in München 1. Aufl. 2017 Edition (German) | Bode, Arndt | Hardcover | 3662547112 / 9783662547113 | 07/2017 | $80.74 |
| | Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology Softcover Repri Edition | Pohl, Klaus | Paperback | 3319838768 / 9783319838762 | 07/2018 | $52.24 |
| | Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology 2016 Edition | Pohl, Klaus | Hardcover | 3319480022 / 9783319480022 | 12/2016 | $80.74 |
| | Agendacps: Integrierte Forschungsagenda Cyber-Physical Systems 2012 Edition (Acatech Studie) (German) | Geisberger, Eva | Paperback | 3642290981 / 9783642290985 | 03/2012 | $47.49 |
| | Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, Aswsd 2004, San Diego, Ca, Usa, January 10-12, 2004, Re 2006 Edition (Lecture Notes in Computer Science) | Broy, Manfred | Paperback | 3540376771 / 9783540376774 | 09/2006 | $52.24 |
| | Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare Softcover Repri Edition (NATO Asi Subseries F:) | Bauer, F. L. | Paperback | 3642748864 / 9783642748868 | 12/2011 | $104.49 |
| | Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare 1989 Edition (NATO Asi Subseries F:) | Bauer, F. L. | Hardcover | 3540513698 / 9783540513698 | 08/1989 | $113.99 |
| | Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School 1986 Edition (Springer Study Edition) | Bauer, F. L. | Paperback | 3540170820 / 9783540170822 | 12/1986 | $104.49 |
| | Deductive Program Design Softcover Repri Edition (NATO Asi Subseries F:) | Broy, Manfred | Paperback | 3642648495 / 9783642648496 | 09/2011 | $208.99 |
| | Deductive Program Design 1996 Edition (NATO Asi Subseries F:) | Broy, Manfred | Hardcover | 3540609474 / 9783540609476 | 06/1996 | $208.99 |
| | Einführung in Die Softwaretechnik 1. Aufl. 2021 Edition (Xpert.Press) (German) | Broy, Manfred | Hardcover | 3662502623 / 9783662502624 | 07/2021 | $66.49 |
| | Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys 2005 Edition (NATO Science Series II:) | Broy, Manfred | Hardcover | 1402035306 / 9781402035302 | 07/2005 | $208.99 |
| | Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys 2005 Edition (NATO Science Series II:) | Broy, Manfred | Paperback | 1402035314 / 9781402035319 | 07/2005 | $208.99 |
| | Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding 1993 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 354057316X / 9783540573166 | 10/1993 | $52.24 |
| | Formal Systems Specification: The Rpc-Memory Specification Case Study 1996 Edition (Lecture Notes in Mathematics) | Broy, Manfred | Paperback | 3540619844 / 9783540619840 | 11/1996 | $52.24 |
| | Informatik Eine Grundlegende Einführung: Band 1: Programmierung Und Rechnerstrukturen 2. Aufl. 1998 Edition (German) | Broy, Manfred | Paperback | 3540632344 / 9783540632344 | 11/1997 | $37.99 |
| | Informatik Und Mathematik Softcover Repri Edition (German) | Broy, Manfred | Paperback | 3642766781 / 9783642766787 | 12/2011 | $75.99 |
| | Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen Und Systemnahe Programmierung (Springer-Lehrbuch) (German) | Broy, Manfred | Paperback | 354057672X / 9783540576723 | 09/1994 | $66.45 |
| | Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung (Springer-Lehrbuch) (German) | Broy, Manfred | Paperback | 3540551913 / 9783540551911 | 09/1992 | $66.45 |
| | Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik 2. Aufl. 1998. Edition (Springer-Lehrbuch) (German) | Broy, Manfred | Paperback | 3540643923 / 9783540643920 | 10/1998 | $33.24 |
| | Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report 1995 Edition (Lecture Notes in Computer Science) | Broy, Manfred | Paperback | 3540605894 / 9783540605898 | 11/1995 | $52.24 |
| | 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 Softcover Repri Edition (NATO Asi Subseries F:) | Bauer, F. | Paperback | 3642873766 / 9783642873768 | 04/2012 | $52.24 |
| | Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru 1. Aufl. 2019 Edition (German) | Broy, Manfred | Paperback | 3658263016 / 9783658263010 | 06/2019 | $36.09 |
| | Mathematical Methods in Program Development Softcover Repri Edition (NATO Asi Subseries F:) | Broy, Manfred | Paperback | 3642645887 / 9783642645884 | 10/2011 | $104.49 |
| | Methods of Programming 1991 Edition (Lecture Notes in Computer Science) | Broy, Manfred | Paperback | 354054576X / 9783540545767 | 10/1991 | $52.24 |
|
|
|