Search
Results
-
Proceedings of INSS 2008, Fifth International Conference on Networked Sensing Systems
(2008)Conference Proceedings -
-
-
-
-
-
-
Von der Billigmarke zur Spezialität
(2009)Schriftenreihe aus dem Institut für Nutztierwissenschaften, Ernährung-Produkte-Umwelt, ETH-ZürichConference Proceedings -
Theorem proving in higher order logics
(2003)Lecture Notes in Computer ScienceConference Proceedings -