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

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

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

1601 - 1610 von 1739

	1601	Vergleich unstetiger Funktionen Mylatz, Uwe, 2006
	1602	Weintrauben, polynome, tableaux Kohnert, Axel, [2006]
	1603	Width functions for hypertree decompositions Adler, Isolde, 2006
	1604	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	1605	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1606	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1607	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	1608	Advances in equational theorem proving Löchner, Bernd, 2005
	1609	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1610	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005