Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 sind von 9 bis 21:30 Uhr geöffnet. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933–1945 will be open from 9:00 to 21:30.

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

1701 - 1709 von 1709

	1701	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	1702	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	1703	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	1704	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1705	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	1706	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1707	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	1708	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
	1709	Polymorphic type interference for object oriented programming languages Hense, Andreas V.. - Saarbrücken : Pirrot, 1994