Katalog der Deutschen Nationalbibliothek

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

911 - 920 von 1203

	911	Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese Yoo, Haiseung, 2007
	912	Flexible certificate management in public key infrastructures Karatsiolis, Evangelos, 2007
	913	Framework for middleware executed on mobile devices Wuest, Bjoern, [2007]
	914	Generic programming and algebraic multigrid for stabilized finite element methods Klimanis, Nils, [2007]
	915	Genetische Programmierung und Schach Kantschik, Wolfgang, 2007
	916	Gleichheitsabhängigkeiten zwischen Objekten durch parametrisierte Zuweisungen Chernuchin, Daniel, 2007
	917	Grafische Benutzungsunterstützung auf Befehlsebene für die Entwicklung massivparalleler Programme Toussaint, Frederic. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	918	Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP Störzer, Maximilian, 2007
	919	Integrated formal modeling and automated analysis of computer network attacks Rothmaier, Gerrit, 2007
	920	Introspektive modellgetriebene Softwareentwicklung Büchner, Thomas, 2007