Handbook of automated reasoning 2 Ed.: Alan Robinson ...
Materialtyp: TextSprache: Englisch Gesamtaufnahme: Handbook of automated reasoningVerlag: Amsterdam North Holland 2001Beschreibung: XXV, S. 963 - 2122Inhaltstyp:- 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 | |
---|---|---|---|---|---|---|---|---|---|---|
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:2 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000169545 | ||||
Buch | Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001504 | ||||
Buch | Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001733 | ||||
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: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 |
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)
RIV i 1985:1 1.Ex Graphs and order the role of graphs in the theory of ordered sets and its applications | RIX j 1993:1 1.Ex Interfaces in industrial systems for production and engineering proceedings of the IFIP TC5/WG5.10 Working Conference on Interfaces in Industrial Systems for Production and Engineering, Darmstadt, Germany, 15 - 17 March, 1993 | ROA t 2000:1 1.Ex FreeHand 9 authorized | ROB a2 2001:2 3.Ex Handbook of automated reasoning 2 | ROB a3 1992:1 1.Ex The GAWK manual | ROB a3 1997:1 1.Ex Effective AWK programming a unser's guide | ROB ch 2004:1 1.Ex Monte Carlo statistical methods |