Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

671 - 680 von 734

	671	Weintrauben, polynome, tableaux Kohnert, Axel, [2006]
	672	Width functions for hypertree decompositions Adler, Isolde, 2006
	673	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
	674	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	675	A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
	676	A non-deterministic call-by-need lambda calculus Mann, Matthias, 2005
	677	Advances in equational theorem proving Löchner, Bernd, 2005
	678	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	679	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	680	Algebraic closures in complexity theory Böhler, Elmar, 2005

671 - 680 von 734

Alle Materialarten

Alle Kataloge/Sammlungen > Hochschulschriften (734)

Alle Standorte

Aktionen