Katalog der Deutschen Nationalbibliothek

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

471 - 480 von 1071

	471	Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen Mistrzyk, Tomasz, 2010
	472	Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung Schackmann, Holger, 2010
	473	Model checking nondeterministic and randomly timed systems Neuhäußer, Martin R., 2010
	474	Modeling and model-based testing of service choreographies Wieczorek, Sebastian, 2010
	475	Modeling linearly and non-linearly dependent simulation input data Nassaj, Feras, 2010
	476	Modeling Petri net-based multi-agent applications Cabac, Lawrence, 2010
	477	Modellextraktion aus natürlichen Sprachen Gelhausen, Tom. - Karlsruhe : KIT Scientific Publishing, 2010
	478	On functional logic programming and its application to testing Fischer, Sebastian, 2010
	479	On the complexity of blind signatures Schröder, Dominique, 2010
	480	On the Consistency of Spatial Semantic Integrity Constraints Mäs, Stephan. - Neubiberg : Universitätsbibliothek der Universität der Bundeswehr, 2010

471 - 480 von 1071