Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Author 
Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15228-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Generic Systems Engineering Ein methodischer Ansatz zur Komplexitätsbewältigung
Generic Systems Engineering Ein methodischer Ansatz zur Komplexitätsbewältigung
Author 
Winzer, Petra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337019.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30365-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Wertschöpfung in der Bottom-up-Ökonomie
Wertschöpfung in der Bottom-up-Ökonomie
Author 
Redlich, Tobias. author. Wulfsberg, Jens P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19880-9
Format: 
Availability 
Online Library~1
Available:
Copies: