|
18941 |
Model checking software Berlin : Springer, 2002
|
|
|
18942 |
MS-Windows NT 4.0 Kiel : Unabhängiges Landeszentrum für Datenschutz Schleswig-Holstein, 2002, 2. Aufl.
|
|
|
18943 |
MS-Windows NT 4.0 Kiel : Unabhängiges Landeszentrum für Datenschutz Schleswig-Holstein, 2002, 2. Aufl.
|
|
|
18944 |
Multimedia-Delivery für personalisierbare E-Services Wagner, Matthias. - Norderstedt : Books on Demand GmbH, c 2002
|
|
|
18945 |
Office 2000 Troisdorf : Bildungsverl. EINS, [2002]
|
|
|
18946 |
Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
|
|
|
18947 |
Paths and matrices of propagation Berthomieu, Caroline. - [Berlin] : Fraunhofer-Inst. Software- und Systemtechnik, 2002
|
|
|
18948 |
PHP-Magazin / [CD-ROM-Beilage] [Frankfurt, M.] : Software- & Support-Verl.
|
|
|
18949 |
Praxisbezogene IDL-Programmierung Jülich : Forschungszentrum, Zentralbibliothek, 2002
|
|
|
18950 |
Progress in cryptology Berlin : Springer, 2002
|
|