Katalog der Deutschen Nationalbibliothek

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