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

1171 - 1180 von 1748

	1171	Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Tovchigrechko, Alexey A., 2008
	1172	Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
	1173	Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
	1174	Einführung in die formale Logik für Philosophen Zoglauer, Thomas. - Göttingen : Vandenhoeck und Ruprecht, 2008, 4., überarb. Aufl.
	1175	Einführung in die mathematische Logik Rautenberg, Wolfgang. - Wiesbaden : Vieweg + Teubner, 2008, 3., überarb. Aufl.
	1176	Einführung in die nicht-klassische Logik Priest, Graham. - Paderborn : Mentis, 2008
	1177	Einige Anwendungen der Szegö-Theorie orthogonaler rationaler Matrixfunktionen auf Extremal- und Interpolationsprobleme in der matriziellen Carathéodory-Klasse Lasarow, Andreas, 2008
	1178	Enumeration of generalized polyominoes Koch, Matthias. - [Bayreuth] : [Univ.-Bibliothek], [2008]
	1179	Error analysis for energy process simulations Apascaritei, Bogdan. - Tönning : Der Andere Verl., 2008
	1180	Fondements d'une théorie générale des ensembles Cantor, Georg. - Reims : Ed. de l'Infini, 2008