Katalog der Deutschen Nationalbibliothek

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

1271 - 1280 von 1700

	1271	Rationale based unified software engineering model Wolf, Timo. - Saarbrücken : VDM Verlag Dr. Müller, 2008
	1272	Reconfigurable Petri systems with negative application conditions Rein, Alexander. - Berlin : TU, Professoren der Fak. IV, 2008
	1273	Reduction methods for probabilistic model checking Größer, Marcus Thomas, 2008
	1274	Relation graphs and contextual logic Hereth, Joachim, 2008
	1275	Robust source coding based on forward error correcting codes (FEC source coding) Dütsch, Nicolas. - München : Verl. Dr. Hut, 2008, 1. Aufl.
	1276	Robustness evaluation of operating systems Johansson, Andréas, 2008
	1277	Sampling algorithms for evolving datasets Gemulla, Rainer, 2008
	1278	SAT-based finite model generation for higher-order logic Weber, Tjark, 2008
	1279	Secret sharing schemes on general access structures Beiter, Bernd Michael. - Aachen : Shaker, 2008
	1280	Security concepts for robust and highly mobile ad-hoc networks Dötzer, Florian, 2008