Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

341 - 350 von 991

	341	Parameterized and exact computation Berlin : Springer, 2012
	342	Pojmopis Frege, Gottlob. - Praha : Oikumenē, 2012, Vyd. 1
	343	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	344	Proof theory Jervell, Herman Ruge. - Berlin : Logos-Verl., 2012
	345	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	346	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
	347	Reachability problems Berlin : Springer, 2012
	348	Regular antichains Böhm, Matthias, 2012
	349	Sparsity Nešetřil, Jaroslav. - Berlin : Springer, 2012
	350	Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena, 2012

341 - 350 von 991

Alle Materialarten > Bücher (991)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (991)

Aktionen

Administration