Katalog der Deutschen Nationalbibliothek

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

1601 - 1610 von 3810

	1601	A formal approach to software product families Gruler, Alexander M., 2010
	1602	A formal verification environment for use in the certification of safety-related C-programs Walter, Dennis, 2010
	1603	A formal, declarative approach to data format description Hartle, Michael, 2010
	1604	A framework for automated HW/SW co-verification of SystemC designs using tmed automata Herber, Paula, 2010
	1605	A framework for XML similarity joins Ribeiro, Leonardo Andrade, 2010
	1606	A log-linear discriminative modeling framework for speech recognition Heigold, Georg, 2010
	1607	A logic-based approach to multimedia interpretation Kaya, Atila, 2010
	1608	A pattern-based approach to enterprise architecture management Ernst, Alexander M., 2010
	1609	A study in direct policy search Wierstra, Daniël Pieter, 2010
	1610	Active fault-tolerance in wireless networked control systems Chihaia, Cristian Ionuţ, 2010

1601 - 1610 von 3810