|
19991 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
19992 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
19993 |
Briefwechsel Wille, Johann Georg. - Berlin/Boston : De Gruyter, 1999, Reprint 2013
|
|
|
19994 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
19995 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
19996 |
Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
19997 |
Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
19998 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
19999 |
Gedruckte Literatur zum Thema "Finanzierung der Weiterbildung" [Bonn] : DIE, 1999
|
|
|
20000 |
Grenzen der Wissenschaft Chalmers, Alan F.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|