Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

3201 - 3210 von 3445

	3201	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	3202	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	3203	Usability challenges of PKI Straub, Tobias, 2006
	3204	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3205	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3206	Verified proof carrying code Wildmoser, Martin, 2006
	3207	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3208	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3209	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3210	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006

3201 - 3210 von 3445

Alle Materialarten > Online Ressourcen (3445)

Alle Kataloge/Sammlungen > Hochschulschriften (3445)

Alle Standorte

Aktionen

Administration