Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

841 - 850 von 1011

	841	Towards mechanized mathematical assistants Berlin : Springer, 2007
	842	Uncertainty theory Liu, Baoding. - Berlin : Springer, 2007, 2. ed.
	843	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	844	Verschiedene Beweisanordnungen des Satzes von MÜNTZ Erkens, Michael. - Tönning : Der Andere Verl., 2007
	845	Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.
	846	Walks on ordinals and their characteristics Todorcevic, Stevo. - Basel : Birkhäuser, 2007
	847	Zur Frage korrekter und vollständiger Kalküle der Εμ-Logiken [Epsilon-my-Logiken] Bab, Sebastian. - Berlin : Inst. für Telekommunikationssysteme, Formale Modelle, Logik und Programmierung, Projektgruppe KIT, 2007
	848	A comparison of several models of weighted tree automata Fülöp, Zoltán. - Dresden : TU, Fak. Informatik, 2006
	849	A conjecture of Borodin and a coloring of Grünbaum Rautenbach, Dieter. - Bonn : Forschungsinst. für Diskrete Mathematik, 2006
	850	A general method for generating Hermite type sampling expansions associated with regular eigenvalue problems Annaby, Mahmoud H.. - Duisburg : Univ., 2006

841 - 850 von 1011

Alle Materialarten > Bücher (1011)

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen

Administration