Search Results for hardware. - Narrowed by: Online Library

Evolvable Hardware

2025-12-10T11:00:12Z

Author Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31238-2
Format: Electronic Resources
Availability Online Library~1

Hardware Security Primitives

2025-12-10T11:00:12Z

Author Tehranipoor, Mark. author. Pundir, Nitin. author. Vashistha, Nidish. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19185-5
Format: Electronic Resources
Availability Online Library~1

CAD for Hardware Security

2025-12-10T11:00:12Z

Author Farahmandi, Farimah. author. Rahman, M. Sazadur. author. Rajendran, Sree Ranjani. author. Tehranipoor, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26896-0
Format: Electronic Resources
Availability Online Library~1

FPGA-BASED Hardware Accelerators

2025-12-10T11:00:12Z

Author Skliarova, Iouliia. author. Sklyarov, Valery. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20721-2
Format: Electronic Resources
Availability Online Library~1

Embedded controller hardware design

2025-12-10T11:00:12Z

Author Arnold, Ken, 1958-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781878707529
Format: Electronic Resources
Availability Online Library~1

Readings in hardware/software co-design

2025-12-10T11:00:12Z

Author De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Hardware Accelerators

2025-12-10T11:00:12Z

Author Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22170-5
Format: Electronic Resources
Availability Online Library~1

Hardware Acceleration of Computational Holography

2025-12-10T11:00:12Z

Author Shimobaba, Tomoyoshi. editor. Ito, Tomoyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1938-3
Format: Electronic Resources
Availability Online Library~1

Hardware Security Training, Hands-on!

2025-12-10T11:00:12Z

Author Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31034-8
Format: Electronic Resources
Availability Online Library~1

Hardware Accelerators in Data Centers

2025-12-10T11:00:12Z

Author Kachris, Christoforos. editor. Falsafi, Babak. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92792-3
Format: Electronic Resources
Availability Online Library~1

Evolvable Hardware From Practice to Application

2025-12-10T11:00:12Z

Author Trefzer, Martin A. author. Tyrrell, Andy M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44616-4
Format: Electronic Resources
Availability Online Library~1

ARM Assembly Language with Hardware Experiments

2025-12-10T11:00:12Z

Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11704-1
Format: Electronic Resources
Availability Online Library~1

Hardware security : design, threats, and safeguards

2025-12-10T11:00:12Z

Author Mukhopadhyay, Debdeep, author. Subhra, Rajat, author.
Preferred Shelf Number QA76.9 .A25 M85 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded systems : hardware, design, and implementation

2025-12-10T11:00:12Z

Author Iniewski, Krzysztof, 1960-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=1051822 John Wiley http://dx.doi.org/10.1002/9781118468654 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9781118468647 Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118468654 Cover image http://catalogimages.wiley.com/images/db/jimages/9781118352151.jpg
Format: Electronic Resources
Availability Online Library~1

Computer Arithmetic Algorithms and Hardware Implementations

2025-12-10T11:00:12Z

Author Vlăduţiu, Mircea. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18315-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Hardware Security and Trust

2025-12-10T11:00:12Z

Author Tehranipoor, Mohammad. editor. Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8080-9
Format: Electronic Resources
Availability Online Library~1

Embedded systems hardware for software engineers

2025-12-10T11:00:12Z

Author Lipiansky, Ed.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Cooperative communications hardware, channel & PHY

2025-12-10T11:00:12Z

Author Dohler, Mischa. Li, Yonghui, 1975- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485650 John Wiley http://dx.doi.org/10.1002/9780470740071 MyiLibrary, Table of contents http://www.myilibrary.com?id=248226&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10369791
Format: Electronic Resources
Availability Online Library~1

Hardware-dependent Software Principles and Practice

2025-12-10T11:00:12Z

Author Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: Electronic Resources
Availability Online Library~1

Artificial Life Models in Hardware

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Cryptographic Algorithms on Reconfigurable Hardware

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Software-Implemented Hardware Fault Tolerance

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Scalable Hardware Verification with Symbolic Simulation

2025-12-10T11:00:12Z

Author Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29906-8
Format: Electronic Resources
Availability Online Library~1

Hardware security : a hands-on learning approach

2025-12-10T11:00:12Z

Author Bhunia, Swarup, author. Tehranipoor, Mohammad H., 1974- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128124772
Format: Electronic Resources
Availability Online Library~1

Application-Specific Hardware Architecture Design with VHDL

2025-12-10T11:00:12Z

Author Belean, Bogdan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65025-8
Format: Electronic Resources
Availability Online Library~1

Advanced Hardware Design for Error Correcting Codes

2025-12-10T11:00:12Z

Author Chavet, Cyrille. editor. Coussy, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10569-7
Format: Electronic Resources
Availability Online Library~1

Current Conveyors Variants, Applications and Hardware Implementations

2025-12-10T11:00:12Z

Author Senani, Raj. author. Bhaskar, D. R. author. Singh, A. K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08684-2
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung

2025-12-10T11:00:12Z

Author Dembowski, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338155.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-03167-1
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2025-12-10T11:00:12Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331370.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of GPS Receivers A Hardware Approach

2025-12-10T11:00:12Z

Author Doberstein, Dan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0409-5
Format: Electronic Resources
Availability Online Library~1

Perception-Action Cycle Models, Architectures, and Hardware

2025-12-10T11:00:12Z

Author Cutsuridis, Vassilis. editor. Hussain, Amir. editor. Taylor, John G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1452-1
Format: Electronic Resources
Availability Online Library~1

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

2025-12-10T11:00:12Z

Author Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05356-6
Format: Electronic Resources
Availability Online Library~1

