Katalog der Deutschen Nationalbibliothek

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

2331 - 2340 von 2943

	2331	Formal verification of recursive predicates Bubel, Richard, 2007
	2332	Framework for middleware executed on mobile devices Wuest, Bjoern, [2007]
	2333	From software measurement to e-measurement Lother, Mathias. - Aachen : Shaker, 2007, 1. Aufl.
	2334	From Software Measurement to e-Measurement Lother, Mathias. - Aachen : Shaker, 2007, 1. Auflage
	2335	Generic programming and algebraic multigrid for stabilized finite element methods Klimanis, Nils, [2007]
	2336	Genetische Programmierung und Schach Kantschik, Wolfgang, 2007
	2337	Gerichtete und optimierende Suchverfahren in komplexen Datenstrukturen Leven, Peter. - Aachen : Shaker, 2007
	2338	Gerichtete und optimierende Suchverfahren in komplexen Datenstrukturen Leven, Peter. - Aachen : Shaker, 2007, 1. Auflage
	2339	Gleichheitsabhängigkeiten zwischen Objekten durch parametrisierte Zuweisungen Chernuchin, Daniel, 2007
	2340	Grafische Benutzungsunterstützung auf Befehlsebene für die Entwicklung massivparalleler Programme Toussaint, Frederic. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007