|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | 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 |
|  | 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 |
|  | 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 |
|  | 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 |
|  | Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr 1996 Edition (Lecture Notes in Physics) | Bjørner, Dines | Paperback | 3540620648 /
9783540620648 | 12/1996 | $52.24 |
|  | Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, 2001 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 354043075X /
9783540430759 | 12/2001 | $52.24 |
|  | Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 2000 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 3540671021 /
9783540671022 | 01/2000 | $104.49 |
|  | 50 Jahre Universitäts-Informatik in München 1. Aufl. 2017 Edition (German) | Bode, Arndt | Hardcover | 3662547112 /
9783662547113 | 07/2017 | $80.74 |
|  | 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: 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: Teil III: Systemstrukturen Und Systemnahe Programmierung (Springer-Lehrbuch) (German) | Broy, Manfred | Paperback | 354057672X /
9783540576723 | 09/1994 | $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 |
|  | Projektorganisation Und Management Im Software Engineering 2013 Edition (Xpert.Press) (German) | Broy, Manfred | Hardcover | 3642292895 /
9783642292897 | 10/2013 | $66.49 |
|  | Einführung in Die Softwaretechnik 1. Aufl. 2021 Edition (Xpert.Press) (German) | Broy, Manfred | Hardcover | 3662502623 /
9783662502624 | 07/2021 | $66.49 |
|  | 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 |
|  | Übungen Zur Einführung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlösungen 2. Aufl. 2002 Edition (Springer-Lehrbuch) (German) | Broy, Manfred | Hardcover | 3540420657 /
9783540420651 | 09/2001 | $66.49 |
|  | Modellbildung in Der Informatik 2004 Edition (Xpert.Press) (German) | Broy, Manfred | Hardcover | 3540442928 /
9783540442929 | 10/2003 | $37.99 |
|  | Modellbildung in Der Informatik Softcover Repri Edition (Xpert.Press) (German) | Broy, Manfred | Paperback | 3642622674 /
9783642622670 | 10/2013 | $28.49 |
|  | Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement Softcover Repri Edition (Monographs in Computer Science) | Broy, Manfred | Paperback | 1461265185 /
9781461265184 | 10/2012 | $52.24 |
|  | Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement 2001 Edition (Monographs in Computer Science) | Broy, Manfred | Hardcover | 0387950737 /
9780387950730 | 04/2001 | $52.24 |
|  | Informatik Und Mathematik Softcover Repri Edition (German) | Broy, Manfred | Paperback | 3642766781 /
9783642766787 | 12/2011 | $75.99 |
|  | Deductive Program Design Softcover Repri Edition (NATO Asi Subseries F:) | Broy, Manfred | Paperback | 3642648495 /
9783642648496 | 09/2011 | $208.99 |
|  | Program Design Calculi 1993 Edition (NATO Asi Subseries F:) | Broy, Manfred | Hardcover | 354056943X /
9783540569435 | 11/1993 | $208.99 |
|  | Deductive Program Design 1996 Edition (NATO Asi Subseries F:) | Broy, Manfred | Hardcover | 3540609474 /
9783540609476 | 06/1996 | $208.99 |
|
|
|
