Katalog der Deutschen Nationalbibliothek

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

321 - 330 von 965

	321	Outsourcing in location and route planning for small package shippers Stenger, Andreas, 2012
	322	Parallel graph algorithms for finding weighted matchings and subgraphs in computational science Sathe, Madan. - Konstanz : Hartung-Gorre, 2012, 1. ed.
	323	Parameterized algorithms for stochastic Steiner tree problems Kurz, Denis. - Dortmund : TU, Algorithm Engineering, 2012
	324	Parameterized and exact computation Berlin : Springer, 2012
	325	Parameterized and exact computation Berlin : Springer, 2012
	326	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	327	Proof theory Jervell, Herman Ruge. - Berlin : Logos-Verl., 2012
	328	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	329	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
	330	Reachability problems Berlin : Springer, 2012