Katalog der Deutschen Nationalbibliothek

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

7601 - 7610 von 7759

	7601	Typed Lambda Calculi and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7602	Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
	7603	UML-basierter Klassen- und Integrationstest objektorientierter Programme Sokenou, Dehla, 2005
	7604	Unterstützung der Adoption kommerzieller Standardsoftware durch Diagramme Loser, Kai-Uwe, 2005
	7605	Verification of Java card programs Stenzel, Kurt, 2005
	7606	Verification, Model Checking, and Abstract Interpretation Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	7607	Viable network intrusion detection in high-performance environments Sommer, Robin, 2005
	7608	Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung Bayer, Arne, [2005]
	7609	Vom Vorgehensmodell zum Projektplan Gnatz, Michael Andreas Josef, 2005
	7610	Vorkurs Informatik Wiesbaden : Vieweg+Teubner Verlag, 2005