Katalog der Deutschen Nationalbibliothek

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

291 - 300 von 1204

	291	Security Policies in Pervasive Systems Schütte, Julian Hendrik. - München : Universitätsbibliothek der TU München, 2013
	292	Selecting and Reducing Key Sizes for Multivariate Cryptography Petzoldt, Albrecht. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	293	Situational Method Engineering for the Enactment of Method-Centric Domain-Specific Languages Honke, Benjamin. - Augsburg : Universität Augsburg, 2013
	294	Snapshots in large-scale distributed file systems Stender, Jan. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2013
	295	Social Malcode Engelberth, Markus. - Mannheim : Universitätsbibliothek Mannheim, 2013
	296	Software Transactional Memory Building Blocks Riegel, Torvald. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	297	Symbolic trajectories Güting, Ralf Hartmut. - Hagen : FernUniversität in Hagen, 2013
	298	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
	299	The quantitative µ-calculus Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	300	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils. - Paderborn : Universitätsbibliothek, 2013