Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki
In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.
Till Mossakowski; Christian Maeder; Klaus Lüttich
In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.
Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)
Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.
Christian Müller; Felix Burkhardt
In: Proceedings of the Interspeech 2007. Conference in the Annual Series of Interspeech Events (INTERSPEECH-07), August 27-31, Antwerp, Belgium, ISCA, …
Thomas Breuel
In: Proceedings of the Snowbird Learning Workshop 2007. Snowbird Workshop on Learning, March 19-22, Puerto Rico, USA, Snowbird, 2007.
Hagen Kaprykowsky; Xavier Rodet
In: Proceedings of the Deutsche Jahrestagung für Akustik. Deutsche Jahrestagung für Akustik (DAGA-07), Fortschritte der Akustik, March 19-22, …
Daniel Keysers
In: Dorothea Wagner; et al. (Hrsg.). Ausgezeichnete Informatikdissertationen 2006. Dissertationspreis-Kolloquium, May 29 - June 1, Dagstuhl, Germany, …
Miaosen Shen; Stefan Hodek; Pang Z. Peng (Hrsg.)
Power Electronics Specialists Conference (PESC-2007), June 17-21, Orlando, Floriada, USA, IEEE, 2007.
Peter Loos; Pavlina Chikova; Björn Simon
In: T. Blecker; G. Huang. Handbook of Radio Frequency Identification (RFID) Technologies in Operations and Supply Chain Management: Research and …
Peter Loos; Gunnar Martin; Christian Seel; Timo Kahl
In: V. Nissen. Consulting Research - Unternehmensberatung aus wissenschaftlicher Perspektive. Pages 315-333, ISBN 978-3-8350-0389-7, Gabler Verlag, …
