|
671 |
Modellgetriebene Entwicklung von Kommunikationsprotokollen für drahtlos vernetzte Regelungssysteme Krämer, Marc, 2013
|
|
|
672 |
Modellgetriebene Entwicklung von Steuerungssoftware auf Basis der UML unter Berücksichtigung der domänenspezifischen Anforderungen des Maschinen- und Anlagenbaus Witsch, Daniel. - [Göttingen] : Sierke, 2013, 1. Aufl.
|
|
|
673 |
Monadic Parametricity of Second-Order Functionals Karbyshev, Aleksandr. - München : Universitätsbibliothek der TU München, 2013
|
|
|
674 |
Monadic parametricity of second-order functionals Karbyshev, Aleksandr, 2013
|
|
|
675 |
Multi-quality auto-tuning by contract negotiation Götz, Sebastian, 2013
|
|
|
676 |
Multi-Quality Auto-Tuning by Contract Negotiation Götz, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
677 |
Multi tenancy for cloud-based in-memory column databases Schaffner, Jan, 2013
|
|
|
678 |
Mutating Runtime Architectures as a Countermeasure Against Power Analysis Attacks Stöttinger, Marc Sebastian Patric. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
679 |
Neue Schranken für SVP-Approximation und SVP-Aufzählungsalgorithmen Lange, Benjamin, 2013
|
|
|
680 |
Nichtabstreitbarkeit der Weitergabe von Dokumenten Schick, Rainer. - Aachen : Shaker, 2013
|
|