Normale Ansicht MARC ISBD

Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group] Paul Callaghan ... (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 227700 | Lecture notes in computer science ; 2277Verlag: Berlin Heidelberg [u.a.] Springer 2002Beschreibung: VIII, 242 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540432876

Weitere Titel:

Types 2000

Schlagwörter: Genre/Form:

Konferenzschrift -- 2000 -- Durham

Andere physische Formen: Online-Ausg.: Types for Proofs and ProgramsLOC-Klassifikation:

QA76.9.A96

Andere Klassifikation:

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

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Online-Ausg.: / Callaghan, Paul: Types for Proofs and Programs

Exemplare ( 1 )
Titelinformationen ( 3 )

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 2277 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000174945

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 2273 Information retrieval techniques for speech applications [based on a workshop held as part of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval]	LNCS 2274 Public key cryptography 4th [i.e. 5th] International Workshop on Practice and Theory in Public Key Cryptosystems, Paris, France, February 12-14, 2002 ; proceedings	LNCS 2276 Computational linguistics and intelligent text processing third international conference, CICLing 2002, Mexico City, Mexico, February 17 - 23, 2002 ; proceedings	LNCS 2277 Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group]	LNCS 2278 Genetic programming 5th European conference, Kinsale, Ireland, April 3 - 5, 2002 ; proceedings	LNCS 2279 Applications of evolutionary computing EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3 - 4, 2002 ; proceedings	LNCS 228 Applied algebra, algorithmics and error-correcting codes 2nd international conference, AAECC-2, Toulouse, France, October 1 - 5, 1984 ; proceedings	Weiter

Literaturangaben

Callaghan, Paul: Types for Proofs and Programs

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31