Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=0*
im Bestand: Gesamter Bestand

421 - 430 von 6018

	421	Automatic generation of specifications using verification tools Wasser, Nathan Daniel. - Darmstadt, 2017
	422	Be sparse! Be dense! Be robust! Sorge, Manuel. - Berlin : Universitätsverlag der TU Berlin, 2017
	423	Book on demand Behrens, Jörg. - Norderstedt : Books on Demand, [2017], [1. Auflage]
	424	Bridging the gap between requirements engineering and software architecture Alebrahim, Azadeh. - Wiesbaden : Springer Vieweg, [2017], [1st edition]
	425	Computing with noise in spiking neural networks Bytschok, Ilja. - Heidelberg, 2017
	426	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]
	427	Consumerization: enabling the introduction of IT services for mobile consumer devices Weiß, Frank. - Kassel : Kassel University Press, 2017
	428	Contributions to the differential geometric analysis and control of flat systems Kolar, Bernd. - Aachen : Shaker Verlag, 2017, [1. Auflage]
	429	Data management for eRobotics applications Hoppen, Martin. - Aachen : Apprimus Verlag, 2017, 1. Auflage
	430	Der Berufswahlprozess von Informatiklehrkräften Müller, Dorothea. - Potsdam : Universitätsverlag Potsdam, 2017