Katalog der Deutschen Nationalbibliothek

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

211 - 220 von 287

	211	Proof planning with multiple strategies Meier, Andreas, [2007]
	212	Random planar structures and random graph processes Kang, Mihyun, 2007
	213	Relational exploration Rudolph, Sebastian. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	214	Saturation-based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, [2007]
	215	Simulation and optimized scheduling of pedestrian traffic Narasimhan, Srihari, 2007
	216	Smolyak's algorithm, spars grid approximation and periodic function spaces with dominating mixed smoothness Ullrich, Tino, 2007
	217	Stochastical models for networks in the life sciences Behrisch, Michael, 2007
	218	Structures, processes, and clustering of complex networks Krueger, Andreas, 2007
	219	Survival analysis with multivariate adaptive regression splines Kriner, Monika, 2007
	220	The clique number of generalized Hamming graphs Sharifiyazdi, Elham. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2007]