Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

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

8011 - 8020 von 8029

	8011	Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
	8012	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	8013	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	8014	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	8015	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	8016	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	8017	Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
	8018	On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
	8019	Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
	8020	Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999