|
20001 |
Theoretische Informatik
Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
|
20002 |
Wild Duck
Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
|
20003 |
Word 2000 - Easy
Schwabe, Rainer Walter. - München : Pearson Deutschland, 2000, 7. Aufl.
|
|
|
|
20004 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
|
20005 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
20006 |
Briefwechsel
Wille, Johann Georg. - Berlin/Boston : De Gruyter, 1999, Reprint 2013
|
|
|
|
20007 |
Case retrieval nets as a model for building flexible information systems
Lenz, Mario, 1999
|
|
|
|
20008 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
20009 |
Computer Science Logic
Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
|
20010 |
Einführung in die Kryptographie
Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
Administration
