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
00000DEFAULT
Print
373. 
Cover image for Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
Author 
G, H J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b99770
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Author 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104217
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Distributed Network Systems From Concepts to Implementations
Distributed Network Systems From Concepts to Implementations
Author 
Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102545
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools
Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools
Author 
Rand, Omri. author. Rovenski, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138765
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action