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