Limit Search Results
Author
SpringerLink (Online service)
(85)
Ekendahl, Robert. author.
(2)
Furman, Michael D. author.
(2)
Hall, Tyson S. author.
(2)
Hamblen, James O. author.
(2)
Language
Publication Date
-
Subject
Engineering.
(66)
Systems engineering.
(42)
Computer science.
(27)
Engineering design.
(18)
Computer engineering.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
85 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Industry 4.0: Managing The Digital Transformation
Industry 4.0: Managing The Digital Transformation
Author 
Ustundag, Alp. author. Cevikcan, Emre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57870-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II
Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II
Author 
Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Pro/MECHANICA® verstehen lernen für Pro/ENGINEER Wildfire® 4.0 und Creo Elements/Pro 5.0 (Wildfire® 5.0)
Pro/MECHANICA® verstehen lernen für Pro/ENGINEER Wildfire® 4.0 und Creo Elements/Pro 5.0 (Wildfire® 5.0)
Author 
Kloninger, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for A First Course in Engineering Drawing
A First Course in Engineering Drawing
Author 
Rathnam, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5358-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Adaptable Embedded Systems
Adaptable Embedded Systems
Author 
Beck, Antonio Carlos Schneider. editor. Lang Lisbôa, Carlos Arthur. editor. Carro, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1746-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Author 
Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38974-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fundamentals of Digital Manufacturing Science
Fundamentals of Digital Manufacturing Science
Author 
Zhou, Zude. author. Xie, Shane (Shengquan). author. Chen, Dejun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-564-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
Author 
Morgado, Alonso. author. del Río, Rocío. author. Rosa, José M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0037-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Ultra High-Speed CMOS Circuits Beyond 100 GHz
Ultra High-Speed CMOS Circuits Beyond 100 GHz
Author 
Gharavi, Sam. author. Heydari, Babak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0305-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Designing Inclusive Systems Designing Inclusion for Real-world Applications
Designing Inclusive Systems Designing Inclusion for Real-world Applications
Author 
Langdon, Patrick. editor. Clarkson, John. editor. Robinson, Peter. editor. Lazar, Jonathan. editor. Heylighen, Ann. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computer- Aided Design in Power Engineering Application of Software Tools
Computer- Aided Design in Power Engineering Application of Software Tools
Author 
Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30206-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Similarity and Modeling in Science and Engineering
Similarity and Modeling in Science and Engineering
Author 
Kuneš, Josef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-907343-78-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Evolutionary Optimization: the µGP toolkit
Evolutionary Optimization: the µGP toolkit
Author 
Sanchez, Ernesto. author. Schillaci, Massimiliano. author. Squillero, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09426-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Distributed Large-Scale Dimensional Metrology New Insights
Distributed Large-Scale Dimensional Metrology New Insights
Author 
Franceschini, Fiorenzo. author. Galetto, Maurizio. author. Maisano, Domenico. author. Mastrogiacomo, Luca. author. Pralio, Barbara. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-543-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Design Creativity 2010
Design Creativity 2010
Author 
Taura, Toshiharu. editor. Nagai, Yukari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-224-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Solid Modelling and CAD Systems How to Survive a CAD System
Solid Modelling and CAD Systems How to Survive a CAD System
Author 
Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-259-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computational Techniques for Structural Health Monitoring
Computational Techniques for Structural Health Monitoring
Author 
Gopalakrishnan, Srinivasan. author. Ruzzene, Massimo. author. Hanagud, Sathyanaraya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Ontologies in Urban Development Projects
Ontologies in Urban Development Projects
Author 
Falquet, Gilles. author. Métral, Claudine. author. Teller, Jacques. author. Tweed, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-724-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Innovation in Product Design From CAD to Virtual Prototyping
Innovation in Product Design From CAD to Virtual Prototyping
Author 
Bordegoni, Monica. editor. Rizzi, Caterina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Guide to Geometric Algebra in Practice
Guide to Geometric Algebra in Practice
Author 
Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-811-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings
Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings
Author 
Mařík, Vladimír. editor. Vrba, Pavel. editor. Leitão, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23181-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for The Future of Design Methodology
The Future of Design Methodology
Author 
Birkhofer, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-615-3
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Multi-objective Evolutionary Optimisation for Product Design and Manufacturing
Multi-objective Evolutionary Optimisation for Product Design and Manufacturing
Author 
Wang, Lihui. editor. Ng, Amos H. C. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-652-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Geometric Algebra Computing in Engineering and Computer Science
Geometric Algebra Computing in Engineering and Computer Science
Author 
Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-108-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Shape Interrogation for Computer Aided Design and Manufacturing
Shape Interrogation for Computer Aided Design and Manufacturing
Author 
Patrikalakis, Nicholas M. author. Maekawa, Takashi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04074-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Structural Optimization with Uncertainties
Structural Optimization with Uncertainties
Author 
Banichuk, N.V. author. Neittaanmäki, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Author 
Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-166-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for SystemC: From the Ground Up
SystemC: From the Ground Up
Author 
Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69958-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for Timing Optimization Through Clock Skew Scheduling
Timing Optimization Through Clock Skew Scheduling
Author 
Kourtev, Ivan S. editor. Taskin, Baris. editor. Friedman, Eby G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71056-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Static Timing Analysis for Nanometer Designs A Practical Approach
Static Timing Analysis for Nanometer Designs A Practical Approach
Author 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-93820-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
Cover image for The Language of Design Theory and Computation
The Language of Design Theory and Computation
Author 
Dong, Andy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-021-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Spotlight on Modern Transformer Design
Spotlight on Modern Transformer Design
Author 
Georgilakis, Pavlos S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-667-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Freiformflächen in der rechnerunterstützten Karosseriekonstruktion und im Industriedesign Grundlagen und Anwendungen
Freiformflächen in der rechnerunterstützten Karosseriekonstruktion und im Industriedesign Grundlagen und Anwendungen
Author 
Bonitz, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79440-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Carbon Nanotube Electronics
Carbon Nanotube Electronics
Author 
Kong, Jing. editor. Javey, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Collaborative Design and Planning for Digital Manufacturing
Collaborative Design and Planning for Digital Manufacturing
Author 
Wang, Lihui. editor. Nee, Andrew Y.C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-287-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Model Predictive Control System Design and Implementation Using MATLAB®
Model Predictive Control System Design and Implementation Using MATLAB®
Author 
Wang, Liuping. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Power Distribution Networks with On-Chip Decoupling Capacitors
Power Distribution Networks with On-Chip Decoupling Capacitors
Author 
Popovich, Mikhhail. author. Mezhiba, Andrey V. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71601-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Standardized Functional Verification
Standardized Functional Verification
Author 
Wiemann, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71733-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Rapid Prototyping of Digital Systems
Rapid Prototyping of Digital Systems
Author 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72671-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for System Verilog for Verification A Guide to Learning the Testbench Language Features
System Verilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Field Models in Electricity and Magnetism
Field Models in Electricity and Magnetism
Author 
Barba, Paolo. author. Savini, Antonio. author. Wiak, Slawomir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6843-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Author 
Cascini, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Creating Assertion-Based IP
Creating Assertion-Based IP
Author 
Foster, Harry D. author. Krolnik, Adam C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68398-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Design for Manufacturability and Statistical Design A Constructive Approach
Design for Manufacturability and Statistical Design A Constructive Approach
Author 
Orshansky, Michael. author. Nassif, Sani R. author. Boning, Duane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69011-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Nanometer Technology Designs High-Quality Delay Tests
Nanometer Technology Designs High-Quality Delay Tests
Author 
Tehranipoor, Mohammad. author. Ahmed, Nisar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75728-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Author 
Patra, Priyardarsan. author. Kougianos, Elias. author. Ranganathan, Nagarajan. author. Mohanty, Saraju P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76474-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for CMOS Active Inductors and Transformers Principle, Implementation, and Applications
CMOS Active Inductors and Transformers Principle, Implementation, and Applications
Author 
Yuan, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76479-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Author 
Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Author 
Sutherland, Stuart. author. Mills, Don. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Hardware Verification with SystemVerilog An Object-Oriented Framework
Hardware Verification with SystemVerilog An Object-Oriented Framework
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Full-Chip Nanometer Routing Techniques
Full-Chip Nanometer Routing Techniques
Author 
Ho, Tsung-Yi. author. Chang, Yao-Wen. author. Chen, Sao-Jie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
Author 
Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71868-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Inverse Problems in Electric Circuits and Electromagnetics
Inverse Problems in Electric Circuits and Electromagnetics
Author 
Chechurin, V. L. author. Korovkin, N. V. author. Hayakawa, M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-46047-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for CMOS Current-Mode Circuits for Data Communications
CMOS Current-Mode Circuits for Data Communications
Author 
Yuan, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47691-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Routing Congestion in VLSI Circuits: Estimation and Optimization
Routing Congestion in VLSI Circuits: Estimation and Optimization
Author 
Saxena, Prashant. author. Shelar, Rupesh S. author. Sapatnekar, Sachin S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-48550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Dynamics of Microelectromechanical Systems
Dynamics of Microelectromechanical Systems
Author 
Lobontiu, Nicolae. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for The Maintenance Management Framework Models and Methods for Complex Systems Maintenance
The Maintenance Management Framework Models and Methods for Complex Systems Maintenance
Author 
Márquez, Adolfo Crespo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-821-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Embedded System Design
Embedded System Design
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Constraint-Based Verification
Constraint-Based Verification
Author 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Author 
Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34403-9
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Author 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Author 
Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34609-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Leakage in Nanometer CMOS Technologies
Leakage in Nanometer CMOS Technologies
Author 
Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28133-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for The Finite Element Method and Applications in Engineering Using Ansys®
The Finite Element Method and Applications in Engineering Using Ansys®
Author 
Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-28290-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Curves and Surfaces for Computer Graphics
Curves and Surfaces for Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28452-4
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Rapid Prototyping of Digital Systems
Rapid Prototyping of Digital Systems
Author 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28965-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Interconnect Noise Optimization in Nanometer Technologies
Interconnect Noise Optimization in Nanometer Technologies
Author 
Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29366-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
Author 
Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Thermal and Power Management of Integrated Circuits
Thermal and Power Management of Integrated Circuits
Author 
Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29749-9
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Writing Testbenches using System Verilog
Writing Testbenches using System Verilog
Author 
Bergeron, Janick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Innovation in Life Cycle Engineering and Sustainable Development
Innovation in Life Cycle Engineering and Sustainable Development
Author 
Brissaud, Daniel. editor. Tichkiewitch, Serge. editor. Zwolinski, Peggy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4617-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia
Author 
Rettberg, Achim. editor. Bobda, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30761-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
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:
85. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
Author 
Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31306-0
Format: 
Availability 
Online Library~1
Available:
Copies: