Katalog der Deutschen Nationalbibliothek

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

1 - 5 von 5

	1	Pure and O-Substitution Maletti, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	2	Artificial Immune Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
	3	Combinatorics, algorithms, probabilistic and experimental methodologies Berlin : Springer, 2007
	4	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
	5	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage