Katalog der Deutschen Nationalbibliothek

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

1001 - 1010 von 1234

	1001	"Strictly models and objects first" Diethelm, Ira, 2007
	1002	Strikte Verfahren zyklischer Berechnung Trancón y Widemann, Baltasar, 2007
	1003	Structured generic programming in Eden Priebe, Steffen, 2007
	1004	Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
	1005	Subtype satisfiability and entailment Priesnitz, Tim, [2007]
	1006	Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
	1007	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	1008	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	1009	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	1010	Tamper resistance of AES Krummel, Volker, 2007

1001 - 1010 von 1234