Custom cover image
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme / Gerd Kock
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201Publisher: München ; Wien : Oldenbourg, 1992Description: X, 217 SISBN:- 3486222554
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 92 DA 184 | ;c | Available | 47628790090 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 92 DA 184 | ;b | Available | 11045173 | ||
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 92 DA 184 | Available | 11045593 | |||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Koc | Bibliothek / frei aufgestellt | D.Koc(15437) | Available | 000142634090 |
Total holds: 0