Limit Search Results
Author
SpringerLink (Online service)
(34)
Leondes, Cornelius T.
(3)
Halgamuge, Saman. editor.
(2)
Wang, Lipo. editor.
(2)
Adamski, Marian Andrzej. author.
(1)
Language
Subject
Computer aided design.
(32)
Engineering.
(19)
Computer science.
(17)
Systems engineering.
(9)
Artificial intelligence.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
46 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
Cover image for An Introduction to Meshfree Methods and Their Programming
An Introduction to Meshfree Methods and Their Programming
Author 
Liu, G.R. author. Gu, Y.T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
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:
18. 
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:
19. 
Cover image for Design of Embedded Control Systems
Design of Embedded Control Systems
Author 
Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28327-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for New Algorithms, Architectures and Applications for Reconfigurable Computing
New Algorithms, Architectures and Applications for Reconfigurable Computing
Author 
Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3128-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Numerik-Algorithmen Verfahren, Beispiele, Anwendungen
Numerik-Algorithmen Verfahren, Beispiele, Anwendungen
Author 
Engeln-Müllges, Gisela. author. Niederdrenk, Klaus. author. Wodicka, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137462
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Interconnect-Centric Design for Advanced SoC and NoC
Interconnect-Centric Design for Advanced SoC and NoC
Author 
Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117241
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Digital Design and Implementation with Field Programmable Devices
Digital Design and Implementation with Field Programmable Devices
Author 
Navabi, Zainalabedin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117975
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Assertion-Based Design
Assertion-Based Design
Author 
Foster, Harry. author. Krolnik, Adam. author. Lacey, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117047
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets