Katalog der Deutschen Nationalbibliothek

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

421 - 430 von 719

	421	Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Tovchigrechko, Alexey A., 2008
	422	Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Tovchigrechko, Alexey A., 2008
	423	Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
	424	Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
	425	Einige Anwendungen der Szegö-Theorie orthogonaler rationaler Matrixfunktionen auf Extremal- und Interpolationsprobleme in der matriziellen Carathéodory-Klasse Lasarow, Andreas, 2008
	426	Error analysis for energy process simulations Apascaritei, Bogdan. - Tönning : Der Andere Verl., 2008
	427	From data tables to general geometric structures Kaiser, Tim Benjamin. - Aachen : Shaker, 2008
	428	From Data Tables to General Geometric Structures Kaiser, Tim Benjamin. - Aachen : Shaker, 2008, 1. Auflage
	429	Gruppen segmentieren mit Entscheidungsbäumen Lebert, Stefan. - Saarbrücken : VDM Verlag Dr. Müller, 2008
	430	Hamiltonian cycles in certain graphs and out-arc pancyclic vertices in tournaments Feng, Jinfeng, 2008