|
611 |
Automatic generation of specifications using verification tools
Wasser, Nathan Daniel. - Darmstadt, 2017
|
|
|
612 |
Automatische Mapping-Verarbeitung auf Webdaten
Thor, Andreas. - Leipzig : Universitätsbibliothek Leipzig, 2017
|
|
|
|
613 |
Be sparse! Be dense! Be robust!
Sorge, Manuel. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
614 |
Be sparse! Be dense! Be robust!
Sorge, Manuel. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
615 |
Book on demand
Behrens, Jörg. - Norderstedt : Books on Demand, [2017], [1. Auflage]
|
|
|
|
616 |
Breaking News
Conradi, Tobias. - Paderborn : Universitätsbibliothek, 2017
|
|
|
|
617 |
Bridging the gap between requirements engineering and software architecture
Alebrahim, Azadeh. - Wiesbaden : Springer Vieweg, [2017], [1st edition]
|
|
|
|
618 |
Computing with noise in spiking neural networks
Bytschok, Ilja. - Heidelberg, 2017
|
|
|
|
619 |
Computing with noise in spiking neural networks
Bytschok, Ilja. - Heidelberg : Universitätsbibliothek Heidelberg, 2017
|
|
|
|
620 |
Concepts and algorithms for computing maximum entropy distributions for knowledge bases with relational probabilistic conditionals
Finthammer, Marc. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2017], [1. Auflage]
|
|
Administration
