Katalog der Deutschen Nationalbibliothek

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

7341 - 7350 von 7930

	7341	Stabilization, safety, and security of distributed systems Berlin : Springer, [2007]
	7342	Static analysis Berlin : Springer, 2007
	7343	"Strictly models and objects first" Diethelm, Ira, 2007
	7344	Strikte Verfahren zyklischer Berechnung Trancón y Widemann, Baltasar, 2007
	7345	String processing and information retrieval Berlin : Springer, 2007
	7346	Structured generic programming in Eden Priebe, Steffen, 2007
	7347	Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
	7348	Subtype satisfiability and entailment Priesnitz, Tim, [2007]
	7349	Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
	7350	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007