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

Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 28.05. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Leipzig will open at 13:00 on Wednesday 28 May due to a staff assembly.

Die Lesesäle der Deutschen Nationalbibliothek Frankfurt öffnen am Donnerstag, den 05.06. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Frankfurt will open at 13:00 on Thursday, 5 June due to a staff assembly.

Ergebnis der Suche nach: "120954001"
im Bestand: Gesamter Bestand

1 - 10 von 18

	1	Fast and parallel decomposition of constraint satisfaction problems Enthalten in Constraints 3.6.2022: 1-43
	2	Big data Heidelberg : Springer, 2013
	3	Datalog reloaded Berlin : Springer, 2011
	4	Datalog Reloaded Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
	5	Finite model theory, databases, and computer aided verification Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
	6	Computer science logic Berlin : Springer, 1999
	7	Existential second-order logic over strings Eiter, Thomas. - Gießen : Universitätsbibliothek, 1998
	8	Computational logic and proof theory Berlin : Springer, 1997
	9	Existential second-order logic over strings Eiter, Thomas. - Giessen : IFIG, 1997
	10	Database theory Berlin : Springer, 1995