|
7801 |
Modular Programming Languages Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
7802 |
Smart Card Research and Advanced Applications Boston, MA : Springer US, 2000
|
|
|
7803 |
Word 2000 - Easy Schwabe, Rainer Walter. - München : Pearson Deutschland, 2000, 7. Aufl.
|
|
|
7804 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
7805 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
7806 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
7807 |
Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
7808 |
Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
|
|
|
7809 |
Programmieren spielend gelernt mit dem Java-Hamster-Modell Wiesbaden : Vieweg+Teubner Verlag, 1999
|
|
|
7810 |
Requirements-Engineering systematisch Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
|
|