Katalog der Deutschen Nationalbibliothek

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

1431 - 1440 von 1743

	1431	Quantifier elimination over real closed fields Schultz, Claudia. - Saarbrücken : VDM, Müller, 2007
	1432	Railway scheduling problems and their decomposition Strotmann, Christian, 2007
	1433	Random planar structures and random graph processes Kang, Mihyun, 2007
	1434	Random planar structures and random graph processes Kang, Mihyun, 2007
	1435	Relational exploration Rudolph, Sebastian. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	1436	Relational exploration Rudolph, Sebastian. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	1437	Saturation-based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, [2007]
	1438	Semilattice structures Chajda, Ivan. - Lemgo : Heldermann, 2007
	1439	Sequences, subsequences, and consequences Berlin : Springer, 2007
	1440	Set-valued interpolation Perria, Gilbert. - Bayreuth : Univ.-Bibliothek, Geschenk- und Tauschstelle, 2007, 1. print.