Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig
- Bestandssichten:	Gesamter Bestand

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.

Ergebnis der Suche nach: dce=511
im Bestand: Gesamter Bestand

1 - 10 von 12

	1	Full semantics preservation in model transformation Semenyak, Maria. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2012
	2	Pure and O-Substitution Maletti, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	3	Algorithmik Schöning, Uwe. - Heidelberg : Spektrum, Akad. Verl., 2011, 1. Aufl., Nachdr.
	4	Artificial immune systems Berlin : Springer, 2011
	5	Artificial Immune Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
	6	Full semantics preservation in model transformation Semenyak, Maria. - Paderborn : Universitätsbibliothek, 2011
	7	Combinatorics, algorithms, probabilistic and experimental methodologies Berlin : Springer, 2007
	8	Combinatorics, algorithms, probabilistic and experimental methodologies Berlin : Springer, 2007
	9	Pure and o-substitution Maletti, Andreas. - Dresden : TU, Fak. Informatik, 2006
	10	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006