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

3441 - 3444 von 3444

	3441	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	3442	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	3443	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	3444	On some promise classes in structural complexity theory Rothe, Jörg, 1995

3441 - 3444 von 3444

Alle Materialarten > Online Ressourcen (3444)

Alle Kataloge/Sammlungen > Hochschulschriften (3444)

Alle Standorte > Leipzig (3444)

Aktionen

Administration