search result

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
Cover von FM 2008
formal methods : 15th international symposium on formal methods : Turku, Finland, May 26 - 30, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5014
Media group: MONOGRAPHIE
Cover von Rigorous analysis and design for software intensive systems
7.11.1999 - 12.11.1999 (99451)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 258
Media group: DAGSTUHL-SEMINAR-REP
Cover von Pseudo-Deterministic Quantum Algorithms

Pseudo-Deterministic Quantum Algorithms

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0