Search
Lexile Level
AR Level
AR Level
Modellbildung in Der Informatik (Softcover Reprint of the Original 1st 2004) 9783642622670 by
Broy, Manfred -
Springer,
-2013
Dewey: 005.7
N/A
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding 9783540573166 by
Bjørner, Dines -
Springer,
-1993
Dewey: 005.1
N/A
Modellbildung in Der Informatik (2004) 9783540442929 by
Broy, Manfred -
Springer,
-2003
Dewey: 005.7
N/A
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, Aswsd 2006, San Diego, Ca, Usa, March 15-17, 2006, Revi 9783540709299 by
Broy, Manfred -
Springer,
-2008
Dewey: 005.1
N/A
Program Design Calculi (Softcover Reprint of the Original 1st 1993) 9783642081644 by
Broy, Manfred -
Springer,
-2010
Dewey: 004.21
N/A
Deductive Program Design (Softcover Reprint of the Original 1st 1996) 9783642648496 by
Broy, Manfred -
Springer,
-2011
Dewey: 005.11
N/A
Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology (2012) 9783642439926 by
Pohl, Klaus -
Springer,
-2014
Dewey: 004.6
N/A
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology 9783030621384 by
Böhm, Wolfgang -
Springer,
-2021
N/A
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, 9783540430759 by
Bjørner, Dines -
Springer,
-2001
Dewey: 005.1
N/A
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200 9783540208136 by
Broy, Manfred -
Springer,
-2004
Dewey: 004
N/A
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (2. Aufl. 1998. Nachdruck 2003) 9783540643920 by
Broy, Manfred -
Springer,
-1998
Dewey: 004.0151
N/A
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys 9781402035302 by
Broy, Manfred -
Springer,
-2005
Dewey: 005.1
N/A
Model-Based Testing of Reactive Systems: Advanced Lectures (2005) 9783540262787 by
Broy, Manfred -
Springer,
-2005
Dewey: 005.14
N/A
Übungen Zur Einführung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlösungen (2. Aufl. 2002) 9783540420651 by
Broy, Manfred -
Springer,
-2001
Dewey: 004.6
N/A
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys 9781402035319 by
Broy, Manfred -
Springer,
-2005
Dewey: 005.1
N/A
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, Aswsd 2004, San Diego, Ca, Usa, January 10-12, 2004, Re 9783540376774 by
Broy, Manfred -
Springer,
-2006
Dewey: 629.20285
N/A
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung 9783540551911 by
Broy, Manfred -
Springer,
-1992
Dewey: 004.0151
N/A
Informatik Eine Grundlegende Einführung: Band 1: Programmierung Und Rechnerstrukturen (2. Aufl. 1998) 9783540632344 by
Broy, Manfred -
Springer,
-1997
Dewey: 003.54
N/A
Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology (Softcover Reprint of the Original 1st 2016) 9783319838762 by
Pohl, Klaus -
Springer,
-2018
Dewey: 004.6
N/A
Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru 9783658263010 by
Broy, Manfred -
Springer Vieweg,
-2019
Dewey: 005.1
N/A
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (1986) 9783540170822 by
Bauer, F L -
Springer,
-1986
Dewey: 004.36
N/A