Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

771 - 780 von 8380

	771	Stochastic optimisation methods and pattern search algorithms for augmented reality videoconferencing Lehment, Nicolas H.. - München : Verlag Dr. Hut, [2016], 1. Auflage
	772	Supporting communication in spatially distributed groups Ven, Jasper van de. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2016]
	773	Supporting graph editing in visual representations Gladisch, Stefan. - Rostock : Universität Rostock, 2016
	774	Supporting graph editing in visual representations Gladisch, Stefan. - Rostock, [2016]
	775	Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg : Universität Würzburg, 2016
	776	System support for security and privacy in pervasive computing Apolinarski, Wolfgang. - Berlin : Logos Verlag Berlin GmbH, [2016]
	777	Test and diagnosis of embedded processor cores with formal methods Riefert, Andreas. - Uelvesbüll : Der Andere Verlag, 2016
	778	Textarbeit in der geisteswissenschaftlichen Lehre Centeno Garcia, Anja. - Berlin : Frank & Timme, [2016]
	779	The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
	780	The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words Feng, Shiguang. - Leipzig, [2016]