Photo de l'auteur

Klaus Schneider

Auteur de Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

19+ oeuvres 29 utilisateurs 0 critiques

Œuvres de Klaus Schneider

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS… (2003) 4 exemplaires
Kochen. Die kleine Schule. Für Anfänger und Einsteiger (1995) 3 exemplaires
De kunst om gezond te genieten (1996) — Auteur — 3 exemplaires
Lexikon Programmusik. Band 2, Figuren und Personen (2017) 2 exemplaires
Lexikon Programmusik. Band 1, Stoffe und Motive (2017) 2 exemplaires
Lexikon "Musik über Musik" : Variationen, Transkriptionen, Hommagen, Stilimitationen, B-A-C-H (2017) 2 exemplaires
Motivation. Kohlhammer Standards Psychologie. 3. Aufl. (1999) 1 exemplaire
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September… (2007) 1 exemplaire
Die Burg des Elefantenjägers : Geschichte des "Grossen Hauses" von Bindouté Da (Lobi, Burkina Faso) (1991) 1 exemplaire
Fire, Hilfeleistungs-, Civil Protection Act North Rhine-Westphalia Fire, hilfeleistungs-, Civil Protection Act North… (2016) 1 exemplaire
Lexikon Programmusik Bd. 1 Stoffe und Motive (1999) 1 exemplaire
Boris Becker Wüstenbilder/Desert Images: Mapping Lawrence of Arabia (2011) 1 exemplaire
Lexikon Programmusik Bd. 2: Figuren und Personen (1999) 1 exemplaire
Motivation (1981) 1 exemplaire
myPROfile - Leitfaden zur biographischen Reflexion (2011) 1 exemplaire
Explorateur d'oeuvres

Oeuvres associées

Made in Oceania Tapa - Kunst und Lebenswelten (2013) — Avant-propos — 5 exemplaires
Afrika - Kult und Visionen unbekannte Kunst aus deutschen Völkerkundemuseen (1999) — Contributeur — 2 exemplaires

Étiqueté

Partage des connaissances

Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.

Membres

Vous aimerez peut-être aussi

Auteurs associés

Statistiques

Œuvres
19
Aussi par
2
Membres
29
Popularité
#460,290
Évaluation
4.0
ISBN
23
Langues
2