search result

Cover von Constructing Ambient Intelligence
AmI 2011 Workshops, Amsterdam, The Netherlands, November 16 - 18, 2011 : Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Communications in computer and information science; 277
Media group: MONOGRAPHIE
Cover von An Expressive Trace Logic for Recursive Programs

An Expressive Trace Logic for Recursive Programs

Year: 2025
Media group: LIPIcs
Cover von Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung
Search for this author
Year: 1998
Publisher: Dortmund, Bundesanstalt für Arbeitsschutz
Series: Schriftenreihe der Bundesanstalt für Arbeitsschutz : Forschung; 813
Media group: MONOGRAPHIE
Cover von Theorem proving with analytic tableaux and related methods
4th international workshop : Schloß Rheinfeld, St. Goar, Germany, May 7 - 10, 1995 : proceedings
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 918
Media group: MONOGRAPHIE
Cover von Recent issues in pattern analysis and recognition
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 399
Media group: MONOGRAPHIE
Cover von Vol 9.; Database engineering
Search for this author
Year: 1991
Publisher: Los Alamitos, IEEE
Database engineering
Volume: Vol 9.
Media group: MONOGRAPHIE
Cover von Database engineering

Database engineering

IEEE database engineering bulletin
1991
Los Alamitos, IEEE
Media group: GESAMTWERK
Volumes loading
Cover von Automated Reasoning
5th International Joint Conference, Edinburgh, UK, July 16 - 19, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6173
Media group: MONOGRAPHIE
Cover von Software process and product measurement
international conference, Palma de Mallorca, Spain, November 5 - 8, 2007, revised papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4895
Media group: MONOGRAPHIE
Cover von Tests and proofs
second international conference : Prato, Italy, April 9 - 11, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4966
Media group: MONOGRAPHIE
OPEN V 11.1.0.0