|
20681 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
20682 |
Briefwechsel Wille, Johann Georg. - Berlin/Boston : De Gruyter, 1999, Reprint 2013
|
|
|
20683 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
20684 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
20685 |
Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
20686 |
Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
20687 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
20688 |
Gedruckte Literatur zum Thema "Finanzierung der Weiterbildung" [Bonn] : DIE, 1999
|
|
|
20689 |
Grenzen der Wissenschaft Chalmers, Alan F.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
20690 |
Programmieren spielend gelernt mit dem Java-Hamster-Modell Wiesbaden : Vieweg+Teubner Verlag, 1999
|
|