|
801 |
Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling Gladigau, Jens. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
802 |
Communication Infrastructure Modeling of Many-Core Architectures Möller, Leandro. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
803 |
Compression, Modeling, and Real-Time Rendering of Realistic Materials and Objects Menzel, Nicolas. - Marburg : Philipps-Universität Marburg, 2012
|
|
|
804 |
Computation sequence Chart Grosch, Vanessa. - Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2012
|
|
|
805 |
Consistent key-based routing in decentralized and reconfigurable data services Högqvist, Mikael. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012
|
|
|
806 |
Constraint driven schema merging Li, Xiang. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
807 |
Contention techniques for opportunistic communication in wireless mesh networks Kurth, Mathias. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012
|
|
|
808 |
Continuous, seamless integration of users into the software design of interactive systems Nepper, Patrick. - München : Universitätsbibliothek der TU München, 2012
|
|
|
809 |
Contributions to the syntactical analysis beyond context-freeness Bordihn, Henning. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2012
|
|
|
810 |
Convexity in Image-Based 3D Surface Reconstruction Kolev, Kalin. - München : Universitätsbibliothek der TU München, 2012
|
|