Search Results for Computer systems -- Design. - Narrowed by: Electronic Library

Computer-aided drug design and delivery systems

2025-12-28T10:53:21Z

Author Nag, Ahindra. Dey, Baishakhi.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2025-12-28T10:53:21Z

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

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Performance modeling and design of computer systems : queueing theory in action

2025-12-28T10:53:21Z

Author Harchol-Balter, Mor, 1966- author.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508924
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers

2025-12-28T10:53:21Z

Author Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33760-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Design for reliability information and computer-based systems

2025-12-28T10:53:21Z

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

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2025-12-28T10:53:21Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Secure computer and network systems modeling, analysis and design

2025-12-28T10:53:21Z

Author Ye, Nong. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html John Wiley http://dx.doi.org/10.1002/9780470023273
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2025-12-28T10:53:21Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
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-28T10:53:21Z

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

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2025-12-28T10:53:21Z

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

Computer-aided design of analog integrated circuits and systems

2025-12-28T10:53:21Z

Author Rutenbar, Rob A., 1957- Gielen, Georges. Antao, Brian.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265766
Format: Electronic Resources
Availability Online Library~1

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems

2025-12-28T10:53:21Z

Author Garrett, Patrick H.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471221554 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001046730.html ebrary http://site.ebrary.com/id/10299172 HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/47971537.html
Format: Electronic Resources
Availability Online Library~1

Reliability of computer systems and networks fault tolerance, analysis and design

2025-12-28T10:53:21Z

Author Shooman, Martin L. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/047122460X Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2002265406.html
Format: Electronic Resources
Availability Online Library~1

The design of computer supported cooperative work and groupware systems

2025-12-28T10:53:21Z

Author Shapiro, Dan S. Tauber, Michael J. Traunmüller, R. (Roland)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444819987
Format: Electronic Resources
Availability Online Library~1

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

2025-12-28T10:53:21Z

Author Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780815513629
Format: Electronic Resources
Availability Online Library~1

Bioinformatics An Introductory Textbook

2025-12-28T10:53:21Z

Author Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-65036-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Engineering of Batteries

2025-12-28T10:53:21Z

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

Higher Education Computer Science A Manual of Practical Approaches

2025-12-28T10:53:21Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29386-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

2025-12-28T10:53:21Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35078-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

2025-12-28T10:53:21Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35081-8
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II

2025-12-28T10:53:21Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5847-4
Format: Electronic Resources
Availability Online Library~1

Gamification Design for Educational Contexts Theoretical and Practical Contributions

2025-12-28T10:53:21Z

Author Toda, Armando. editor. Cristea, Alexandra I. editor. Isotani, Seiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31949-5
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

2025-12-28T10:53:21Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39386-0
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science 5th International Conference, CIT&DS 2023, Volgograd, Russia, September 11-15, 2023, Proceedings

2025-12-28T10:53:21Z

Author Kravets, Alla G. editor. (orcid) Shcherbakov, Maxim V. editor. Groumpos, Peter P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44615-3
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-28T10:53:21Z

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

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II

2025-12-28T10:53:21Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4742-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III

2025-12-28T10:53:21Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4749-2
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I

2025-12-28T10:53:21Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4755-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV

2025-12-28T10:53:21Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4752-2
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V

2025-12-28T10:53:21Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4761-4
Format: Electronic Resources
Availability Online Library~1

Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

2025-12-28T10:53:21Z

Author Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42682-7
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-28T10:53:21Z

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

Cooperative Design, Visualization, and Engineering 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

2025-12-28T10:53:21Z

Author Luo, Yuhua. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43815-8
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-28T10:53:21Z

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

Nature-Inspired Intelligent Computing Techniques in Bioinformatics

2025-12-28T10:53:21Z

Author Raza, Khalid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6379-7
Format: Electronic Resources
Availability Online Library~1

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2

2025-12-28T10:53:21Z

Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44146-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning in Modeling and Simulation Methods and Applications

2025-12-28T10:53:21Z

Author Rabczuk, Timon. editor. Bathe, Klaus-Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36644-4
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Technologies for Information and Communication Proceedings of 3rd International Conference on Advanced Intelligent Technologies (ICAIT 2022)

2025-12-28T10:53:21Z

Author Nakamatsu, Kazumi. editor. Kountchev, Roumen. editor. Patnaik, Srikanta. editor. Abe, Jair M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5203-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

2025-12-28T10:53:21Z

Author Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27199-1
Format: Electronic Resources
Availability Online Library~1

Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2025-12-28T10:53:21Z

Author Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34411-4
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2025-12-28T10:53:21Z

Author Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34668-2
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2025-12-28T10:53:21Z

Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35132-7
Format: Electronic Resources
Availability Online Library~1

Research Techniques for Computer Science, Information Systems and Cybersecurity

2025-12-28T10:53:21Z

Author Mbanaso, Uche M. author. Abrahams, Lucienne. author. Okafor, Kennedy Chinedu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30031-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science for Engineering and Education VI

2025-12-28T10:53:21Z

Author Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36118-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2025-12-28T10:53:21Z

Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7874-6
Format: Electronic Resources
Availability Online Library~1

Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022

2025-12-28T10:53:21Z

Author Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5974-7
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 2

2025-12-28T10:53:21Z

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

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1

2025-12-28T10:53:21Z

Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44097-7
Format: Electronic Resources
Availability Online Library~1

Green Transportation and Low Carbon Mobility Safety Proceedings of the 12th International Conference on Green Intelligent Transportation Systems and Safety

2025-12-28T10:53:21Z

Author Wang, Wuhong. editor. Wu, Jianping. editor. Jiang, Xiaobei. editor. Li, Ruimin. editor. Zhang, Haodong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5615-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems

2025-12-28T10:53:21Z

Author Kukkala, Vipin Kumar. editor. Pasricha, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28016-0
Format: Electronic Resources
Availability Online Library~1

Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems

2025-12-28T10:53:21Z

Author Waguespack, Leslie J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03925-7
Format: Electronic Resources
Availability Online Library~1

Designing user interfaces for an aging population : towards universal design

2025-12-28T10:53:21Z

Author Johnson, Jeff, 1941- author. Finn, Kate, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128044674
Format: Electronic Resources
Availability Online Library~1

Fundamentals of computer vision

2025-12-28T10:53:21Z

Author Snyder, Wesley E., author. Qi, Hairong, 1970- author.
Preferred Shelf Number TA1632 .S69 2017
Electronic Access https://doi.org/10.1017/9781316882641
Format: Electronic Resources
Availability Online Library~1

Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML

2025-12-28T10:53:21Z

Author Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Preferred Shelf Number ONLINE(355438.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

2025-12-28T10:53:21Z

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

Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings

2025-12-28T10:53:21Z

Author MacTavish, Thomas. editor. Basapur, Santosh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20306-5
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings

2025-12-28T10:53:21Z

Author Baloian, Nelson. editor. Zorian, Yervant. editor. Taslakian, Perouz. editor. Shoukouryan, Samvel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22747-4
Format: Electronic Resources
Availability Online Library~1

Numerical Methods for Reliability and Safety Assessment Multiscale and Multiphysics Systems

2025-12-28T10:53:21Z

Author Kadry, Seifedine. editor. El Hami, Abdelkhalak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07167-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2025-12-28T10:53:21Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Genetic Programming Applications

2025-12-28T10:53:21Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2025-12-28T10:53:21Z

Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22689-7
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2025-12-28T10:53:21Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23766-4
Format: Electronic Resources
Availability Online Library~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2025-12-28T10:53:21Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06764-3
Format: Electronic Resources
Availability Online Library~1

Design Computing and Cognition '14

2025-12-28T10:53:21Z

Author Gero, John S. editor. Hanna, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14956-1
Format: Electronic Resources
Availability Online Library~1

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

2025-12-28T10:53:21Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06773-5
Format: Electronic Resources
Availability Online Library~1

Building dependable distributed systems

2025-12-28T10:53:21Z

Author Zhao, Wenbing, Ph.D.
Preferred Shelf Number ONLINE(342007.1)
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=63478 Cover image http://catalogimages.wiley.com/images/db/jimages/9781118549438.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1650851 ebrary http://site.ebrary.com/id/10849268 John Wiley http://dx.doi.org/10.1002/9781118912744
Format: Electronic Resources
Availability Online Library~1

Application of Computational Techniques in Pharmacy and Medicine

2025-12-28T10:53:21Z

Author Gorb, Leonid. editor. Kuz'min, Victor. editor. Muratov, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9257-8
Format: Electronic Resources
Availability Online Library~1

Reframing Information Architecture

2025-12-28T10:53:21Z

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

Embedded systems architecture a comprehensive guide for engineers and programmers

2025-12-28T10:53:21Z

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

Magnetic actuators and sensors

2025-12-28T10:53:21Z

Author Brauer, John R., 1943-
Preferred Shelf Number ONLINE(341778.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1565913 John Wiley http://dx.doi.org/10.1002/9781118779262
Format: Electronic Resources
Availability Online Library~1

Computers as components principles of embedded computing system design

2025-12-28T10:53:21Z

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

Sketching user experiences

2025-12-28T10:53:21Z

Author Carpendale, Sheelagh. Greenberg, Saul.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123819598
Format: Electronic Resources
Availability Online Library~1

Fast and effective embedded systems design applying the ARM mbed

2025-12-28T10:53:21Z

Author Toulson, Rob. Wilmshurst, Tim.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080977683
Format: Electronic Resources
Availability Online Library~1

Intersection how enterprise design bridges the gap between business, technology, and people

2025-12-28T10:53:21Z

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

Embedded systems hardware for software engineers

2025-12-28T10:53:21Z

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

Embedded core design with FPGAs

2025-12-28T10:53:21Z

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

Mission-critical and safety-critical systems handbook design and development for embedded applications

2025-12-28T10:53:21Z

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

Designing embedded systems with PIC microcontrollers principles and applications

2025-12-28T10:53:21Z

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

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

2025-12-28T10:53:21Z

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

User experience re-mastered your guide to getting the right design

2025-12-28T10:53:21Z

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

Low-power design of nanometer FPGAs architecture and EDA

2025-12-28T10:53:21Z

Author Hassan, Hassan, 1979- Anis, Mohab.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123744388
Format: Electronic Resources
Availability Online Library~1

The art of designing embedded systems

2025-12-28T10:53:21Z

Author Ganssle, Jack G.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750686440
Format: Electronic Resources
Availability Online Library~1

Embedded systems

2025-12-28T10:53:21Z

Author Ganssle, Jack G. Ball, Stuart R., 1956-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750686259
Format: Electronic Resources
Availability Online Library~1

Embedded systems

2025-12-28T10:53:21Z

Designing embedded systems with PIC microcontrollers principles and applications

2025-12-28T10:53:21Z

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

Customizable embedded processors design technologies and applications

2025-12-28T10:53:21Z

Author Ienne, Paolo. Leupers, Rainer.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123695260
Format: Electronic Resources
Availability Online Library~1

Designing SOCs with configured cores unleashing the Tensilica Xtensa and diamond cores

2025-12-28T10:53:21Z

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

Applied control theory for embedded systems

2025-12-28T10:53:21Z

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

Principles of Embedded Networked Systems Design

2025-12-28T10:53:21Z

Author Pottie, Gregory J.. Kaiser, William J..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Implementing 802.11 with microcontrollers wireless networking for embedded systems designers

2025-12-28T10:53:21Z

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

Embedded systems design using the Rabbit 3000 microprocessor interfacing, networking, and application design

2025-12-28T10:53:21Z

Author Hyder, Kamal. Perrin, Bob.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678728
Format: Electronic Resources
Availability Online Library~1

Analog interfacing to embedded microprocessor systems

2025-12-28T10:53:21Z

Author Ball, Stuart R., 1956- Ball, Stuart R., 1956- Analog inter-facing to embedded microprocessors.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677233
Format: Electronic Resources
Availability Online Library~1

Modeling embedded systems and SoC's concurrency and time in models of computation

2025-12-28T10:53:21Z

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

Embedded computing a VLIW approach to architecture, compilers and tools

2025-12-28T10:53:21Z

Author Fisher, Joseph A. Faraboschi, Paolo. Young, Clifford, 1947-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558607668
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic for embedded systems applications

2025-12-28T10:53:21Z

Author Ibrahim, Ahmad M., 1951-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: Electronic Resources
Availability Online Library~1

Embedded systems design using the TI MSP430 series

2025-12-28T10:53:21Z

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

Embedded systems design

2025-12-28T10:53:21Z

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

Practical embedded controllers design and troubleshooting with the Motorolla [i.e. Motorola] 68HC11

2025-12-28T10:53:21Z

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

Embedded microprocessor systems real world design

2025-12-28T10:53:21Z

Author Ball, Stuart R., 1956-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750675345
Format: Electronic Resources
Availability Online Library~1

Statistical pattern recognition

2025-12-28T10:53:21Z

Author Webb, A. R. (Andrew R.)
Preferred Shelf Number ONLINE(318818.1)
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=158121 ebrary http://site.ebrary.com/id/10307938 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=83749 Google http://books.google.com/books?id=Gok-AQAAIAAJ
Format: Electronic Resources
Availability Online Library~1

Embedded controller hardware design

2025-12-28T10:53:21Z

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

The art of designing embedded systems

2025-12-28T10:53:21Z

Author Ganssle, Jack G.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750698696
Format: Electronic Resources
Availability Online Library~1