search result

Cover von Theorem proving in higher order logics
18th international conference, Oxford, UK, August 22 - 25, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3603
Media group: MONOGRAPHIE
Cover von Analyzing the evolution of large-scale software; 6
special issue : S. 363-450
Search for this author
Year: 2004
Publisher: Chichester, Wiley
Journal of software
Count: 6
Media group: SPECIAL ISSUE
Cover von Special issue on planning with uncertainty and incomplete information; 1/2
S. 1 - 285
Search for this author
Year: 2003
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von CHI 2003
new horizons : conference proceedings : 5 - 10 April 2003, Ft. Lauderdale, Florida, USA
Search for this author
Year: 2003
Publisher: New York, ACM
Series: CHI letters; 5. 2003, 1
Media group: KONGRESSBERICHT
Cover von Separation of concerns for software evolution; 5
special issue : S. 311-406
Search for this author
Year: 2002
Publisher: Chichester, Wiley
Journal of software
Count: 5
Media group: SPECIAL ISSUE
Cover von Mathematical methods for curves and surfaces
Oslo 2000
Search for this author
Year: 2001
Publisher: Nashville, Vanderbilt University Press
Series: Innovations in applied mathematics
Media group: MONOGRAPHIE
Cover von Proceedings of the fifth European conference on computer supported cooperative work
Search for this author
Year: 1997
Publisher: Boston, Kluwer
Media group: MONOGRAPHIE
Cover von Handbook of logic in computer science

Handbook of logic in computer science

1992-2000
Oxford, Clarendon Press,Oxford Science Publications
Media group: GESAMTWERK
Volumes loading
Cover von TAPSOFT '91

TAPSOFT '91

proceedings of the international joint conference on theory and practice of software development : Brighton, UK, April 8 - 12, 1991
1991
Berlin, Springer
Series: Lecture notes in computer science; 493/494
Media group: GESAMTWERK
Volumes loading
Cover von Formal methods and software engineering
10th international conference on formal engineering methods, Kitakyushu-City, Japan, October 27 - 31, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5256
Media group: MONOGRAPHIE
OPEN V 11.1.0.0