Search
Results
-
Verification, Model Checking, and Abstract Interpretation
(2020)Lecture Notes in Computer ScienceConference Proceedings -
The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings
(2018)Conference Proceedings -
Advancing humanitarian action: engaging with rising global actors to develop new strategic partnerships
(2013)Wilton Park ReportConference Proceedings -
Field guide to the Torres del Paine Igneous Complex and its contact aureole
(2007)Field Guide Book GEOSUR 2007Conference Proceedings -
Nonlithographic and lithographic methods of nanofabrication - From ultralarge-scale integration to photonics to molecular electronics : symposium held November 26-December 1, 2000, Boston, Massachusetts, U.S.A.
(2001)Materials Research Society Symposium ProceedingsConference Proceedings -
Robust estimation applied to correlated GPS phase observations
(2001)Bericht / Eidgenössische Technische Hochschule Zürich, Institut für Geodäsie und Photogrammetrie ~ Non-probabilistic assessment in geodetic data analysis : proceedingsConference Proceedings -
Granular and Traffic Flow ’99: Social, Traffic, and Granular Dynamics
(2000)Conference Proceedings -
Information ohne Grenzen - Wissensvermittlung im Zeitalter der Datennetze
(1996)Online-Tagung der DGDConference Proceedings -
Deutscher Dokumentartag 1996. Die digitale Dokumentation
(1996)DGD-Schrift. DOKConference Proceedings