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
377 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for System Design Optimization for Product Manufacturing
System Design Optimization for Product Manufacturing
Author 
Yoshimura, Masataka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-008-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Instandhaltung technischer Systeme Methoden und Werkzeuge zur Gewährleistung eines sicheren und wirtschaftlichen Anlagenbetriebs
Instandhaltung technischer Systeme Methoden und Werkzeuge zur Gewährleistung eines sicheren und wirtschaftlichen Anlagenbetriebs
Author 
Schenk, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03949-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions
Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions
Author 
Bangsow, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05074-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
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:
56. 
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:
57. 
Cover image for Structural Analysis with the Finite Element Method Linear Statics
Structural Analysis with the Finite Element Method Linear Statics
Author 
Oñate, Eugenio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8733-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Clocking in Modern VLSI Systems
Clocking in Modern VLSI Systems
Author 
Xanthopoulos, Thucydides. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0261-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Open Verification Methodology Cookbook
Open Verification Methodology Cookbook
Author 
Glasser, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0968-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Introduction to Embedded System Design Using Field Programmable Gate Arrays
Introduction to Embedded System Design Using Field Programmable Gate Arrays
Author 
Dubey, Rahul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-016-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets