Automated reasoning and its applications essays in honor of Larry Wos ed. by Robert Veroff with Gail W. Pieper
Materialtyp:
TextSprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1997Beschreibung: VIII, 247 S graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0262220555
- QA76.9.A96
- 17,1
- ST 285
- ST 304
- *68T15
- 00B30
- 03B35
- 68-06
- 54.10
- 2
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | VER r 1997:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000060392 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | VER r 1997:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2204000019453 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| VER a2 2001:1 1.Ex Selected applications of integer programming a computational study = Geselecteerde toepassingen van geheeltallig programmeren | VER l 1996:1 1.Ex Elements of algebraic coding theory | VER m2 1996:1 1.Ex Parallel local search | VER r 1997:1 1.Ex Automated reasoning and its applications essays in honor of Larry Wos | VER s 2000:1 1.Ex Information theory 50 years of discovery | VER w 1995:1 1.Ex Multidimensional periodic scheduling | VES f 1994:1 1.Ex Computational physics an introduction |
Bibliography of Larry Wos": p. [235] - 241
Literaturangaben
Archivierung prüfen 20200919 DE-640 2 pdager