Handbook of automated reasoning 2 Ed.: Alan Robinson ...
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0444508120
- 026218222X
- ST 304
- *00B15
- 68-06
- 68-00
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | Semesterapparate | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
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:2 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000169545 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001504 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001733 | ||||
![]() |
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:2 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000079800 | ||||
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:2 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2200000082091 |