|
491 |
Change Detection in Streaming Data
Tran, Dang Hoan. - Ilmenau : TU Ilmenau, 2013
|
|
|
|
492 |
Cheating Prevention in Peer-to-Peer-based Massively Multiuser Virtual Environments
Schuster, Sebastian. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2013
|
|
|
|
493 |
Code-based Identification and Signature Schemes
Yousfi Alaoui, Sidi Mohamed el. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
494 |
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Semmelrock, Nils. - Mannheim : Universitätsbibliothek Mannheim, 2013
|
|
|
|
495 |
Composing Non-Functional Concerns in Web Services
Schmeling, Benjamin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
496 |
Composite Modeling based on Distributed Graph Transformation and the Eclipse Modeling Framework
Jurack, Stefan. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
|
497 |
Compositional and Scheduler-Independent Information Flow Security
Sudbrock, Henning. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
|
498 |
Compositional Synthesis and Most General Controllers
Klein, Joachim. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
499 |
Conjunctive queries, arithmetic circuits and counting complexity
Mengel, Stefan. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
500 |
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Hölzl, Johannes. - München : Universitätsbibliothek der TU München, 2013
|
|
Administration
