search result

Cover von Algebraic methodology and software technology
5th international conference : Munich, Germany, July 1 - 5, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1101
Media group: MONOGRAPHIE
Cover von Programming language implementation and logic programming
4th international symposium : Leuven, Belgium, August 26 - 28, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 631
Media group: MONOGRAPHIE
Cover von Programming language implementation and logic programming
3rd international symposium : Passau, Germany, August 26 - 28, 1991 : proceedings
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 528
Media group: MONOGRAPHIE
Cover von STACS 88
5th annual symposium on theoretical aspects of computer science : Bordeaux, France, February 11 - 13, 1988 : proceedings
Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 294
Media group: MONOGRAPHIE
Cover von Rigorous Software Engineering for Service-Oriented Systems
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 6582
Media group: MONOGRAPHIE
Cover von Algebraic methodology and software technology
S. 1-185
Search for this author
Year: 2000
Publisher: Amsterdam, Elsevier
Media group: SPECIAL ISSUE
Cover von Trustworthy Global Computing
5th International Symposium, Munich, Germany, February 24 - 26, 2010, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6084
Media group: MONOGRAPHIE
Cover von Elementare Aussagenlogik
Author: Bauer, Friedrich L.; Wirsing, Martin Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Mathematik für Informatiker
Media group: MONOGRAPHIE
Cover von Logic for system engineering
03.03. - 07.03.97 (9710)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 171
Media group: DAGSTUHL-SEMINAR-REP
Cover von Algebraic methods
theory, tools and applications
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 394
Media group: MONOGRAPHIE
OPEN V 11.1.0.0