Katalog der Deutschen Nationalbibliothek

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

10491 - 10500 von 10713

	10491	A framework to improve the architecture quality of software intensive systems Thiel, Steffen, 2005
	10492	A lightweight formal method for the prediction of non-functional system properties Barner, Jörg. - Erlangen : Inst. für Informatik, 2005
	10493	A public key cryptosystem based on non-abelian finite groups Essen : IEM, 2005
	10494	A simultaneous execution scheme for database caching Jurk, Steffen, 2005
	10495	Adaptive Erkennung von Software-Entwurfsmängeln Kreimer, Jochen, 2005
	10496	Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
	10497	Advancing operating systems via aspect oriented programming Engel, Michael, 2005
	10498	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	10499	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	10500	An improved rule for while loops in deductive program verification Beckert, Bernhard. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005