Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2013
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
|
Konferenz/Workshop
|
Druckschrift
|
2007
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [10. GI/ITG/GMM-Workshop Modellierung und Verifikation]
|
Konferenz/Workshop
|
Druckschrift
|
2014
|
Methoden und Algorithmen für mehrdimensionale Mikrolokalisierungsverfahren
|
Dissertationsschrift
|
Elektronische Ressource
|
2014
|
Methoden und Algorithmen für mehrdimensionale Mikrolokalisierungsverfahren
|
Dissertationsschrift
|
Druckschrift
|
2019
|
Methoden der optimalen Steuerung von Pkw Hybrid- und Elektrofahrzeugen
|
Habilitationsschrift
|
Druckschrift
|
2010
|
Metal surface in contact with electrolyte solution
|
Zeitschriftenartikel
|
Druckschrift
|
2009
|
Message from the chairs
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2018
|
MeNTor: a wireless-mesh-network-aware data dissemination overlay based on BitTorrent
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2010
|
Mehrdimensionale Rekonstruktion und Partikelgrößenbestimmung in Mehrphasenströmungen
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Medical research-oriented workflow automation in distributed heterogeneous environments of data acquisition
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|