|
7631 |
[Types for proofs and programs] [Berlin : [Springer], 2004
|
|
|
7632 |
UML-based test specification for communication systems Ebner, Michael, 2004
|
|
|
7633 |
Visual C++ - Windows-Programmierung mit den MFC Budszuhn, Frank. - München : Pearson Deutschland, 2004
|
|
|
7634 |
Windows XP Home SP2 - Magnum Lackerbauer, Ingo. - München : Pearson Deutschland, 2004
|
|
|
7635 |
Windows XP Professional Tricks SP2 - Magnum Born, Günter. - München : Pearson Deutschland, 2004
|
|
|
7636 |
Computer network security Berlin : Springer, c 2003
|
|
|
7637 |
C++-Programmierung Willms, André. - München : Pearson Deutschland, 2003, 2. Aufl.
|
|
|
7638 |
Database and XML technologies Berlin : Springer, c 2003
|
|
|
7639 |
Formal methods and software engineering Berlin : Springer, c 2003
|
|
|
7640 |
Generische Joinverarbeitung am Beispiel des Similarity-Join Dittrich, Jens, [2003]
|
|