search result

Cover von Programming languages and systems
9th European symposium on programming held as part of the joint European conferences on theory and practice of software : ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1782
Media group: MONOGRAPHIE
Cover von Compiler construction
9th international conference held as part of the joint European conferences on theory and practice of software : ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1781
Media group: MONOGRAPHIE
Cover von Coordination Models and Languages
16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8459
Media group: MONOGRAPHIE
Cover von Distributed Applications and Interoperable Systems
14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8460
Media group: MONOGRAPHIE
Cover von Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8461
Media group: MONOGRAPHIE
Cover von Software quality in service-oriented architectures
proceedings of the Conquest 2006 : 9th international conference on quality engineering in software technology, Berlin, 2006 : ASQF e.V. : Arbeitskreis Software-Qualität und -Fortbildung e. V.
Search for this author
Year: 2006
Publisher: Heidelberg, dpunkt.verlag
Media group: MONOGRAPHIE
Cover von Logarithmisch platzbeschränkte Simulationen
Author: Buntrock, Gerhard Search for this author
Year: 1989
Publisher: Berlin, Technische Universität
Series: Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin / Fachbereich 20, Informatik; 89-9
Media group: DISSERTATION
Cover von Termination proofs and derivation lengths in term rewriting systems
Author: Hofbauer, Dieter Search for this author
Year: 1992
Publisher: Berlin, Technische Universität
Series: Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin / Fachbereich 20, Informatik; 92-46
Media group: DISSERTATION
Cover von Dialogischer Software-Entwurf
Author: Pasch, Jürgen Search for this author
Year: 1991
Publisher: Berlin, Technische Universität
Series: Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin / Fachbereich 20, Informatik; 92-2
Media group: DISSERTATION
Cover von Konstruktives Design
ein ökologischer Ansatz zur Gestaltung interaktiver Systeme
Author: Keil-Slawik, Reinhard Search for this author
Year: 1990
Publisher: Berlin, Technische Universität
Series: Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin / Fachbereich 20, Informatik; 90-14
Media group: DISSERTATION
OPEN V 11.1.0.0