Katalog der Deutschen Nationalbibliothek

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