Limit Search Results
Author
SpringerLink (Online service)
(65)
Rashid, Awais. editor.
(5)
Aksit, Mehmet. editor.
(4)
Resch, Michael. editor.
(4)
Shokina, Nina. editor.
(4)
Language
Publication Date
-
Subject
Computer simulation.
(65)
Software engineering.
(48)
Information Systems.
(17)
Engineering.
(15)
Computer system performance.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Author 
Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03153-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for QVT - Relations Language Modellierung mit der Query Views Transformation
QVT - Relations Language Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Author 
Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b95112
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Author 
Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Author 
Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
Author 
Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Modeling Agricultural Systems
Advances in Modeling Agricultural Systems
Author 
Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75181-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Author 
Chaudron, Michel R. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01648-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Author 
Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Author 
Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70552-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Common Component Modeling Example Comparing Software Component Models
The Common Component Modeling Example Comparing Software Component Models
Author 
Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action