|
801 |
Contributions to the syntactical analysis beyond context-freeness Bordihn, Henning. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2012
|
|
|
802 |
Convexity in Image-Based 3D Surface Reconstruction Kolev, Kalin. - München : Universitätsbibliothek der TU München, 2012
|
|
|
803 |
Cost-based optimization of graph queries in relational database management systems Trißl, Silke. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012
|
|
|
804 |
Cross-lingual question answering Sacaleanu, Bogdan. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
|
|
|
805 |
Data Consistency and Coordination for Untrusted Environments Majuntke, Matthias. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
806 |
Decentralized Data Storage and Processing in the Context of the LHC Experiments at CERN Blomer, Jakob. - München : Universitätsbibliothek der TU München, 2012
|
|
|
807 |
Decomposition of stability proofs for hybrid systems Oehlerking, Jens. - Oldenburg : IBIT - Universitätsbibliothek, 2012
|
|
|
808 |
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine Sewe, Andreas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
809 |
Design and evaluation of computer arithemetic based on carry-save and signed-digit redundant number representations Neuhäuser, David. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2012
|
|
|
810 |
Design considerations for medium access control in resource constrained embedded wireless networks Ansari, Junaid. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|