Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

1691 - 1700 von 1700

	1691	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	1692	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	1693	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	1694	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1695	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	1696	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1697	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	1698	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
	1699	Polymorphic type interference for object oriented programming languages Hense, Andreas V.. - Saarbrücken : Pirrot, 1994
	1700	POCO, ein portables System zur Generierung portabler Compiler Eulenstein, Michael, 1983

1691 - 1700 von 1700

Alle Materialarten > Bücher (1700)

Alle Kataloge/Sammlungen > Hochschulschriften (1700)

Alle Standorte > Frankfurt (1700)

Aktionen

Administration