Towards Hardware-Intrinsic Security Foundations and Practice

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2025-12-10T11:00:12Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: Electronic Resources
Availability Online Library~1

Digitale Hardware/Software-Systeme Synthese und Optimierung

2025-12-10T11:00:12Z

Author Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-46824-0
Format: Electronic Resources
Availability Online Library~1

AmIware Hardware Technology Drivers of Ambient Intelligence

2025-12-10T11:00:12Z

Author Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4198-5
Format: Electronic Resources
Availability Online Library~1

Hardware and computer organization the software perspective

2025-12-10T11:00:12Z

Author Berger, Arnold S.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: Electronic Resources
Availability Online Library~1

Computer architecture : software aspects, coding, and hardware

2025-12-10T11:00:12Z

Author Hsu, John Y., author.
Preferred Shelf Number QA76.9 .A73 H758 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Sensor technologies for civil infrastructures. Volume 1, Sensing hardware and data collection methods for performance assessment

2025-12-10T11:00:12Z

Author Wang, Ming L. Lynch, Jerome P. (Jerome Peter) Sohn, Hoon.
Preferred Shelf Number ONLINE(355824.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780857094322
Format: Electronic Resources
Availability Online Library~1

Joe Grand's "best of" hardware, wireless & game console hacking includes DVD with 20 hacks in high-res color

2025-12-10T11:00:12Z

Author Grand, Joe.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597491136
Format: Electronic Resources
Availability Online Library~1

Guessing Random Additive Noise Decoding A Hardware Perspective

2025-12-10T11:00:12Z

Author Abbas, Syed Mohsin. author. Jalaleddine, Marwan. author. Gross, Warren J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31663-0
Format: Electronic Resources
Availability Online Library~1

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

2025-12-10T11:00:12Z

Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34214-1
Format: Electronic Resources
Availability Online Library~1

Logic Locking A Practical Approach to Secure Hardware

2025-12-10T11:00:12Z

Author Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19123-7
Format: Electronic Resources
Availability Online Library~1

Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

2025-12-10T11:00:12Z

Author Shah, Nimish. author. Meert, Wannes. author. Verhelst, Marian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33136-7
Format: Electronic Resources
Availability Online Library~1

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

2025-12-10T11:00:12Z

Author Snider, Ross K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-15416-4
Format: Electronic Resources
Availability Online Library~1

Frontiers of Quality Electronic Design (QED) AI, IoT and Hardware Security

2025-12-10T11:00:12Z

Author Iranmanesh, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-16344-9
Format: Electronic Resources
Availability Online Library~1

Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL

2025-12-10T11:00:12Z

Author Tripathi, Saurabh Mani. editor. Gonzalez-Longatt, Francisco M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0224-8
Format: Electronic Resources
Availability Online Library~1

From Algorithms to Hardware Architectures Using Digital Radios as a Design Example

2025-12-10T11:00:12Z

Author Abbas, Karim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-08693-9
Format: Electronic Resources
Availability Online Library~1

Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits

2025-12-10T11:00:12Z

Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4017-0
Format: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2025-12-10T11:00:12Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

2025-12-10T11:00:12Z

Author Russinoff, David M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95513-1
Format: Electronic Resources
Availability Online Library~1

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

2025-12-10T11:00:12Z

Author Gimenez, Salvador Pinillos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76439-9
Format: Electronic Resources
Availability Online Library~1

Large-Scale Annotation of Biomedical Data and Expert Label Synthesis and Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention International Workshops, LABELS 2019, HAL-MICCAI 2019, and CuRIOUS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings

2025-12-10T11:00:12Z

Author Zhou, Luping. editor. Heller, Nicholas. editor. (orcid)0000-0001-8516-8707 Shi, Yiyu. editor. Xiao, Yiming. editor. (orcid)0000-0002-0962-3525 Sznitman, Raphael. editor. (orcid)0000-0001-6791-4753
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33642-4
Format: Electronic Resources
Availability Online Library~1

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2025-12-10T11:00:12Z

Author Salmani, Hassan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79081-7
Format: Electronic Resources
Availability Online Library~1

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2025-12-10T11:00:12Z

Author Halak, Basel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76804-5
Format: Electronic Resources
Availability Online Library~1

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2025-12-10T11:00:12Z

Author Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61455-7
Format: Electronic Resources
Availability Online Library~1

Fault Tolerant Architectures for Cryptography and Hardware Security

2025-12-10T11:00:12Z

Author PATRANABIS, SIKHAR. editor. Mukhopadhyay, Debdeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1387-4
Format: Electronic Resources
Availability Online Library~1

The Hardware Trojan War Attacks, Myths, and Defenses

2025-12-10T11:00:12Z

Author Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68511-3
Format: Electronic Resources
Availability Online Library~1

Adapted Compressed Sensing for Effective Hardware Implementations A Design Flow for Signal-Level Optimization of Compressed Sensing Stages

2025-12-10T11:00:12Z

Author Mangia, Mauro. author. Pareschi, Fabio. author. Cambareri, Valerio. author. Rovatti, Riccardo. author. Setti, Gianluca. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61373-4
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2025-12-10T11:00:12Z

Author Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26287-1
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings

2025-12-10T11:00:12Z

Author Güneysu, Tim. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48324-4
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips

2025-12-10T11:00:12Z

Author Luo, Yan. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09006-1
Format: Electronic Resources
Availability Online Library~1

Airborne electronic hardware design assurance : a practitioner's guide to RTCA/DO-254

2025-12-10T11:00:12Z

Author Fulton, Randall, author. Vandermolen, Roy, author. RTCA (Firm)
Preferred Shelf Number TL695 .F85 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Image, video processing and analysis, hardware, audio, acoustic and speech processing

2025-12-10T11:00:12Z

Author Trussell, H. J. (H. Joel) Srivastava, Ankur. Srivastava, Anuj. Naylor, Patrick A. Roy-Chowdhury, Amit K.
Preferred Shelf Number ONLINE(356145.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123965011
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems -- CHES 2014 16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings

2025-12-10T11:00:12Z

Author Batina, Lejla. editor. (orcid)0000-0003-0727-3573 Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44709-3
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection

2025-12-10T11:00:12Z

Author Tehranipoor, Mohammad. author. Salmani, Hassan. author. Zhang, Xuehui. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-00816-5
Format: Electronic Resources
Availability Online Library~1

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures

2025-12-10T11:00:12Z

Author Feller, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-07005-2
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2025-12-10T11:00:12Z

Author Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources
Availability Online Library~1

Big Data Benchmarks, Performance Optimization, and Emerging Hardware 4th and 5th Workshops, BPOE 2014, Salt Lake City, USA, March 1, 2014 and Hangzhou, China, September 5, 2014, Revised Selected Papers

2025-12-10T11:00:12Z

Author Zhan, Jianfeng. editor. Han, Rui. editor. Weng, Chuliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13021-7
Format: Electronic Resources
Availability Online Library~1

Hardware for Soft Computing and Soft Computing for Hardware

2025-12-10T11:00:12Z

Author Nedjah, Nadia. author. Mourelle, Luiza de Macedo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03110-1
Format: Electronic Resources
Availability Online Library~1

Open-source lab : how to build your own hardware and reduce research costs

2025-12-10T11:00:12Z

Author Pearce, Joshua, author.
Preferred Shelf Number ONLINE(356149.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124104624
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2025-12-10T11:00:12Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2025-12-10T11:00:12Z

Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336495.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-92-3
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2025-12-10T11:00:12Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Wireless Multimedia Sensor Networks on Reconfigurable Hardware Information Reduction Techniques

2025-12-10T11:00:12Z

Author Ang, Li-minn. author. Seng, Kah Phooi. author. Chew, Li Wern. author. Yeong, Lee Seng. author. Chia, Wai Chong. author.
Preferred Shelf Number ONLINE(334554.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38203-1
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

2025-12-10T11:00:12Z

Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40349-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2025-12-10T11:00:12Z

Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings

2025-12-10T11:00:12Z

Author Prouff, Emmanuel. editor. Schaumont, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33027-8
Format: Electronic Resources
Availability Online Library~1

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2025-12-10T11:00:12Z

Author Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00397-5
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

2025-12-10T11:00:12Z

Author Bertels, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1406-9
Format: Electronic Resources
Availability Online Library~1

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits

2025-12-10T11:00:12Z

Author Arora, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0397-5
Format: Electronic Resources
Availability Online Library~1

Electrical, electronics, and digital hardware essentials for scientists and engineers

2025-12-10T11:00:12Z

Author Lipiansky, Ed.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6480470
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2025-12-10T11:00:12Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction

2025-12-10T11:00:12Z

Author Scherl, Holger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8259-2
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

2025-12-10T11:00:12Z

Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19237-1
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2011 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings

2025-12-10T11:00:12Z

Author Preneel, Bart. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23951-9
Format: Electronic Resources
Availability Online Library~1

Enhancing Embedded Systems Simulation A Chip-Hardware-in-the-Loop Simulation Framework

2025-12-10T11:00:12Z

Author Köhler, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9916-3
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

2025-12-10T11:00:12Z

Author Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Computing From FPGAs to Hardware/Software Codesign

2025-12-10T11:00:12Z

Author Cardoso, João M. P. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0061-5
Format: Electronic Resources
Availability Online Library~1

Computer Science The Hardware, Software and Heart of It

2025-12-10T11:00:12Z

Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

2025-12-10T11:00:12Z

Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19583-9
Format: Electronic Resources
Availability Online Library~1

Multiprocessor System-on-Chip Hardware Design and Tool Integration

2025-12-10T11:00:12Z

Author Hübner, Michael. editor. Becker, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6460-1
Format: Electronic Resources
Availability Online Library~1

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances

2025-12-10T11:00:12Z

Author Kanekawa, Nobuyasu. author. Ibe, Eishi H. author. Suga, Takashi. author. Uematsu, Yutaka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6715-2
Format: Electronic Resources
Availability Online Library~1

Smart process plants software and hardware solutions for accurate data and profitable operations

2025-12-10T11:00:12Z

Author Bagajewicz, Miguel J. Chmielewski, Donald J., 1969- Tanth, DuyQuang Nguyen.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

VLIW microprocessor hardware design for ASIC and FPGA

2025-12-10T11:00:12Z

Author Lee, Weng Fook.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault

2025-12-10T11:00:12Z

Author Wunderlich, Hans-Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3282-9
Format: Electronic Resources
Availability Online Library~1

Multicore Systems On-Chip: Practical Software/Hardware Design

2025-12-10T11:00:12Z

Author Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-33-6
Format: Electronic Resources
Availability Online Library~1

Arithmetic Optimization Techniques for Hardware and Software Design

2025-12-10T11:00:12Z

Author Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings

2025-12-10T11:00:12Z

Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15323-5
Format: Electronic Resources
Availability Online Library~1

Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement

2025-12-10T11:00:12Z

Author Borgeest, Kai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9337-6
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings

2025-12-10T11:00:12Z

Author Mangard, Stefan. editor. Standaert, François-Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15031-9
Format: Electronic Resources
Availability Online Library~1

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

2025-12-10T11:00:12Z

Author Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: Electronic Resources
Availability Online Library~1

Hardware Based Packet Classification for High Speed Internet Routers

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Hardware firmware interface design FPGAs, ASICs, SoCs, ASSPs, and other chips

2025-12-10T11:00:12Z

Author Stringham, Gary.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856176057
Format: Electronic Resources
Availability Online Library~1

Practical Arduino Cool Projects for Open Source Hardware

2025-12-10T11:00:12Z

Author Oxer, Jonathan. author. Blemings, Hugh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2478-5
Format: Electronic Resources
Availability Online Library~1

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs

2025-12-10T11:00:12Z

Author Gulati, Kanupriya. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0944-2
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

2025-12-10T11:00:12Z

Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01702-5
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

2025-12-10T11:00:12Z

Author Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04138-9
Format: Electronic Resources
Availability Online Library~1

Hardware Software Co-Design of a Multimedia SOC Platform

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy

2025-12-10T11:00:12Z

Author Perre, Liesbet Van der. author. Craninckx, Jan. author. Dejonghe, Antoine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8212-2
Format: Electronic Resources
Availability Online Library~1

Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

2025-12-10T11:00:12Z

Author Cuyt, Annie. editor. Krämer, Walter. editor. Luther, Wolfram. editor. Markstein, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01591-5
Format: Electronic Resources
Availability Online Library~1

Energy efficient hardware-software co-synthesis using reconfigurable hardware

2025-12-10T11:00:12Z

Author Ou, Jingzhao., author. Prasanna Kumar, V. K.
Preferred Shelf Number TK7895 .G36 O94 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mikrocomputertechnik mit der 8051-Controller-Familie Hardware, Assembler, C

2025-12-10T11:00:12Z

Author Walter, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69465-6
Format: Electronic Resources
Availability Online Library~1

Robotic Exploration and Landmark Determination Hardware-Efficient Algorithms and FPGA Implementations

2025-12-10T11:00:12Z

Author Sridharan, K. author. Kumar, Panakala Rajesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75394-0
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings

2025-12-10T11:00:12Z

Author Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85053-3
Format: Electronic Resources
Availability Online Library~1

Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement

2025-12-10T11:00:12Z

Author Borgeest, Kai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9459-5
Format: Electronic Resources
Availability Online Library~1

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

2025-12-10T11:00:12Z

Author Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8586-4
Format: Electronic Resources
Availability Online Library~1

Nagios 3 enterprise network monitoring including plug-ins and hardware devices

2025-12-10T11:00:12Z

Author Schubert, Max.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597492676
Format: Electronic Resources
Availability Online Library~1

Programming 8-bit PIC microcontrollers in C with interactive hardware simulation

2025-12-10T11:00:12Z

Author Bates, Martin, 1952-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750689601
Format: Electronic Resources
Availability Online Library~1

Hardware-based computer security techniques to defeat hackers from biometrics to quantum cryptography

2025-12-10T11:00:12Z

Author Dube, Roger. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9780470425497 MyiLibrary, Table of contents http://www.myilibrary.com?id=183706&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780470193396
Format: Electronic Resources
Availability Online Library~1

Tutorial on hardware and software reliability, maintainability, and availability

2025-12-10T11:00:12Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769540 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769540
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2025-12-10T11:00:12Z

Author Yorav, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77966-7
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2025-12-10T11:00:12Z

Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2025-12-10T11:00:12Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2025-12-10T11:00:12Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2025-12-10T11:00:12Z

Author Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources
Availability Online Library~1

Hardware Verification with SystemVerilog An Object-Oriented Framework

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Introduction to evolvable hardware a practical guide for designing self-adaptive systems

2025-12-10T11:00:12Z

Author Greenwood, Garrison W. Tyrrell, Andy M.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201440
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2025-12-10T11:00:12Z

Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678779
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2025-12-10T11:00:12Z

Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894063
Format: Electronic Resources
Availability Online Library~1

RTL hardware design using VHDL coding for efficiency, portability, and scalability

2025-12-10T11:00:12Z

Author Chu, Pong P., 1959-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237648
Format: Electronic Resources
Availability Online Library~1

Hardware Verification with C++ A Practitioner’s Handbook

2025-12-10T11:00:12Z

Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources
Availability Online Library~1

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2025-12-10T11:00:12Z

Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545262
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

System-level Test and Validation of Hardware/Software Systems

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Black Hat physical device security exploiting hardware and software

2025-12-10T11:00:12Z

Author Miller, Drew, 1978-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781932266818
Format: Electronic Resources
Availability Online Library~1

Co-verification of hardware and software for ARM SoC design

2025-12-10T11:00:12Z

Author Andrews, Jason R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: Electronic Resources
Availability Online Library~1

RF engineering for wireless networks hardware, antennas, and propagation

2025-12-10T11:00:12Z

Author Dobkin, Daniel Mark.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678735
Format: Electronic Resources
Availability Online Library~1

Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken

2025-12-10T11:00:12Z

Author Brause, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138377
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2025-12-10T11:00:12Z

Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549703
Format: Electronic Resources
Availability Online Library~1

Dedicated digital processors methods in hardware/software system design

2025-12-10T11:00:12Z

Author Mayer-Lindenberg, F.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/047009284X Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=175043 http://proquest.safaribooksonline.com/9780470092828 Volltext http://proquest.tech.safaribooksonline.de/9780470092828
Format: Electronic Resources
Availability Online Library~1

Hardware hacking have fun while voiding your warranty

2025-12-10T11:00:12Z

Author Grand, Joe. Russell, Ryan, 1969- Syngress Media, Inc.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781932266832
Format: Electronic Resources
Availability Online Library~1

Foundations of Digital Signal Processing Theory, algorithms and hardware design

2025-12-10T11:00:12Z

Author Gaydecki, Patrick
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCS015E
Format: Electronic Resources
Availability Online Library~1

Spatially resolved magnetic resonance methods, materials, medicine, biology, rheology, geology, ecology, hardware

2025-12-10T11:00:12Z

Author Blümer, P. (Peter) Wiley InterScience (Online service) International Conference on Magnetic Resonance Microscopy (4th : 1997 : Albuquerque, N.M.)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527611843
Format: Electronic Resources
Availability Online Library~1

The computer comes of age the people, the hardware, and the software

2025-12-10T11:00:12Z

Author Moreau, René.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: Electronic Resources
Availability Online Library~1

Circuit design with VHDL

2025-12-10T11:00:12Z

Author Pedroni, Volnei A.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267318
Format: Electronic Resources
Availability Online Library~1

FPGA prototyping by VHDL examples Xilinx Spartan-3 version

2025-12-10T11:00:12Z

Author Chu, Pong P., 1959-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://www.ECU.eblib.com.au/EBLWeb/patron/?target=patron&extendedid=P_333757_0 John Wiley http://dx.doi.org/10.1002/9780470231630 MyiLibrary, Table of contents http://www.myilibrary.com?id=123733&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007029063-b.html
Format: Electronic Resources
Availability Online Library~1

Construction, Operation and Maintenance of Network System(Junior Level)

2025-12-10T11:00:12Z

Author Huawei Technologies Co., Ltd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3069-0
Format: Electronic Resources
Availability Online Library~1

Springer Handbook of Augmented Reality

2025-12-10T11:00:12Z

Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-67822-7
Format: Electronic Resources
Availability Online Library~1

Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)

2025-12-10T11:00:12Z

Author Gupta, Sunil. author. Sharma, Hitesh Kumar. author. Kapoor, Monit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-18896-1
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author De Stefano, Claudio. editor. Fontanella, Francesco. editor. Vanneschi, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31183-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Digital Multimedia Communications 19th International Forum, IFTC 2022, Shanghai, China, December 8-9, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Zhai, Guangtao. editor. Zhou, Jun. editor. (orcid) Yang, Hua. editor. (orcid) Yang, Xiaokang. editor. An, Ping. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0856-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

2025-12-10T11:00:12Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1642-9
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Object Tracking Technology Trends, Challenges and Applications

2025-12-10T11:00:12Z

Author Kumar, Ashish. editor. Jain, Rachna. editor. Vairamani, Ajantha Devi. editor. Nayyar, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3288-7
Format: Electronic Resources
Availability Online Library~1

Understanding Analog Side Channels Using Cryptography Algorithms

2025-12-10T11:00:12Z

Author Zajić, Alenka. author. Prvulovic, Milos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38579-7
Format: Electronic Resources
Availability Online Library~1

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

2025-12-10T11:00:12Z

Author Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36840-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell

2025-12-10T11:00:12Z

Author Dietrich, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30368-5
Format: Electronic Resources
Availability Online Library~1

Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings

2025-12-10T11:00:12Z

Author Afonso, João L. editor. Monteiro, Vitor. editor. Pinto, José Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33979-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2025-12-10T11:00:12Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings

2025-12-10T11:00:12Z

Author Chavarrías, Miguel. editor. Rodríguez, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29970-4
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22944-2
Format: Electronic Resources
Availability Online Library~1

Network and System Security 17th International Conference, NSS 2023, Canterbury, UK, August 14-16, 2023, Proceedings

2025-12-10T11:00:12Z

Author Li, Shujun. editor. Manulis, Mark. editor. Miyaji, Atsuko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39828-5
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings

2025-12-10T11:00:12Z

Author Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42921-7
Format: Electronic Resources
Availability Online Library~1

Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I

2025-12-10T11:00:12Z

Author De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43401-3
Format: Electronic Resources
Availability Online Library~1

Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II

2025-12-10T11:00:12Z

Author De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43404-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part VI

2025-12-10T11:00:12Z

Author De Francisci Morales, Gianmarco. editor. Perlich, Claudia. editor. Ruchansky, Natali. editor. Kourtellis, Nicolas. editor. Baralis, Elena. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43427-3
Format: Electronic Resources
Availability Online Library~1

Information Security 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings

2025-12-10T11:00:12Z

Author Athanasopoulos, Elias. editor. Mennink, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49187-0
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

2025-12-10T11:00:12Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49435-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2025-12-10T11:00:12Z

Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40843-4
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings

2025-12-10T11:00:12Z

Author Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46077-7
Format: Electronic Resources
Availability Online Library~1

Sustainable Smart Healthcare Lessons Learned from the COVID-19 Pandemic

2025-12-10T11:00:12Z

Author Chen, Tin-Chih Toly. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37146-2
Format: Electronic Resources
Availability Online Library~1

Real-time and Autonomous Systems 2022 Automation in Everyday Life

2025-12-10T11:00:12Z

Author Unger, Herwig. editor. Schaible, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32700-1
Format: Electronic Resources
Availability Online Library~1

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II

2025-12-10T11:00:12Z

Author Botto-Tobar, Miguel. editor. Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24971-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing in Clouds Moving HPC Applications to a Scalable and Cost-Effective Environment

2025-12-10T11:00:12Z

Author Borin, Edson. editor. Drummond, Lúcia Maria A. editor. Gaudiot, Jean-Luc. editor. Melo, Alba. editor. Melo Alves, Maicon. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29769-4
Format: Electronic Resources
Availability Online Library~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2025-12-10T11:00:12Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5968-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Principles and Practice of Knowledge Discovery in Databases International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I

2025-12-10T11:00:12Z

Author Koprinska, Irena. editor. Mignone, Paolo. editor. Guidotti, Riccardo. editor. Jaroszewicz, Szymon. editor. Fröning, Holger. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23618-1
Format: Electronic Resources
Availability Online Library~1

Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Sun, Fuchun. editor. Cangelosi, Angelo. editor. Zhang, Jianwei. editor. Yu, Yuanlong. editor. Liu, Huaping. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0617-8
Format: Electronic Resources
Availability Online Library~1

Telematics and Computing 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023, Proceedings

2025-12-10T11:00:12Z

Author Mata-Rivera, Miguel Félix. editor. Zagal-Flores, Roberto. editor. Barria-Huidobro, Cristian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45316-8
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings

2025-12-10T11:00:12Z

Author Kavun, Elif Bilge. editor. Pehl, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29497-6
Format: Electronic Resources
Availability Online Library~1

Code-Based Cryptography 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Deneuville, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29689-5
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30122-3
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

2025-12-10T11:00:12Z

Author Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29927-8
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29-31, 2023, Proceedings

2025-12-10T11:00:12Z

Author Shikata, Junji. editor. Kuzuno, Hiroki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41326-1
Format: Electronic Resources
Availability Online Library~1

Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings

2025-12-10T11:00:12Z

Author Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43360-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings

2025-12-10T11:00:12Z

Author Christensen, Henrik I. editor. Corke, Peter. editor. Detry, Renaud. editor. Weibel, Jean-Baptiste. editor. Vincze, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44137-0
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part V

2025-12-10T11:00:12Z

Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44192-9
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

2025-12-10T11:00:12Z

Author Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41181-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part V

2025-12-10T11:00:12Z

Author Amini, Massih-Reza. editor. Canu, Stéphane. editor. Fischer, Asja. editor. Guns, Tias. editor. Kralj Novak, Petra. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26419-1
Format: Electronic Resources
Availability Online Library~1

Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33023-0
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

2025-12-10T11:00:12Z

Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52038-9
Format: Electronic Resources
Availability Online Library~1

Imaging of the Foot and Ankle Techniques and Applications

2025-12-10T11:00:12Z

Author Davies, Mark. editor. James, Steven. editor. Botchu, Rajesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38609-1
Format: Electronic Resources
Availability Online Library~1

Musculoskeletal Imaging A Survival Manual

2025-12-10T11:00:12Z

Author Plotkin, Benjamin. author. Davis, Bennett L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49021-7
Format: Electronic Resources
Availability Online Library~1

International Conference on Reliable Systems Engineering (ICoRSE) - 2022

2025-12-10T11:00:12Z

Author Cioboată, Daniela Doina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-15944-2
Format: Electronic Resources
Availability Online Library~1

Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System

2025-12-10T11:00:12Z

Author Varde, Prabhakar V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9334-3
Format: Electronic Resources
Availability Online Library~1

9th International Conference on Mobility, IoT and Smart Cities EAI Mobility IoT 2022

2025-12-10T11:00:12Z

Author Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 Zohrehvandi, Shakib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28225-6
Format: Electronic Resources
Availability Online Library~1

Interconnect Reliability in Advanced Memory Device Packaging

2025-12-10T11:00:12Z

Author Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26708-6
Format: Electronic Resources
Availability Online Library~1

Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 1

2025-12-10T11:00:12Z

Author Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31860-3
Format: Electronic Resources
Availability Online Library~1

Which-Is-Better (WIB): Problems in Reliability Theory

2025-12-10T11:00:12Z

Author Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27316-2
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Materials Research and Manufacturing Processes

2025-12-10T11:00:12Z

Author Lysenko, Elena. editor. Rogachev, Alexander. editor. Galtseva, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38964-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Online Engineering Proceedings of the 19th International Conference on Remote Engineering and Virtual Instrumentation

2025-12-10T11:00:12Z

Author Auer, Michael E. editor. El-Seoud, Samir A. editor. Karam, Omar H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17091-1
Format: Electronic Resources
Availability Online Library~1

A Roadmap to Future Space Connectivity Satellite and Interplanetary Networks

2025-12-10T11:00:12Z

Author Sacchi, Claudio. editor. Granelli, Fabrizio. editor. Bassoli, Riccardo. editor. Fitzek, Frank H. P. editor. Ruggieri, Marina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30762-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022

2025-12-10T11:00:12Z

Author Salopek Čubrić, Ivana. editor. Čubrić, Goran. editor. Jambrošić, Kristian. editor. Jurčević Lulić, Tanja. editor. Sumpor, Davor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33986-8
Format: Electronic Resources
Availability Online Library~1

New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence The DITTET 2023 Collection

2025-12-10T11:00:12Z

Author de la Iglesia, Daniel H. editor. de Paz Santana, Juan F. editor. López Rivero, Alfonso J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38344-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Neuroengineering

2025-12-10T11:00:12Z

Author Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-16-5540-1
Format: Electronic Resources
Availability Online Library~1

ICT Infrastructure and Computing Proceedings of ICT4SD 2023, Volume 3

2025-12-10T11:00:12Z

Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4932-8
Format: Electronic Resources
Availability Online Library~1

The Aquatic World of Penguins Biology of Fish-Birds

2025-12-10T11:00:12Z

Author Ainley, David G. author. Wilson, Rory P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33990-5
Format: Electronic Resources
Availability Online Library~1

Explainable AI for Cybersecurity

2025-12-10T11:00:12Z

Author Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46479-9
Format: Electronic Resources
Availability Online Library~1

Soft Computing for Security Applications Proceedings of ICSCS 2023

2025-12-10T11:00:12Z

Author Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3608-3
Format: Electronic Resources
Availability Online Library~1

The Digital Playbook A Practitioner's Guide to Smart, Connected Products and Solutions with AIoT

2025-12-10T11:00:12Z

Author Slama, Dirk. editor. Rückert, Tanja. editor. Thrun, Sebastian. editor. Homann, Ulrich. editor. Lasi, Heiner. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-88221-1
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39141-5
Format: Electronic Resources
Availability Online Library~1

Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings

2025-12-10T11:00:12Z

Author Gao, Feifei. editor. Wu, Jun. editor. Li, Yun. editor. Gao, Honghao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34790-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems 6th EAI International Conference, INTSYS 2022, Lisbon, Portugal, December 15-16, 2022, Proceedings

2025-12-10T11:00:12Z

Author Martins, Ana Lucia. editor. (orcid) Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30855-0
Format: Electronic Resources
Availability Online Library~1

Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings

2025-12-10T11:00:12Z

Author Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33614-0
Format: Electronic Resources
Availability Online Library~1

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

2025-12-10T11:00:12Z

Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32180-1
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

2025-12-10T11:00:12Z

Author Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42785-5
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26553-2
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers

2025-12-10T11:00:12Z

Author Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25460-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2025-12-10T11:00:12Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

2025-12-10T11:00:12Z

Author Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34671-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V

2025-12-10T11:00:12Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37117-2
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I

2025-12-10T11:00:12Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36622-2
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II

2025-12-10T11:00:12Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36625-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII

2025-12-10T11:00:12Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6498-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

2025-12-10T11:00:12Z

Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45332-8
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

2025-12-10T11:00:12Z

Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45329-8
Format: Electronic Resources
Availability Online Library~1

Anesthesia STAT! Acute Pediatric Emergencies in PACU A Clinical Casebook

2025-12-10T11:00:12Z

Author Verghese, Susan T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24396-7
Format: Electronic Resources
Availability Online Library~1

Digital Health Entrepreneurship

2025-12-10T11:00:12Z

Author Meyers, Arlen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33902-8
Format: Electronic Resources
Availability Online Library~1

2021 International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications

2025-12-10T11:00:12Z

Author Tsihrintzis, George A. editor. Wang, Shiuh-Jeng. editor. Lin, Iuon-Chang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-05491-4
Format: Electronic Resources
Availability Online Library~1

Pipeline Inspection and Health Monitoring Technology The Key to Integrity Management

2025-12-10T11:00:12Z

Author Lu, Hongfang. author. Xu, Zhao-Dong. author. Iseley, Tom. author. Peng, Haoyan. author. Fu, Lingdi. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6798-6
Format: Electronic Resources
Availability Online Library~1

Software Defined Chips Volume II

2025-12-10T11:00:12Z

Author Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7636-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Graphics Proceedings of the International Conference on Computer Vision and Graphics ICCVG 2022

2025-12-10T11:00:12Z

Author Chmielewski, Leszek J. editor. Orłowski, Arkadiusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22025-8
Format: Electronic Resources
Availability Online Library~1

Applications in Reliability and Statistical Computing

2025-12-10T11:00:12Z

Author Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21232-1
Format: Electronic Resources
Availability Online Library~1

The Proceedings of the 5th International Conference on Energy Storage and Intelligent Vehicles (ICEIV 2022)

2025-12-10T11:00:12Z

Author Sun, Fengchun. editor. Yang, Qingxin. editor. Dahlquist, Erik. editor. Xiong, Rui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1027-4
Format: Electronic Resources
Availability Online Library~1

Optimal Inspection Models with Their Applications

2025-12-10T11:00:12Z

Author Ito, Kodo. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22021-0
Format: Electronic Resources
Availability Online Library~1

Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022

2025-12-10T11:00:12Z

Author Di Maio, Dario. editor. Baqersad, Javad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-04098-6
Format: Electronic Resources
Availability Online Library~1

Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022

2025-12-10T11:00:12Z

Author Strelets, Dmitry Yu. editor. Korsun, Oleg N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9010-6
Format: Electronic Resources
Availability Online Library~1

Autonomous driving algorithms and Its IC Design

2025-12-10T11:00:12Z

Author Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2897-2
Format: Electronic Resources
Availability Online Library~1

Design and Implementation of Sensory Solutions for Industrial Environment Utilizing 1-wire® Technology in Industrial Solutions

2025-12-10T11:00:12Z

Author Ďuďák, Juraj. author. Gašpar, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30152-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of Trends in Electronics and Health Informatics TEHI 2022

2025-12-10T11:00:12Z

Author Mahmud, Mufti. editor. Mendoza-Barrera, Claudia. editor. Kaiser, M. Shamim. editor. Bandyopadhyay, Anirban. editor. Ray, Kanad. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1916-1
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Imaging for a Novel Generation of Medical Devices Fundamental Issues, Methodological Challenges and Practical Implementation

2025-12-10T11:00:12Z

Author Vipiana, Francesca. editor. Crocco, Lorenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28666-7
Format: Electronic Resources
Availability Online Library~1

The Use of Artificial Intelligence for Space Applications Workshop at the 2022 International Conference on Applied Intelligence and Informatics

2025-12-10T11:00:12Z

Author Ieracitano, Cosimo. editor. Mammone, Nadia. editor. Di Clemente, Marco. editor. Mahmud, Mufti. editor. Furfaro, Roberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25755-1
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022)

2025-12-10T11:00:12Z

Author Senthil Kumar, C. editor. Sujatha, R. editor. Muthukumar, R. editor. Rao, K. Balaji. editor. Prakash, Raghu V. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5049-2
Format: Electronic Resources
Availability Online Library~1

Track and Trace Management System for Dementia and Intellectual Disabilities

2025-12-10T11:00:12Z

Author Merugu, Suresh. author. Kumar, Amit. author. Ghinea, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-1264-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of 2023 Chinese Intelligent Systems Conference Volume I

2025-12-10T11:00:12Z

Author Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6847-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 10th Chinese Society of Aeronautics and Astronautics Youth Forum

2025-12-10T11:00:12Z

Author Chinese Society of Aeronautics and Astronautics. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7652-0
Format: Electronic Resources
Availability Online Library~1

Intelligence of Things: Technologies and Applications The Second International Conference on Intelligence of Things (ICIT 2023), Ho Chi Minh City, Vietnam, October 25-27, 2023, Proceedings, Volume 2

2025-12-10T11:00:12Z

Author Dao, Nhu-Ngoc. editor. Thinh, Tran Ngoc. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46749-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 5th International Conference on Maintenance, Condition Monitoring and Diagnostics 2021

2025-12-10T11:00:12Z

Author Juuso, Esko. editor. Galar, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1988-8
Format: Electronic Resources
Availability Online Library~1

Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023

2025-12-10T11:00:12Z

Author Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34821-1
Format: Electronic Resources
Availability Online Library~1

Internet Arabic

2025-12-10T11:00:12Z

Author Diouri, Mourad, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9780748644933 https://www.degruyter.com/isbn/9780748644933 Cover https://www.degruyter.com/document/cover/isbn/9780748644933/original
Format: Electronic Resources
Availability Online Library~1

Virtual environments and advanced interface design

2025-12-10T11:00:12Z

Author Barfield, Woodrow, editor. Furness, Thomas A., editor.
Preferred Shelf Number QA76.9 .H85 V54 2020
Electronic Access Oxford scholarship online https://dx.doi.org/10.1093/oso/9780195075557.001.0001
Format: Electronic Resources
Availability Online Library~1

The gas turbine handbook : principles and practices

2025-12-10T11:00:12Z

Author Giampaolo, Tony, 1939- author.
Preferred Shelf Number TJ778
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003151821 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings

2025-12-10T11:00:12Z

Author Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096 Calderón, Mariletty. editor. Díaz del Río, Fernando. editor. (orcid)0000-0001-6184-1629 Real, Pedro. editor. (orcid)0000-0002-6853-0505 Bandera, Antonio. editor. (orcid)0000-0003-3147-0307
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10828-1
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2025-12-10T11:00:12Z

Author Pnevmatikatos, Dionisios N. editor. Pelcat, Maxime. editor. Jung, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27562-4
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

2025-12-10T11:00:12Z

Author Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34627-0
Format: Electronic Resources
Availability Online Library~1

Handbook of Memristor Networks

2025-12-10T11:00:12Z

Author Chua, Leon. editor. Sirakoulis, Georgios Ch. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76375-0
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Massive MIMO Detection Algorithm and VLSI Architecture

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

Author Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22507-0
Format: Electronic Resources
Availability Online Library~1

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2025-12-10T11:00:12Z

Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources
Availability Online Library~1

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2025-12-10T11:00:12Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36592-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Clinical Applications for Spine Imaging 5th International Workshop and Challenge, CSI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers

2025-12-10T11:00:12Z

Author Zheng, Guoyan. editor. Belavy, Daniel. editor. Cai, Yunliang. editor. Li, Shuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13736-6
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Information Leakage and Countermeasure Technique Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

VLSI Design and Test 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers

2025-12-10T11:00:12Z

Author Rajaram, S. editor. Balamurugan, N.B. editor. Gracia Nirmala Rani, D. editor. Singh, Virendra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5950-7
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings

2025-12-10T11:00:12Z

Author Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30709-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2025-12-10T11:00:12Z

Author Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15996-2
Format: Electronic Resources
Availability Online Library~1

Smart Computational Strategies: Theoretical and Practical Aspects

2025-12-10T11:00:12Z

Author Luhach, Ashish Kumar. editor. Hawari, Kamarul Bin Ghazali. editor. Mihai, Ioan Cosmin. editor. Hsiung, Pao-Ann. editor. Mishra, Ravi Bhushan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6295-8
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2025-12-10T11:00:12Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Real-Time Rendering

2025-12-10T11:00:12Z

Author Akenine-Möller, Tomas, author. Haines, Eric, author. Hoffman, Naty, author. Taylor and Francis.
Preferred Shelf Number T385 .M635 2008
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91470-1
Format: Electronic Resources
Availability Online Library~1

System and Architecture Proceedings of CSI 2015

2025-12-10T11:00:12Z

Author Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources
Availability Online Library~1

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2025-12-10T11:00:12Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV

2025-12-10T11:00:12Z

Author Frangi, Alejandro F. editor. (orcid)0000-0002-2675-528X Schnabel, Julia A. editor. Davatzikos, Christos. editor. (orcid)0000-0002-1025-8561 Alberola-López, Carlos. editor. (orcid)0000-0003-3684-0055 Fichtinger, Gabor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00937-3
Format: Electronic Resources
Availability Online Library~1

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

2025-12-10T11:00:12Z

Author Joux, Antoine. editor. Nitaj, Abderrahmane. editor. Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89339-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

2025-12-10T11:00:12Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02619-6
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

2025-12-10T11:00:12Z

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: Electronic Resources
Availability Online Library~1

Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16–20, 2018, Proceedings

2025-12-10T11:00:12Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Aylward, Stephen. editor. (orcid)0000-0002-7862-8856 Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 Xiao, Yiming. editor. (orcid)0000-0002-0962-3525
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01045-4
Format: Electronic Resources
Availability Online Library~1

Avionics : development and implementation

2025-12-10T11:00:12Z

Author Spitzer, Cary R., editor.
Preferred Shelf Number TL695
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315222233 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Testing Complex and Embedded Systems

2025-12-10T11:00:12Z

Author Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number TK7895 .E42
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Dictionary of Computer Science, Engineering and Technology

2025-12-10T11:00:12Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1