Limit Search Results
Author
SpringerLink (Online service)
(74)
Marwedel, Peter. author.
(4)
Blanchard, Benjamin S.
(3)
Grady, Jeffrey O.
(3)
Kamat, Rajanish K. author.
(3)
Language
Publication Date
-
Subject
Engineering.
(55)
Computer science.
(30)
Electronics.
(22)
Software engineering.
(19)
Computer aided design.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
108 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for System-Level Validation High-Level Modeling and Directed Test Generation Techniques
System-Level Validation High-Level Modeling and Directed Test Generation Techniques
Author 
Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Disruptive Logic Architectures and Technologies From Device to System Level
Disruptive Logic Architectures and Technologies From Device to System Level
Author 
Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Introduction to Open Core Protocol Fastpath to System-on-Chip Design
Introduction to Open Core Protocol Fastpath to System-on-Chip Design
Author 
Schwaderer, W David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0103-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for System Specification and Design Languages Selected Contributions from FDL 2010
System Specification and Design Languages Selected Contributions from FDL 2010
Author 
Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Adiabatic Logic Future Trend and System Level Perspective
Adiabatic Logic Future Trend and System Level Perspective
Author 
Teichmann, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for System dynamics : modeling and simulation of mechatronic systems
System dynamics : modeling and simulation of mechatronic systems
Author 
Karnopp, Dean. Margolis, Donald L. Rosenberg, Ronald C.
Preferred Shelf Number 
TA168 K362 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Electronic System Level Design An Open-Source Approach
Electronic System Level Design An Open-Source Approach
Author 
Rigo, Sandro. editor. Azevedo, Rodolfo. editor. Santos, Luiz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9940-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Multiprocessor System-on-Chip Hardware Design and Tool Integration
Multiprocessor System-on-Chip Hardware Design and Tool Integration
Author 
Hübner, Michael. editor. Becker, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Digital System Test and Testable Design Using HDL Models and Architectures
Digital System Test and Testable Design Using HDL Models and Architectures
Author 
Navabi, Zainalabedin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7548-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for High-Level Verification Methods and Tools for Verification of System-Level Designs
High-Level Verification Methods and Tools for Verification of System-Level Designs
Author 
Kundu, Sudipta. author. Lerner, Sorin. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9359-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action