Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Author 
Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16277-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach
Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach
Author 
Li, Han-Xiong. author. Qi, Chenkun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0741-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Author 
Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14261-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Introduction to modeling and simulation of technical and physical systems with Modelica
Introduction to modeling and simulation of technical and physical systems with Modelica
Author 
Fritzson, Peter A., 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simulation and Verification of Electronic and Biological Systems
Simulation and Verification of Electronic and Biological Systems
Author 
Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0149-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets