Limit Search Results
Author
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000000DEFAULT
Print
1. 
Cover image for A practical guide to SysML : the systems modeling language
A practical guide to SysML : the systems modeling language
Author 
Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number 
ONLINE(355422.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Photovoltaic Sources Modeling and Emulation
Photovoltaic Sources Modeling and Emulation
Author 
Di Piazza, Maria Carmela. author. Vitale, Gianpaolo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330965.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4378-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits
Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits
Author 
Wirnshofer, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336184.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for System Identification, Environmental Modelling, and Control System Design
System Identification, Environmental Modelling, and Control System Design
Author 
Wang, Liuping. editor. Garnier, Hugues. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for POWER/HVMOS Devices Compact Modeling
POWER/HVMOS Devices Compact Modeling
Author 
Grabinski, Wladyslaw. editor. Gneiting, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3046-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Quantum Circuit Simulation
Quantum Circuit Simulation
Author 
Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3065-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Circuit Simulation with SPICE OPUS Theory and Practice
Circuit Simulation with SPICE OPUS Theory and Practice
Author 
Tuma, Tadej. author. Buermen, Árpád. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4867-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for New Methods of Concurrent Checking
New Methods of Concurrent Checking
Author 
Göessel, Michael. author. Ocheretny, Vitaly. author. Sogomonyan, Egor. author. Marienfeld, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8420-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Author 
Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Author 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies: