Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Hochschulschriften

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

1 - 5 von 5

	1	Full semantics preservation in model transformation Semenyak, Maria. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2012
	2	Full semantics preservation in model transformation Semenyak, Maria. - Paderborn : Universitätsbibliothek, 2011
	3	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
	4	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	5	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006

1 - 5 von 5

Alle Materialarten

Alle Kataloge/Sammlungen > Hochschulschriften (5)

Alle Standorte > Leipzig (5)

Aktionen