Katalog der Deutschen Nationalbibliothek

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

801 - 810 von 962

	801	The core model induction in a choiceless context Busche, Daniel, 2007
	802	The first value operator on polynomial time computable functions Hemmerling, Armin. - Greifswald : Univ., 2007
	803	The fuzzification of systems Seising, Rudolf. - Berlin : Springer, 2007
	804	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	805	Theoretical advances and applications of fuzzy logic and soft computing Berlin : Springer, 2007
	806	Towards mechanized mathematical assistants Berlin : Springer, 2007
	807	Uncertainty theory Liu, Baoding. - Berlin : Springer, 2007, 2. ed.
	808	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	809	Verschiedene Beweisanordnungen des Satzes von MÜNTZ Erkens, Michael. - Tönning : Der Andere Verl., 2007
	810	Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.