|
1611 |
Applications of automata learning in verification and synthesis
Neider, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
1612 |
Applications of automata learning in verification and synthesis
Neider, Daniel, 2014
|
|
|
|
1613 |
Applications of Computational Topology to the Visualization of Scalar Fields
Kotava, Natallia. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
1614 |
Applications of computational topology to the visualization of scalar fields
Kotava, Natallia, 2014
|
|
|
|
1615 |
Applications of matching theory in constraint programming
Cymer, Radosław. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
|
|
1616 |
Approaches for efficient and autonomous learning in robotics and computer vision
Triebel, Rudolph, 2014
|
|
|
|
1617 |
Architekturmuster für Software-Produktlinien
Lindemann, Marcus. - Berlin : Gito, 2014
|
|
|
|
1618 |
Arsenale jüdischen Wissens
Engelhardt, Arndt. - Göttingen : Vandenhoeck & Ruprecht, 2014
|
|
|
|
1619 |
Attacking and Protecting Ring Oscillator Physical Unclonable Functions and Code-Offset Fuzzy Extractors
Merli, Dominik. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
1620 |
Aufklärung jenseits der Öffentlichkeit
Abrosimov, Kirill. - Ostfildern : Thorbecke, 2014
|
|
Administration
