Katalog der Deutschen Nationalbibliothek

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

181 - 190 von 718

	181	On b-colorings and b-continuity of graphs Alkhateeb, Mais. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
	182	On b-colorings and b-continuity of graphs Alkhateeb, Mais, 2012
	183	Outsourcing in location and route planning for small package shippers Stenger, Andreas, 2012
	184	Parallel graph algorithms for finding weighted matchings and subgraphs in computational science Sathe, Madan. - Konstanz : Hartung-Gorre, 2012, 1. ed.
	185	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	186	Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
	187	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	188	Proving Theorems of Higher-Order Logic with SMT Solvers Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
	189	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
	190	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012