Normale Ansicht MARC ISBD

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 214200 | Lecture notes in computer science ; 2142Verlag: Berlin Heidelberg [u.a.] Springer 2001Beschreibung: XII, 614 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540425543

Schlagwörter: Genre/Form:

Konferenzschrift -- 2001 -- Paris

Andere physische Formen: Online-Ausg.: Computer Science LogicLOC-Klassifikation:

QA76.9.L63
QA76.9.L63

Andere Klassifikation:

28
SS 4800
*00B25
68-06
03-06
31.10
54.10

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Zusammenfassung: von ISB2 an Ref. BecAndere Ausgaben: Online-Ausg.: / Fribourg, Laurent: Computer Science Logic

Exemplare ( 1 )
Titelinformationen ( 4 )

Exemplare
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)	Series (GF)	LNCS 2142 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000170244

Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	LNCS 214 Proceedings 11 Nice, France, March 24 - 26, 1986	LNCS 2140 Smart card programming and security proceedings	LNCS 2141 Algorithm engineering 5th international workshop ; proceedings	LNCS 2142 Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10 - 13, 2001 ; proceedings	LNCS 2144 Correct hardware design and verification methods 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, proceedings	LNCS 2146 Cryptography and lattices international conference, Providence, RI, USA, March 29 - 30, 2001 ; revised papers	LNCS 2147 Field-programmable logic and applications 11th International Conference, Belfast, Northern Ireland, UK, August 27 - 29, 2001 ; proceedings	Weiter

Literaturangaben

von ISB2 an Ref. Bec

Fribourg, Laurent: Computer Science Logic

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31