Manfred Broy's Documents

Manfred Broy's Documents

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme
Read more
Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings

Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings
Read more
Modellbildung in der Informatik (Xpert.press)

Modellbildung in der Informatik (Xpert.press)
Read more
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Read more
Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project
Read more
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers
Read more
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised
Read more
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Read more
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Read more
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
Read more
Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study
Read more
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Read more
WAS IST WAS, Band 20: Reptilien und Amphibien

WAS IST WAS, Band 20: Reptilien und Amphibien
Read more
Angewandte Funktionalanalysis: Funktionalanalysis, Sobolev-Räume und elliptische Differentialgleichungen, 2. Auflage (Springer-Lehrbuch Masterclass)

Angewandte Funktionalanalysis: Funktionalanalysis, Sobolev-Räume und elliptische Differentialgleichungen, 2. Auflage (Springer-Lehrbuch Masterclass)
Read more
Scottish Common Sense in Germany, 1768-1800: A Contribution to the History of Critical Philosophy (Mcgill-Queen's Studies in the History of Ideas)

Scottish Common Sense in Germany, 1768-1800: A Contribution to the History of Critical Philosophy (Mcgill-Queen's Studies in the History of Ideas)
Read more
Irre - Wir behandeln die Falschen

Irre - Wir behandeln die Falschen
Read more
Spuren der Vergangenheit

Spuren der Vergangenheit
Read more
Schlangenmenschen

Schlangenmenschen
Read more
Die Fortsetzung der indogermanischen Laryngale im Indo-Iranischen

Die Fortsetzung der indogermanischen Laryngale im Indo-Iranischen
Read more
Hohenjagd- und Höhenkampfflugzeuge bis 1945

Hohenjagd- und Höhenkampfflugzeuge bis 1945
Read more
Graph-Theoretic Concepts in Computer Science 21 conf., WG '95

Graph-Theoretic Concepts in Computer Science 21 conf., WG '95
Read more
Zeitsplitter

Zeitsplitter
Read more
Schlangenmenschen

Schlangenmenschen
Read more
Konstantin der Große und seine Zeit

Konstantin der Große und seine Zeit
Read more
Tempus, Aspekt,. Modus, Evidentialität

Tempus, Aspekt,. Modus, Evidentialität
Read more
Home Media: PC, TV & Hi-Fi vernetzen. So bringen Sie Film, Bilder und Musik zusammen (DIGITAL lifeguide)

Home Media: PC, TV & Hi-Fi vernetzen. So bringen Sie Film, Bilder und Musik zusammen (DIGITAL lifeguide)
Read more
VPN - Virtuelle Private Netzwerke

VPN - Virtuelle Private Netzwerke
Read more
Im Höllbach ist die Hölle los

Im Höllbach ist die Hölle los
Read more
Etymologisches Wörterbuch des Altindoarischen: Bd 3

Etymologisches Wörterbuch des Altindoarischen: Bd 3
Read more
Spuren der Vergangenheit

Spuren der Vergangenheit
Read more