search result

Cover von Informatik 2000

Informatik 2000
neue Horizonte im neuen Jahrhundert : 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19. - 22. September 2000
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Informatik aktuell
Media group: MONOGRAPHIE
Cover von Formal methods for increasing software productivity

Formal methods for increasing software productivity
international symposium of formal methods Europe, Berlin, Germany, March 12 - 16, 2001, proceedings
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2021
Media group: MONOGRAPHIE
Cover von 14th European conference on artificial intelligence

14th European conference on artificial intelligence
August 20 - 25, 2000, Berlin, Germany, including prestigious applications of intelligent systems (PAIS-2000), proceedings
Search for this author
Year: 2000
Publisher: Amsterdam, IOS Press
Series: Frontiers in artificial intelligence and applications; 54
Media group: KONGRESSBERICHT
Cover von Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science
Dagstuhl, 2012 : Research Training Group 1651 (SOAMED), HU Berlin, TU Berlin, Hasso-Plattner-Institut, Charite and Research Training Group 1424 (MuSAMA), Universität Rostock, June 18 - June 22, 2012
Search for this author
Year: 2012
Publisher: Norderstedt, Books on Demand GmbH
Media group: MONOGRAPHIE
Cover von Reliability, Safety, and Security of Railway Systems

Reliability, Safety, and Security of Railway Systems
Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10 - 12, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14198
Media group: MONOGRAPHIE
Cover von Fundamentals of computation theory

Fundamentals of computation theory
proceedings of the conference on algebraic, arithmetic, and categorial methods in computation theory, held in Berlin/Wendisch-Rietz (GDR), September 17 - 21, 1979
Search for this author
Year: 1979
Publisher: Berlin, Akademie Verlag
Series: Mathematical research; 2
Media group: MONOGRAPHIE
Cover von Parallel problem solving from nature

Parallel problem solving from nature
international conference on evolutionary computation : the 4th international conference on parallel problem solving from nature : Berlin, Germany, September 22 - 26, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1141
Media group: MONOGRAPHIE
Cover von Information system, work and organization design

Information system, work and organization design
proceedings of the IFIP TC9/WG 9.1 working conference on information system, work and organization design, Berlin, GDR, 10 - 13 July 1989
Search for this author
Year: 1991
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Protocol test systems

Protocol test systems
proceedings of the IFIP TC 6 second international workshop on protocol test systems, organized by GMD-FOKUS and IBM-ENC, Berlin, FRG, 3 - 6 October, 1989
Search for this author
Year: 1990
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Firmware Engineering

Firmware Engineering
Seminar veranstaltet von der gemeinsamen Fachgruppe "Mikroprogrammierung" des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. - 14. März 1980 in Berlin
Search for this author
Year: 1980
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 31
Media group: MONOGRAPHIE
OPEN V 11.1.0.0