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.

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

231 - 240 von 301

	231	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	232	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	233	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	234	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	235	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	236	Advances in equational theorem proving Löchner, Bernd, [2006]
	237	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	238	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	239	Blattsprachen und Blattfunktionen Galota, Matthias, 2006
	240	Constrained ordering Guttmann, Walter. - Ulm : Universität Ulm. Fakultät für Informatik, 2006