Ingo Schäfer

Inge Schäfer · Ingo Seehafer · Ingo Sparr

Klett-Cotta · Natur und Tier-Verlag · dissertation.de

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Abstraktionsverfahren zur Eigenschaftsprüfung mit Bounded Model Checking978-3-86624-279-1
(3-86624-279-4)
2007
Trauma und Sucht. Konzepte - Diagnostik - Behandlung978-3-608-89005-1
(3-608-89005-X)
2006Michael Krausz
Zacken-Erdschildkröten978-3-937285-50-4
(3-937285-50-4)
2005

 

Ingo Scharphuis