|
1191 |
Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte Sarferaz, Siar, 2003
|
|
|
1192 |
C++-Referenzkarten Aachen : M. Henne, 2002
|
|
|
1193 |
Coupling distributed Fortran applications using C++ wrappers and the corba sequence type Slawig, Thomas. - [Potsdam] : [PIK], 2000, [Online-Ausg.]
|
|
|
1194 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
1195 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
1196 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
1197 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
1198 |
Formal derivation of pointer algorithms Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
|
|
|
1199 |
Image steganography based on color palette transformation in color space Enthalten in European Association for Speech, Signal and Image Processing: EURASIP journal on image and video processing Bd. 2019, 29.10.2019, Nr. 1, date:12.2019: 1-13
|
|