Katalog der Deutschen Nationalbibliothek

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

131 - 140 von 410

	131	Contraction-based separation and lifting for solving the max-cut problem Bonato, Thorsten, 2011
	132	Das Problem der Kurvenanpassung Paulßen, Jens. - Frankfurt, M. : Lang, 2011
	133	Definability and model checking Ganzow, Tobias, 2011
	134	Dynamics of genealogical trees for type- and state-dependent resampling models Piotrowiak, Sven, 2011
	135	Eigenvalues of directed and undirected graphs and their applications Bauer, Frank, 2011
	136	Exact and heuristic solutions to the bandwidth minimization problem Tan, Khoa-Vo, 2011
	137	First-order model checking on generalisations of pushdown graphs Kartzow, Alexander, 2011
	138	Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen Chong, Dennis, 2011
	139	Fuzzy arithmetical modeling and analysis for mechanical and geotechnical systems with epistemic uncertainties Turrin, Simone. - Uelvesbüll : Der Andere Verl., 2011
	140	Granularity analysis for tutoring mathematical proofs Schiller, Marvin. - [Amsterdam] : IOS Press, 2011