Katalog der Deutschen Nationalbibliothek

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

1431 - 1440 von 1744

	1431	Proximal-ähnliche Verfahren für monotone Variationsungleichungen mit mengenwertigen Operatoren Hübner, Ewgenij. - Norderstedt : Books on Demand GmbH, 2007
	1432	Quantifier elimination over real closed fields Schultz, Claudia. - Saarbrücken : VDM, Müller, 2007
	1433	Railway scheduling problems and their decomposition Strotmann, Christian, 2007
	1434	Random planar structures and random graph processes Kang, Mihyun, 2007
	1435	Random planar structures and random graph processes Kang, Mihyun, 2007
	1436	Relational exploration Rudolph, Sebastian. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	1437	Relational exploration Rudolph, Sebastian. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	1438	Saturation-based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, [2007]
	1439	Semilattice structures Chajda, Ivan. - Lemgo : Heldermann, 2007
	1440	Sequences, subsequences, and consequences Berlin : Springer, 2007