|
511 |
Situative Gestaltung des IT-Produktmanagements
Peine, Katharina. - Lohmar : Eul, 2014, 1. Aufl.
|
|
|
512 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Universitätsbibliothek Ilmenau, 2014
|
|
|
|
513 |
Small TCBs of policy-controlled operating systems
Pölck, Anja. - Ilmenau : Univ.-Verl., 2014
|
|
|
|
514 |
Software idioms for component-based and topology-aware simulation assembly and data exchange in high performance computing and visualisation environments
Atanasov, Atanas. - München : Verl. Dr. Hut, 2014, 1. Aufl.
|
|
|
|
515 |
Software Idioms for Component-based and Topology-aware Simulation Assembly and Data Exchange in High Performance Computing and Visualisation Environments
Atanasov, Atanas. - München : Verlag Dr. Hut, 2014
|
|
|
|
516 |
Sound Program Transformation Based on Symbolic Execution and Deduction
Ji, Ran. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
517 |
Sound programm transformation based on symbolic execution and deduction
Ji, Ran, 2014
|
|
|
|
518 |
Supporting the Quality Assurance of a Scientific Framework
Remmel, Hanna. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
519 |
Supporting the quality assurance of a scientific framework
Remmel, Hanna, 2014
|
|
|
|
520 |
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Anjorin, Anthony. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
Administration
