|
491 |
Service level management in cloud computing
Holloway, Melanie. - Wiesbaden : Springer Vieweg, [2017]
|
|
|
|
492 |
SMT-based validation & verification of UML-OCL models
Przigoda, Nils. - Bremen, 2017
|
|
|
|
493 |
Software clones
Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
|
494 |
Softwareagenten-basierte Berechnung interdisziplinärer gekoppelter Simulationen
Jüttner, Matthias. - Düsseldorf : VDI Verlag, 2017, Als Manuskript gedruckt
|
|
|
495 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
496 |
Static data flow analysis for android applications
Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
|
497 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
498 |
Static verification techniques for attributed graph transformations
Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
|
499 |
Statistical pattern recognition for biometric person identification and event detection
Condurache, Alexandru Paul. - Waabs : GCA-Verlag, 2017, 1. Auflage
|
|
|
|
500 |
Systematic metric systems engineering
Vianden, Matthias. - Aachen : Shaker, 2017, [1. Auflage]
|
|
Administration
