Front Matter, Table of Contents, Preface, Conference Organization

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 329 von 5780


Link zu diesem Datensatz	https://d-nb.info/1366702867
Titel	Front Matter, Table of Contents, Preface, Conference Organization / Henning Basold, Jesper Cockx, Silvia Ghilezan
Person(en)	Basold, Henning (Verfasser) Cockx, Jesper (Verfasser) Ghilezan, Silvia (Verfasser)
Verlag	Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2022
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:0030-drops-167691 DOI: 10.4230/LIPIcs.TYPES.2021.0
URL	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.0 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Leibniz International Proceedings in Informatics, 2022, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), page 0:i-0:viii
DDC-Notation	004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 329 von 5780

Korrekturanfrage