Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

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

1651 - 1660 von 1791

	1651	Width functions for hypertree decompositions Adler, Isolde, 2006
	1652	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	1653	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1654	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	1655	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	1656	Advances in equational theorem proving Löchner, Bernd, 2005
	1657	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1658	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	1659	Algebraic closures in complexity theory Böhler, Elmar, 2005
	1660	Algebraic closures in complexity theory Böhler, Elmar, 2005