|
10371 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|
|
10372 |
Excel 2000 Schwabe, Rainer Walter. - München : Markt-und-Technik-Verl., 2000, Neuaufl.
|
|
|
10373 |
Microsoft Word 2000 Hartmann, Bert. - Scheidegg : media Verlagsgesellschaft mbH, [2000], Genehmigte Sonderausgabe
|
|
|
10374 |
Towards a component concept for continuous software engineering [Berlin] : Fraunhofer-Inst. Software- und Systemtechnik, 2000
|
|
|
10375 |
Windows 95 für Einsteiger Grønbaek, Palle. - Osnabrück : KnowWare, 2000, 1. Ausg., 3. Aufl.
|
|
|
10376 |
Windows ME - Millennium Edition für Einsteiger Säger, Martin. - Scheidegg : Media-Verlagsgesellschaft mbH, [2000]
|
|
|
10377 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
10378 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
10379 |
Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
|
|
|
10380 |
Ein Standard-File für 3D-Gebietsbeschreibungen Lohse, Dag. - Chemnitz : SFB 393, 1998
|
|