search result

Cover von Electronic commerce

Electronic commerce
second international workshop, Heidelberg, Germany, November 16 - 17, 2001, proceedings
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2232
Media group: MONOGRAPHIE
Cover von Advanced information systems engineering

Advanced information systems engineering
11th international conference : Heidelberg, Germany, June 14 - 18, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1626
Media group: MONOGRAPHIE
Cover von Pattern Recognition

Pattern Recognition
45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19 - 22, 2023, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14264
Media group: MONOGRAPHIE
Cover von Bildverarbeitung für die Medizin 1999

Bildverarbeitung für die Medizin 1999
Algorithmen, Systeme, Anwendungen : Proceedings des Workshops am 4. und 5. März 1999 in Heidelberg
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Informatik aktuell
Media group: MONOGRAPHIE
Cover von Multimedia

Multimedia
advanced teleservices and high-speed communication architectures : second international workshop : Heidelberg, Germany, September 26 - 28, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 868
Media group: MONOGRAPHIE
Cover von Current developments in knowledge acquisition

Current developments in knowledge acquisition
6th European knowledge acquisition workshop : Heidelberg and Kaiserslautern, Germany, May 18 - 22, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 599
Media group: MONOGRAPHIE
Cover von Computer Aided Verification

Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24 - 28, 2017, Proceedings
2017
Berlin, Springer
Series: Lecture notes in computer science; 10246/10247
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Computer Aided Verification

Part I.; Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24 - 28, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 10426
Media group: MONOGRAPHIE
Cover von Numerical Software Verification

Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22 - 23, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10381
Media group: MONOGRAPHIE
Cover von Part II.; Computer Aided Verification

Part II.; Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 10427
Media group: MONOGRAPHIE
OPEN V 11.1.0.0