Katalog der Deutschen Nationalbibliothek

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

801 - 810 von 1070

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

801 - 810 von 1070