search result

Cover von Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
MBMV 2012
Search for this author
Year: 2012
Publisher: Hamburg, Kovac
Series: Forschungsergebnisse zur Informatik; 68
Media group: MONOGRAPHIE
Cover von Implementierungskonzepte für Datenbanksysteme
Author: Schneider, Markus Search for this author
Year: 2003
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Theorem proving in higher order logics
20th international conference : Kaiserslautern, Germany, September 10 - 13, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4732
Media group: MONOGRAPHIE
Cover von Abenteuer Softwarequalität
Grundlagen und Verfahren für Qualitätssicherung und Qualitätsmanagement
Author: Schneider, Kurt Search for this author
Year: 2007
Publisher: Heidelberg, dpunkt.verlag
Media group: MONOGRAPHIE
Cover von Verification of reactive systems
formal methods and algorithms
Author: Schneider, Klaus Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Graphics hardware 2002
Saarbrücken, Germany, September 1 - 2, 2002 : Eurographics workshop proceedings
Search for this author
Year: 2002
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20 - 22, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 10510
Media group: MONOGRAPHIE
Cover von E-Voting and Identify
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 7985
Media group: MONOGRAPHIE
Cover von The Semantic Web - ISWC 2010

The Semantic Web - ISWC 2010

9th International Semantic Web Conference, Shanghai, China, November 7 - 11, 2010, Revised Selected Papers
2010
Berlin, Springer
Series: Lecture notes in computer science; 6496/6497
Media group: GESAMTWERK
Volumes loading
Cover von Technologies for interactive digital storytelling and entertaiment
second international conference, Darmstadt, Germany, June 24 - 26, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3105
Media group: MONOGRAPHIE
OPEN V 11.1.0.0