Katalog der Deutschen Nationalbibliothek

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

1021 - 1030 von 1201

	1021	Effiicient sampling of the structure of cryptographic generators' state transition graphs Keller, Jörg. - Hagen : FernUniversität in Hagen, 2006
	1022	Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme Metzner, Alexander, 2006
	1023	Ein Betriebssystem für konfigurierbare Hardware Krutz, David, 2006
	1024	Ein modellbasierter Ansatz für adaptierbare und selbstadaptive Komponenten Göbel, Steffen, 2006
	1025	Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen Hartmann, Andreas, 2006
	1026	Elliptic curve cryptography for constrained devices Kumar, Sandeep S., 2006
	1027	Enhanced active databases for federated information systems Popfinger, Christopher, 2006
	1028	Enhanced query processing on complex spatial and temporal data Renz, Matthias, 2006
	1029	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	1030	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006