Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Die Störung im Datenshop konnte BEHOBEN werden. Der Datenshop steht wieder uneingeschränkt zur Verfügung.

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

111 - 120 von 410

	111	Non-classical aspects in proof complexity Beyersdorff, Olaf. - Göttingen : Cuvillier, 2012, 1. Aufl.
	112	On b-colorings and b-continuity of graphs Alkhateeb, Mais, 2012
	113	Outsourcing in location and route planning for small package shippers Stenger, Andreas, 2012
	114	Parallel graph algorithms for finding weighted matchings and subgraphs in computational science Sathe, Madan. - Konstanz : Hartung-Gorre, 2012, 1. ed.
	115	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	116	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	117	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
	118	Regular antichains Böhm, Matthias, 2012
	119	Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena, 2012
	120	The strength of PFA(ʾ2) [PFAaleph2] plus a precipitous ideal on ω1 [Omega1] and Namba-like forcings Adolf, Dominik Thomas, 2012

111 - 120 von 410

Alle Materialarten > Bücher (410)

Alle Kataloge/Sammlungen > Hochschulschriften (410)

Alle Standorte > Frankfurt (410)

Aktionen