Handbook of automated reasoning 1 Ed.: Alan Robinson ...
Materialtyp:
TextSprache: Englisch Gesamtaufnahme: Handbook of automated reasoningVerlag: Amsterdam North Holland 2001Beschreibung: XXV, 970 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0444829490
- 0262182211
- ST 304
- *00B15
- 68-06
- 68-00
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | Semesterapparate | |
|---|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001498 | ||||
|
Buch
|
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001702 | ||||
| Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Course Reference (GF) | ROB a2 2001:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2000000169538 | ||||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ROB a2 2001:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000082107 | ||||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ROB a2 2001:1 4.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000391612 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Course Reference (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| REI w 1982:1 1.Ex Petrinetze eine Einführung | RICh m3 2016:1 2.Ex Inverse problems basics, theory and applications in geophysics | RIV x 2020:1 1.Ex Introduction to static analysis an abstract interpretation perspective | ROB a2 2001:1 3.Ex Handbook of automated reasoning 1 | ROB a2 2001:2 1.Ex Handbook of automated reasoning 2 | ROCk r 1970:1 1.Ex Convex analysis | ROG d 1998:1 1.Ex Procedural elements for computer graphics |