Search Results for hardware. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dhardware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2025-12-11T20:12:39Z
Evolvable Hardware
ent://SD_ILS/0/SD_ILS:165804
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31238-2">http://dx.doi.org/10.1007/0-387-31238-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Arithmetic Algorithms and Hardware Implementations
ent://SD_ILS/0/SD_ILS:193853
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Vlăduţiu, Mircea. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18315-7">http://dx.doi.org/10.1007/978-3-642-18315-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Hardware Security and Trust
ent://SD_ILS/0/SD_ILS:173063
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Tehranipoor, Mohammad. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8080-9">http://dx.doi.org/10.1007/978-1-4419-8080-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Hardware
ent://SD_ILS/0/SD_ILS:175997
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung
ent://SD_ILS/0/SD_ILS:338155
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Dembowski, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338155.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-03167-1">http://dx.doi.org/10.1007/978-3-658-03167-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Introduction to Hardware/Software Codesign
ent://SD_ILS/0/SD_ILS:331370
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Schaumont, Patrick R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331370.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3737-6">http://dx.doi.org/10.1007/978-1-4614-3737-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perception-Action Cycle Models, Architectures, and Hardware
ent://SD_ILS/0/SD_ILS:172250
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Cutsuridis, Vassilis. editor. Hussain, Amir. editor. Taylor, John G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1452-1">http://dx.doi.org/10.1007/978-1-4419-1452-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Hardware-Intrinsic Security Foundations and Practice
ent://SD_ILS/0/SD_ILS:192659
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Sadeghi, Ahmad-Reza. editor. Naccache, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14452-3">http://dx.doi.org/10.1007/978-3-642-14452-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
ent://SD_ILS/0/SD_ILS:191239
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05356-6">http://dx.doi.org/10.1007/978-3-642-05356-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitale Hardware/Software-Systeme Synthese und Optimierung
ent://SD_ILS/0/SD_ILS:184984
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46824-0">http://dx.doi.org/10.1007/978-3-540-46824-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AmIware Hardware Technology Drivers of Ambient Intelligence
ent://SD_ILS/0/SD_ILS:169109
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4198-5">http://dx.doi.org/10.1007/1-4020-4198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
ent://SD_ILS/0/SD_ILS:528284
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4017-0">https://doi.org/10.1007/978-981-19-4017-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
ent://SD_ILS/0/SD_ILS:402580
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61455-7">https://doi.org/10.1007/978-3-319-61455-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection
ent://SD_ILS/0/SD_ILS:400715
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Salmani, Hassan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79081-7">https://doi.org/10.1007/978-3-319-79081-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications
ent://SD_ILS/0/SD_ILS:400724
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Halak, Basel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76804-5">https://doi.org/10.1007/978-3-319-76804-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Multimedia Sensor Networks on Reconfigurable Hardware Information Reduction Techniques
ent://SD_ILS/0/SD_ILS:334554
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Ang, Li-minn. author. Seng, Kah Phooi. author. Chew, Li Wern. author. Yeong, Lee Seng. author. Chia, Wai Chong. author.<br/>Preferred Shelf Number ONLINE(334554.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38203-1">http://dx.doi.org/10.1007/978-3-642-38203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
ent://SD_ILS/0/SD_ILS:336495
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334932
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334932.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40349-1">http://dx.doi.org/10.1007/978-3-642-40349-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197310
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Prouff, Emmanuel. editor. Schaumont, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33027-8">http://dx.doi.org/10.1007/978-3-642-33027-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
ent://SD_ILS/0/SD_ILS:197668
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Molter, H. Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
ent://SD_ILS/0/SD_ILS:206057
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bertels, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1406-9">http://dx.doi.org/10.1007/978-94-007-1406-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:249355
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Schneidewind, Norman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits
ent://SD_ILS/0/SD_ILS:173673
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Arora, Mohit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0397-5">http://dx.doi.org/10.1007/978-1-4614-0397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194090
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
ent://SD_ILS/0/SD_ILS:173280
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9692-3">http://dx.doi.org/10.1007/978-1-4419-9692-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction
ent://SD_ILS/0/SD_ILS:199068
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Scherl, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8259-2">http://dx.doi.org/10.1007/978-3-8348-8259-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193978
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2011 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195497
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Preneel, Bart. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23951-9">http://dx.doi.org/10.1007/978-3-642-23951-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192851
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mangard, Stefan. editor. Standaert, François-Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15031-9">http://dx.doi.org/10.1007/978-3-642-15031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192933
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Systems On-Chip: Practical Software/Hardware Design
ent://SD_ILS/0/SD_ILS:207033
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Abdallah, Abderazek Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-33-6">http://dx.doi.org/10.2991/978-94-91216-33-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Arduino Cool Projects for Open Source Hardware
ent://SD_ILS/0/SD_ILS:171304
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Oxer, Jonathan. author. Blemings, Hugh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2478-5">http://dx.doi.org/10.1007/978-1-4302-2478-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:190091
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190848
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04138-9">http://dx.doi.org/10.1007/978-3-642-04138-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:190050
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Cuyt, Annie. editor. Krämer, Walter. editor. Luther, Wolfram. editor. Markstein, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01591-5">http://dx.doi.org/10.1007/978-3-642-01591-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Software Co-Design of a Multimedia SOC Platform
ent://SD_ILS/0/SD_ILS:170593
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188031
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Yorav, Karen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mikrocomputertechnik mit der 8051-Controller-Familie Hardware, Assembler, C
ent://SD_ILS/0/SD_ILS:185836
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Walter, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69465-6">http://dx.doi.org/10.1007/978-3-540-69465-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188570
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85053-3">http://dx.doi.org/10.1007/978-3-540-85053-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188793
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
ent://SD_ILS/0/SD_ILS:170234
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8586-4">http://dx.doi.org/10.1007/978-1-4020-8586-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186088
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187218
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187246
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74735-2">http://dx.doi.org/10.1007/978-3-540-74735-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Verification with SystemVerilog An Object-Oriented Framework
ent://SD_ILS/0/SD_ILS:166869
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71740-1">http://dx.doi.org/10.1007/978-0-387-71740-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183445
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
ent://SD_ILS/0/SD_ILS:184002
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184972
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Verification with C++ A Practitioner’s Handbook
ent://SD_ILS/0/SD_ILS:166141
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:181842
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183013
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:183095
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System-level Test and Validation of Hardware/Software Systems
ent://SD_ILS/0/SD_ILS:175272
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
ent://SD_ILS/0/SD_ILS:181180
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Brause, Rüdiger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138377">http://dx.doi.org/10.1007/b138377</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400845
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Joux, Antoine. editor. Nitaj, Abderrahmane. editor. Rachidi, Tajjeeddine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89339-6">https://doi.org/10.1007/978-3-319-89339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System and Architecture Proceedings of CSI 2015
ent://SD_ILS/0/SD_ILS:399153
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Muttoo, Sunil Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:400121
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400641
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400644
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402522
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:402666
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91470-1">https://doi.org/10.1007/978-3-319-91470-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions
ent://SD_ILS/0/SD_ILS:398945
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02619-6">https://doi.org/10.1007/978-3-030-02619-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interrupt Handling Schemes in Operating Systems
ent://SD_ILS/0/SD_ILS:400213
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334299
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334299.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36812-7">http://dx.doi.org/10.1007/978-3-642-36812-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334517
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.<br/>Preferred Shelf Number ONLINE(334517.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38027-3">http://dx.doi.org/10.1007/978-3-642-38027-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Algorithms for Message-Passing Systems
ent://SD_ILS/0/SD_ILS:334542
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334542.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335156
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Gaur, Manoj Singh. editor. Zwolinski, Mark. editor. Laxmi, Vijay. editor. Boolchandani, Dharmendra. editor. Sing, Virendra. editor.<br/>Preferred Shelf Number ONLINE(335156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42024-5">http://dx.doi.org/10.1007/978-3-642-42024-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanoelektronik Kleiner — schneller — besser
ent://SD_ILS/0/SD_ILS:337193
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Russer, Peter. editor. Lugli, Paolo. editor. Weitze, Marc-Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337193.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35791-6">http://dx.doi.org/10.1007/978-3-642-35791-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computernetze kompakt
ent://SD_ILS/0/SD_ILS:337396
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Baun, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337396.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41653-8">http://dx.doi.org/10.1007/978-3-642-41653-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Multimedia Security Systems Algorithms and Architectures
ent://SD_ILS/0/SD_ILS:330984
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330984.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4459-5">http://dx.doi.org/10.1007/978-1-4471-4459-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
ent://SD_ILS/0/SD_ILS:333514
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333514.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334328
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.<br/>Preferred Shelf Number ONLINE(334328.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335188
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Burg, Andreas. editor. Coṣkun, Ayṣe. editor. Guthaus, Matthew. editor. Katkoori, Srinivas. editor. Reis, Ricardo. editor.<br/>Preferred Shelf Number ONLINE(335188.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45073-0">http://dx.doi.org/10.1007/978-3-642-45073-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197076
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Metrics for Haptic Interfaces
ent://SD_ILS/0/SD_ILS:173548
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Samur, Evren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4225-6">http://dx.doi.org/10.1007/978-1-4471-4225-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computernetze kompakt
ent://SD_ILS/0/SD_ILS:196583
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Baun, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28988-0">http://dx.doi.org/10.1007/978-3-642-28988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fault Analysis in Cryptography
ent://SD_ILS/0/SD_ILS:196746
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Joye, Marc. editor. Tunstall, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29656-7">http://dx.doi.org/10.1007/978-3-642-29656-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Time in Computing
ent://SD_ILS/0/SD_ILS:197209
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32332-4">http://dx.doi.org/10.1007/978-3-642-32332-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:197272
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanoelektronik als künftige Schlüsseltechnologie der Informations- und Kommunikationstechnik in Deutschland
ent://SD_ILS/0/SD_ILS:194347
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author acatech - Deutsche Akademie der Technikwissenschaften. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20373-2">http://dx.doi.org/10.1007/978-3-642-20373-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organische Elektronik in Deutschland Bewertung und Empfehlungen Für Die Weiterentwicklung.
ent://SD_ILS/0/SD_ILS:194378
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author acatech - Deutsche Akademie der Technikwissenschaften. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20461-6">http://dx.doi.org/10.1007/978-3-642-20461-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194393
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20499-9">http://dx.doi.org/10.1007/978-3-642-20499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193070
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15739-4">http://dx.doi.org/10.1007/978-3-642-15739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195148
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22816-2">http://dx.doi.org/10.1007/978-3-642-22816-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum
ent://SD_ILS/0/SD_ILS:190483
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bauer, Friedrich L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02992-9">http://dx.doi.org/10.1007/978-3-642-02992-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191783
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11731-2">http://dx.doi.org/10.1007/978-3-642-11731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:191886
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Zuse, Konrad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12096-1">http://dx.doi.org/10.1007/978-3-642-12096-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191802
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Les virus informatiques: théorie, pratique et applications
ent://SD_ILS/0/SD_ILS:176476
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Filiol, Éric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-98240-8">http://dx.doi.org/10.1007/978-2-287-98240-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190531
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03138-0">http://dx.doi.org/10.1007/978-3-642-03138-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technische Informatik Elektronik
ent://SD_ILS/0/SD_ILS:188921
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Kemnitz, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87841-4">http://dx.doi.org/10.1007/978-3-540-87841-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189759
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Becker, Jürgen. editor. Woods, Roger. editor. Athanas, Peter. editor. Morgan, Fearghal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00641-8">http://dx.doi.org/10.1007/978-3-642-00641-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computing EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189895
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Giacobini, Mario. editor. Brabazon, Anthony. editor. Cagnoni, Stefano. editor. Caro, Gianni A. editor. Ekárt, Anikó. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01129-0">http://dx.doi.org/10.1007/978-3-642-01129-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
ent://SD_ILS/0/SD_ILS:171899
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Varshney, Upkar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0215-3">http://dx.doi.org/10.1007/978-1-4419-0215-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitaltechnik — Eine praxisnahe Einführung
ent://SD_ILS/0/SD_ILS:187960
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77729-8">http://dx.doi.org/10.1007/978-3-540-77729-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188183
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Woods, Roger. editor. Compton, Katherine. editor. Bouganis, Christos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78610-8">http://dx.doi.org/10.1007/978-3-540-78610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taking Your iPhone to the Max
ent://SD_ILS/0/SD_ILS:171053
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Sadun, Erica. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0517-3">http://dx.doi.org/10.1007/978-1-4302-0517-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taking Your iPod touch to the Max
ent://SD_ILS/0/SD_ILS:171100
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Sadun, Erica. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0642-2">http://dx.doi.org/10.1007/978-1-4302-0642-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188231
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Giacobini, Mario. editor. Brabazon, Anthony. editor. Cagnoni, Stefano. editor. Caro, Gianni A. editor. Drechsler, Rolf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78761-7">http://dx.doi.org/10.1007/978-3-540-78761-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185983
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70550-5">http://dx.doi.org/10.1007/978-3-540-70550-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:169692
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bobda, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6100-4">http://dx.doi.org/10.1007/978-1-4020-6100-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Embedded System Design using Microcontrollers
ent://SD_ILS/0/SD_ILS:170149
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8393-8">http://dx.doi.org/10.1007/978-1-4020-8393-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Techniques virales avancées
ent://SD_ILS/0/SD_ILS:176382
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Filiol, Éric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-33888-5">http://dx.doi.org/10.1007/978-2-287-33888-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test und Verlässlichkeit von Rechnern
ent://SD_ILS/0/SD_ILS:186260
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Kemnitz, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71355-5">http://dx.doi.org/10.1007/978-3-540-71355-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computing EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings
ent://SD_ILS/0/SD_ILS:186366
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Giacobini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71805-5">http://dx.doi.org/10.1007/978-3-540-71805-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Peer-to-Peer Computing Building Supercomputers with Web Technologies
ent://SD_ILS/0/SD_ILS:175542
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Loo, Alfred Wai-Sing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-747-3">http://dx.doi.org/10.1007/978-1-84628-747-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Co-design for System Acceleration A Quantitative Approach
ent://SD_ILS/0/SD_ILS:169517
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5546-1">http://dx.doi.org/10.1007/978-1-4020-5546-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
ent://SD_ILS/0/SD_ILS:169609
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Ramachandran, S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5829-5">http://dx.doi.org/10.1007/978-1-4020-5829-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186279
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71431-6">http://dx.doi.org/10.1007/978-3-540-71431-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:186756
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Zuse, Konrad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73139-9">http://dx.doi.org/10.1007/978-3-540-73139-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186917
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73625-7">http://dx.doi.org/10.1007/978-3-540-73625-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187697
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
ent://SD_ILS/0/SD_ILS:175378
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Roussos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-321-3">http://dx.doi.org/10.1007/1-84628-321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
ent://SD_ILS/0/SD_ILS:169385
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
ent://SD_ILS/0/SD_ILS:166025
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34403-9">http://dx.doi.org/10.1007/0-387-34403-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183671
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11732242">http://dx.doi.org/10.1007/11732242</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184380
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11796435">http://dx.doi.org/10.1007/11796435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184459
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bertels, Koen. editor. Cardoso, João M. P. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11802839">http://dx.doi.org/10.1007/11802839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rechneraufbau und Rechnerarchitektur
ent://SD_ILS/0/SD_ILS:184801
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Böttcher, Axel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-44731-8">http://dx.doi.org/10.1007/3-540-44731-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
ent://SD_ILS/0/SD_ILS:181824
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104218">http://dx.doi.org/10.1007/b104218</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182670
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574859">http://dx.doi.org/10.1007/11574859</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computing EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183071
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Corne, David Wolfe. editor. Drechsler, Rolf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106856">http://dx.doi.org/10.1007/b106856</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Complete IS-IS Routing Protocol
ent://SD_ILS/0/SD_ILS:175235
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Gredler, Hannes. author. Goralski, Walter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138798">http://dx.doi.org/10.1007/b138798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182812
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138322">http://dx.doi.org/10.1007/b138322</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183086
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183169
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System-Level Design Techniques for Energy-Efficient Embedded Systems
ent://SD_ILS/0/SD_ILS:164625
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106642">http://dx.doi.org/10.1007/b106642</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165066
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mikrorechner-Technik Übungen und Lösungen
ent://SD_ILS/0/SD_ILS:181059
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Bähring, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138234">http://dx.doi.org/10.1007/b138234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Assembly Language Programming For Pentium and RISC Processors
ent://SD_ILS/0/SD_ILS:165340
2025-12-11T20:12:39Z
2025-12-11T20:12:39Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>