Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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 - 4 von 4
<< < > >>


Bücher 1 Full semantics preservation in model transformation
Semenyak, Maria. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2012 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2 Transformations of specifications and proofs to support an evolutionary formal software development
Schairer, Axel, 2006 		Online Ressource
Bücher 3 Transformations of specifications and proofs to support an evolutionary formal software development
Schairer, Axel. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 4 Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage 		Online Ressource


1 - 4 von 4
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (4)

Standorte

Alle Standorte > Frankfurt (4)

Aktionen

Aktionen


E-Mail-IconAdministration