|
771 |
Service level management in cloud computing
Holloway, Melanie. - Wiesbaden : Springer Vieweg, [2017]
|
|
|
|
772 |
SMT-based validation & verification of UML-OCL models
Przigoda, Nils. - Bremen, 2017
|
|
|
|
773 |
Software clones
Harder, Jan. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
|
774 |
Softwareagenten-basierte Berechnung interdisziplinärer gekoppelter Simulationen
Jüttner, Matthias. - Düsseldorf : VDI Verlag, 2017, Als Manuskript gedruckt
|
|
|
775 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
776 |
Static data flow analysis for android applications
Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
|
777 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
778 |
Static verification techniques for attributed graph transformations
Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
|
779 |
Statistical pattern recognition for biometric person identification and event detection
Condurache, Alexandru Paul. - Waabs : GCA-Verlag, 2017, 1. Auflage
|
|
|
|
780 |
Storytelling für Museen
Kramper, Andrea. - Bielefeld : transcript, [2017], [1. Auflage]
|
|
Administration
