Limit Search Results
Author
SpringerLink (Online service)
(114)
Göbel, Holger. author.
(6)
Das, Vinu V. editor.
(3)
Spear, Chris. author.
(3)
Bertacco, Valeria. author.
(2)
Language
Publication Date
-
Subject
Engineering.
(62)
Software engineering.
(48)
Systems engineering.
(46)
Computer science.
(42)
Electronics.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
114 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Electronic Engineering and Computing Technology
Electronic Engineering and Computing Technology
Author 
Ao, Sio-Iong. editor. Gelman, Len. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8776-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Integrated Circuit Test Engineering Modern Techniques
Integrated Circuit Test Engineering Modern Techniques
Author 
Grout, Ian A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-173-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Author 
Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22507-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Innovations and Advances in Computer Sciences and Engineering
Innovations and Advances in Computer Sciences and Engineering
Author 
Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Author 
Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92432-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Author 
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99229-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Author 
Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95246-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing
Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing
Author 
Das, Vinu V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331338.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3363-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Author 
Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
Author 
Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Author 
Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17910-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Massive MIMO Detection Algorithm and VLSI Architecture
Massive MIMO Detection Algorithm and VLSI Architecture
Author 
Liu, Leibo. author. Peng, Guiqiang. author. Wei, Shaojun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6362-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 Jagode, Heike. editor. (orcid)0000-0002-8173-9434 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Author 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Electromagnetic Information Leakage and Countermeasure Technique Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao
Electromagnetic Information Leakage and Countermeasure Technique Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao
Author 
Liu, Taikang. author. Li, Yongmei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4352-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Author 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Author 
H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Author 
Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Author 
Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Author 
Biedermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-08047-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Nanoelektronik Kleiner — schneller — besser
Nanoelektronik Kleiner — schneller — besser
Author 
Russer, Peter. editor. Lugli, Paolo. editor. Weitze, Marc-Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337193.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35791-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Inside Solid State Drives (SSDs)
Inside Solid State Drives (SSDs)
Author 
Micheloni, Rino. author. Marelli, Alessia. author. Eshghi, Kam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335898.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5146-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Embedded Multimedia Security Systems Algorithms and Architectures
Embedded Multimedia Security Systems Algorithms and Architectures
Author 
Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for In-Memory Data Management Technology and Applications
In-Memory Data Management Technology and Applications
Author 
Plattner, Hasso. author. Zeier, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29575-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Fault Analysis in Cryptography
Fault Analysis in Cryptography
Author 
Joye, Marc. editor. Tunstall, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29656-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Digitaltechnik Ein Lehr- und Übungsbuch
Digitaltechnik Ein Lehr- und Übungsbuch
Author 
Woitowitz, Roland. author. Urbanski, Klaus. author. Gehrke, Winfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20872-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for SystemVerilog for Verification A Guide to Learning the Testbench Language Features
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Onboard Computers, Onboard Software and Satellite Operations An Introduction
Onboard Computers, Onboard Software and Satellite Operations An Introduction
Author 
Eickhoff, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25170-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for In-Memory Data Management An Inflection Point for Enterprise Applications
In-Memory Data Management An Inflection Point for Enterprise Applications
Author 
Plattner, Hasso. author. Zeier, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19363-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Author 
Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Übungsaufgaben zur Halbleiter-Schaltungstechnik
Übungsaufgaben zur Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. Siemund, Henning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21011-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Technische Informatik 3 Grundlagen der PC-Technologie
Technische Informatik 3 Grundlagen der PC-Technologie
Author 
Schiffmann, Wolfram. author. Bähring, Helmut. author. Hönig, Udo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16812-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Post-Silicon and Runtime Verification for Modern Processors
Post-Silicon and Runtime Verification for Modern Processors
Author 
Wagner, Ilya. author. Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8034-2
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Towards Hardware-Intrinsic Security Foundations and Practice
Towards Hardware-Intrinsic Security Foundations and Practice
Author 
Sadeghi, Ahmad-Reza. editor. Naccache, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14452-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Autonomous Flying Robots Unmanned Aerial Vehicles and Micro Aerial Vehicles
Autonomous Flying Robots Unmanned Aerial Vehicles and Micro Aerial Vehicles
Author 
Nonami, Kenzo. author. Kendoul, Farid. author. Suzuki, Satoshi. author. Wang, Wei. author. Nakazawa, Daisuke. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-53856-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Der Computer - Mein Lebenswerk
Der Computer - Mein Lebenswerk
Author 
Zuse, Konrad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
Author 
Kuon, Ian. author. Rose, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Coupled Data Communication Techniques for High-Performance and Low-Power Computing
Coupled Data Communication Techniques for High-Performance and Low-Power Computing
Author 
Ho, Ron. editor. Drost, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6588-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Hardware Based Packet Classification for High Speed Internet Routers
Hardware Based Packet Classification for High Speed Internet Routers
Author 
Meiners, Chad R. author. Liu, Alex X. author. Torng, Eric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6700-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Artificial Life Models in Hardware
Artificial Life Models in Hardware
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Les virus informatiques: théorie, pratique et applications
Les virus informatiques: théorie, pratique et applications
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-98240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications
Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications
Author 
Negoita, Mircea Gh. author. Hintea, Sorin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76995-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Technische Informatik Elektronik
Technische Informatik Elektronik
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Embedded Memories for Nano-Scale VLSIs
Embedded Memories for Nano-Scale VLSIs
Author 
Zhang, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-88497-4
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Author 
Varshney, Upkar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69289-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Practical Aspects of Embedded System Design using Microcontrollers
Practical Aspects of Embedded System Design using Microcontrollers
Author 
Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8393-8
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
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:
65. 
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:
66. 
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:
67. 
Cover image for Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
Author 
Bobda, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date
Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date
Author 
Lauwereins, Rudy. editor. Madsen, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6488-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Fine- and Coarse-Grain Reconfigurable Computing
Fine- and Coarse-Grain Reconfigurable Computing
Author 
Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Digitaltechnik — Eine praxisnahe Einführung
Digitaltechnik — Eine praxisnahe Einführung
Author 
Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77729-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung
IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung
Author 
Koch, Frank A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73224-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Author 
Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Übungsaufgaben zur Halbleiter-Schaltungstechnik
Übungsaufgaben zur Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. Siemund, Henning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Digital Signal Processing with Field Programmable Gate Arrays
Digital Signal Processing with Field Programmable Gate Arrays
Author 
Meyer-Baese, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Mathematical Methods for Robust and Nonlinear Control EPSRC Summer School
Mathematical Methods for Robust and Nonlinear Control EPSRC Summer School
Author 
Turner, Matthew C. editor. Bates, Declan G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-025-4
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Techniques virales avancées
Techniques virales avancées
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-33888-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Co-design for System Acceleration A Quantitative Approach
Co-design for System Acceleration A Quantitative Approach
Author 
Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Author 
Ramachandran, S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5829-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
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:
80. 
Cover image for Ultra-Low Voltage Nano-Scale Memories
Ultra-Low Voltage Nano-Scale Memories
Author 
Itoh, Kiyoo. editor. Horiguchi, Masashi. editor. Tanaka, Hitoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68853-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for CMOS Biotechnology
CMOS Biotechnology
Author 
Lee, Hakho. editor. Westervelt, Robert M. editor. Ham, Donhee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68913-5
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
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:
83. 
Cover image for Low Power Methodology Manual For System-on-Chip Design
Low Power Methodology Manual For System-on-Chip Design
Author 
Keating, Michael. author. Flynn, David. author. Aitken, Robert. author. Gibbons, Alan. author. Shi, Kaijian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Cryptographic Algorithms on Reconfigurable Hardware
Cryptographic Algorithms on Reconfigurable Hardware
Author 
Rodríguez-Henríquez, Francisco. author. Pérez, Arturo Díaz. author. Saqib, Nazar Abbas. author. Koç, Çetin Kaya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36682-1
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
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:
86. 
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:
87. 
Cover image for Digitaltechnik Ein Lehr- und Übungsbuch
Digitaltechnik Ein Lehr- und Übungsbuch
Author 
Woitowitz, Roland. author. Urbanski, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Der Computer - Mein Lebenswerk
Der Computer - Mein Lebenswerk
Author 
Zuse, Konrad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73139-9
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34030-0
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Hard Disk Drive Servo Systems
Hard Disk Drive Servo Systems
Author 
Chen, Ben M. author. Peng, Kemao. author. Lee, Tong H. author. Venkataramanan, Venkatakrishnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-305-1
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Author 
Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Systemverilog for Verification A Guide to Learning the Testbench Language Features
Systemverilog 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/b138536
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
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:
94. 
Cover image for Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance
Author 
Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32937-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Author 
Sakurai, Takayasu. author. Matsuzawa, Akira. author. Douseki, Takakuni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-29218-2
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
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:
97. 
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:
98. 
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:
99. 
Cover image for Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Author 
Vachoux, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for System-level Test and Validation of Hardware/Software Systems
System-level Test and Validation of Hardware/Software Systems
Author 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Konzepte siliziumbasierter MOS-Bauelemente
Konzepte siliziumbasierter MOS-Bauelemente
Author 
Schulze, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27547-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574859
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Author 
Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573937
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Mikroprozessortechnik und Rechnerstrukturen
Mikroprozessortechnik und Rechnerstrukturen
Author 
Flik, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137981
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Mikroelektronik Halbleiterbauelemente und deren Anwendung in elektronischen Schaltungen
Mikroelektronik Halbleiterbauelemente und deren Anwendung in elektronischen Schaltungen
Author 
Tille, Thomas. author. Schmitt-Landsiedel, Doris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138008
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138673
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104218
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
Author 
Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106318
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Introduction to Assembly Language Programming For Pentium and RISC Processors
Introduction to Assembly Language Programming For Pentium and RISC Processors
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138691
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117249
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Author 
Brause, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138377
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Author 
Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107276
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies: