Limit Search Results
Author
SpringerLink (Online service)
(377)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Barthès, Jean-Paul A. editor.
(4)
Language
Publication Date
-
2011
(67)
2010
(42)
2006
(40)
2012
(39)
2007
(38)
Subject
Engineering.
(253)
Systems engineering.
(144)
Computer science.
(118)
Engineering design.
(61)
Artificial intelligence.
(46)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
377 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Author 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Security in Embedded Devices
Security in Embedded Devices
Author 
Gebotys, Catherine H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1530-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
Author 
Hardin, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1539-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
Author 
Ray, Sandip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5998-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for FPGA Design Best Practices for Team-based Design
FPGA Design Best Practices for Team-based Design
Author 
Simpson, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6339-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Analysis and Design of Univariate Subdivision Schemes
Analysis and Design of Univariate Subdivision Schemes
Author 
Sabin, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13648-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0
Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0
Author 
Kloninger, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Geometric Algebra with Applications in Engineering
Geometric Algebra with Applications in Engineering
Author 
Perwass, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89068-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Author 
Zhou, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02466-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009
SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009
Author 
Visa, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3522-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action