Limit Search Results
Author
SpringerLink (Online service)
(437)
Bernardo, Marco. editor.
(12)
Taylor and Francis.
(11)
Shishkov, Boris. editor.
(9)
Kamara, Seny F. editor.
(8)
Language
Publication Date
-
Subject
Software engineering.
(108)
Electronic books.
(99)
Computational intelligence.
(71)
Artificial intelligence.
(58)
Computer science.
(41)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
780 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Software design methodology
Software design methodology
Author 
Zhu, Hong, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660754
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Readings in hardware/software co-design
Readings in hardware/software co-design
Author 
De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55139-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
Author 
Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software defined networking : design and deployment
Software defined networking : design and deployment
Author 
Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number 
TK5105.5833 .M67 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software essentials : design and construction
Software essentials : design and construction
Author 
Dingle, Adair, author.
Preferred Shelf Number 
QA76.76 .D47 D545 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Engineering Techniques: Design for Quality
Software Engineering Techniques: Design for Quality
Author 
Sacha, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-39388-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software design for engineers and scientists
Software design for engineers and scientists
Author 
Robinson, John A. (John Allen), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software architecture design patterns in Java
Software architecture design patterns in Java
Author 
Kuchana, Partha., author.
Preferred Shelf Number 
QA76.73 .J38 K83 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Flight simulation software : design, development and testing
Flight simulation software : design, development and testing
Author 
Allerton, David, author.
Preferred Shelf Number 
TL712.5 .A398 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS
RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS
Author 
Bhattacharya, Suparna. Gopinath, Kanchi. Voigt, Doug.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315167220
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Exploring security in software architecture and design
Exploring security in software architecture and design
Author 
Felderer, Michael, editor. Scandariato, Riccardo, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6313-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Scientific Software Design The Object-Oriented Way
Scientific Software Design The Object-Oriented Way
Author 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Software specification and design : an engineering approach
Software specification and design : an engineering approach
Author 
Munson, John C., author.
Preferred Shelf Number 
QA76.76 .D47 M853 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.
GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.
Author 
SETHI, V.P.
Preferred Shelf Number 
SB415
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003481126
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96775-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96380-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Hardware Software Co-design of Epileptic Seizure Prediction Systems
Hardware Software Co-design of Epileptic Seizure Prediction Systems
Author 
Varnosfaderani, Shiva Maleki. author. Sarhan, Nabil J. author. Alhawari, Mohammad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95357-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76212-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64073-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Quantum Software Aspects of Theory and System Design
Quantum Software Aspects of Theory and System Design
Author 
Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64136-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.
SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.
Author 
Wilson, Greg, 1963- author.
Preferred Shelf Number 
QA76.76 .P37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032725239
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.
COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.
Author 
Long, Stephen I.
Preferred Shelf Number 
TK7874.78
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032629773
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
Author 
Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42202-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
Author 
Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25817-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
Author 
Hu, Chenglie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Author 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Software design by example : a tool-based introduction with JavaScript
Software design by example : a tool-based introduction with JavaScript
Author 
Wilson, Greg, 1963- author.
Preferred Shelf Number 
QA76.76 .P37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003317807
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue
Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue
Author 
Coker, A. Kayode, author. Sotudeh-Gharebagh, Rahmat, 1964- author.
Preferred Shelf Number 
TP155.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119871163
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Properties for design of composite structures : theory and implementation using software
Properties for design of composite structures : theory and implementation using software
Author 
McCartney, Neil, author.
Preferred Shelf Number 
TA418.9 .C6 M3495 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118789797
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings
Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94214-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Refactoring for software design smells managing technical debt
Refactoring for software design smells managing technical debt
Author 
Suryanarayana, Girish, author. Samarthyam, Ganesh, author. Sharma, Tushar, author.
Preferred Shelf Number 
ONLINE(355384.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128013977
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
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: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20052-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Author 
Seffah, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Design Science Methodology for Information Systems and Software Engineering
Design Science Methodology for Information Systems and Software Engineering
Author 
Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Software designers in action : a human-centric look at design work
Software designers in action : a human-centric look at design work
Author 
Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.
Preferred Shelf Number 
QA76.76 .D47 S6185 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Embedded and networking systems : design, software, and implementation
Embedded and networking systems : design, software, and implementation
Author 
Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number 
TK7895 .E42 E535 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334438.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37478-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Enterprise software architecture and design entities, services, and resources
Enterprise software architecture and design entities, services, and resources
Author 
Duggan, Dominic.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29788-5
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Computer- Aided Design in Power Engineering Application of Software Tools
Computer- Aided Design in Power Engineering Application of Software Tools
Author 
Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30206-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Software Radio Sampling Rate Selection, Design and Synchronization
Software Radio Sampling Rate Selection, Design and Synchronization
Author 
Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0113-1
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Design of multithreaded software the entity-life modeling approach
Design of multithreaded software the entity-life modeling approach
Author 
Sandén, Bo. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Design patterns for embedded systems in C an embedded software engineering toolkit
Design patterns for embedded systems in C an embedded software engineering toolkit
Author 
Douglass, Bruce Powel.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177078
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
Author 
Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19294-4
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
Author 
Tchounikine, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20003-8
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Author 
Okada, Kenichi. editor. Kousai, Shouhei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Arithmetic Optimization Techniques for Hardware and Software Design
Arithmetic Optimization Techniques for Hardware and Software Design
Author 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Author 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Author 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design
Multicore Systems On-Chip: Practical Software/Hardware Design
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software
Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software
Author 
Simon, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37329-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Author 
Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Software VNA and microwave network design and characterisation
Software VNA and microwave network design and characterisation
Author 
Wu, Zhipeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html
John Wiley http://dx.doi.org/10.1002/9780470513217
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Modern industrial automation software design principles and real-world applications
Modern industrial automation software design principles and real-world applications
Author 
Wang, Lingfen. Tan, Kay Chen.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for 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
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
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Software Engineering 3 Domains, Requirements, and Software Design
Software Engineering 3 Domains, Requirements, and Software Design
Author 
Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Author 
Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-39538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Co-verification of hardware and software for ARM SoC design
Co-verification of hardware and software for ARM SoC design
Author 
Andrews, Jason R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for 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
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
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Flexible Software Design : Systems Development for Changing Requirements.
Flexible Software Design : Systems Development for Changing Requirements.
Author 
Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number 
QA76.9 .S88
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429117053
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Dedicated digital processors methods in hardware/software system design
Dedicated digital processors methods in hardware/software system design
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: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Web application design handbook best practices for web-based software
Web application design handbook best practices for web-based software
Author 
Fowler, Susan L., 1953- Stanwick, Victor R., 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607521
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Interaction design for complex problem solving developing useful and usable software
Interaction design for complex problem solving developing useful and usable software
Author 
Mirel, Barbara.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608313
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Author 
Zhuk, Jeff.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Introduction to IP and ATM design and performance with applications analysis software
Introduction to IP and ATM design and performance with applications analysis software
Author 
Pitts, J. M. (Jonathan M.) Schormans, J. A. (John A.) Pitts, J. M. (Jonathan M.). Introduction to ATM design and performance. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841664
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number 
QA76.9 .A25 I54165 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Get Into game dev : tech interview tactics
Get Into game dev : tech interview tactics
Author 
Ventures, Matthew, author.
Preferred Shelf Number 
GV1469.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003565550
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Hybrid communication systems for future 6G and beyond : visible light communication & radio over fiber technology
Hybrid communication systems for future 6G and beyond : visible light communication & radio over fiber technology
Author 
Kashif, Rao, author.
Preferred Shelf Number 
TK5103.59 .K367 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394230310
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Edge computing acceleration : from 5G to 6G and beyond
Edge computing acceleration : from 5G to 6G and beyond
Author 
Hung, Patrick, author. Kan, Hongwei, author. Knopf, Greg, author.
Preferred Shelf Number 
QA76.9 .A73 H86 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119813873
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Intelligent robots and cobots : applications for industry 5.0
Intelligent robots and cobots : applications for industry 5.0
Author 
Ramasamy, V., editor. Pālamurukan̲, Ca., editor. Peng, Sheng-Lung, editor.
Preferred Shelf Number 
TS191.8 .I58 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394198252
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Multimodal intelligent sensing in modern applications
Multimodal intelligent sensing in modern applications
Author 
Ur-Rehman, Masood. Zoha, Ahmed. Jamshed, Muhammad Ali. Ramzan, Naeem.
Preferred Shelf Number 
TK7871.676
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257744
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Wireless identification and sensing systems for harsh and severe environments
Wireless identification and sensing systems for harsh and severe environments
Author 
Tedjini, Smaïl, editor. Palazzi, Valentina, editor.
Preferred Shelf Number 
TK7872 .D48 W57 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394169108
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Natural language processing for software engineering
Natural language processing for software engineering
Author 
Chakrawarti, Rajesh Kuma, editor.
Preferred Shelf Number 
QA76.9 .N38 N38 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272464
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Micro electromechanical systems (MEMS) : practical lab manual
Micro electromechanical systems (MEMS) : practical lab manual
Author 
Kumar, Sanjeet. Bhaiyya, Manish. Amreen, Khairunnisa. Kumar, Pavar Sai. Kumar, Abhishek.
Preferred Shelf Number 
TK7875 .K86 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229864
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Quantum computing models for cybersecurity and wireless communications
Quantum computing models for cybersecurity and wireless communications
Author 
Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Preferred Shelf Number 
QA76.9 .A25 Q36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for RF and microwave engineering : fundamentals of wireless communications
RF and microwave engineering : fundamentals of wireless communications
Author 
Gustrau, Frank, author.
Preferred Shelf Number 
TK6560 .G87 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394283491
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Resilient community microgrids
Resilient community microgrids
Author 
Swathika, O. V. Gnana, editor. Karthikeyan, K., editor.
Preferred Shelf Number 
TK3106 .R47 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272549
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Edge computing : systems and applications
Edge computing : systems and applications
Author 
Xu, Lanyu, author. Shi, Weisong, author.
Preferred Shelf Number 
QA76.583 .X83 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394285860
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Advanced techniques in porous structure design for additive manufacturing
Advanced techniques in porous structure design for additive manufacturing
Author 
Ali, Musaddiq Al, author.
Preferred Shelf Number 
TA418.9 .P6 A39 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394312719
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Reception of weak radio signals from space
Reception of weak radio signals from space
Author 
Kasal, Miroslav, 1947- author.
Preferred Shelf Number 
TK6563 .K37 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394292769
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Green computational intelligence : sustainable strategies and emerging technologies
Green computational intelligence : sustainable strategies and emerging technologies
Author 
Pathak, Nitish, editor.
Preferred Shelf Number 
QA76.9 .E58 G74 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394383658
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Model based system engineering : theoretical foundations
Model based system engineering : theoretical foundations
Author 
Koudri, Ali, author.
Preferred Shelf Number 
TA168
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345106
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Psychometrics, Test Theory, and the Latent Factors Model.
Psychometrics, Test Theory, and the Latent Factors Model.
Author 
Blahus, Pet. Blahus, Petr/Brown, Bruce L. Bunderson, C. Victor.
Preferred Shelf Number 
XX(600387.1)
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119312246
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
Author 
Li, Wei. author. Yuan, Xin'an. author. Zhao, Jianming. author. Yin, Xiaokang. author. Li, Xiao. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Author 
Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Author 
Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01881-6
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01884-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01901-1
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VIII
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VIII
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01913-4
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part I
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part I
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01855-7
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part II
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part II
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01878-6
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01887-8
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Analog Filters Handbook using APL-2
Analog Filters Handbook using APL-2
Author 
Fernández Marzalo, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80987-3
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Method validation in pharmaceutical analysis : a guide to best practice
Method validation in pharmaceutical analysis : a guide to best practice
Author 
Ermer, Joachim, editor. Nethercote, Phil, editor.
Preferred Shelf Number 
RS187
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Emerging pathways of vaccine adjuvants : a nonspecific stimulant of the immune system
Emerging pathways of vaccine adjuvants : a nonspecific stimulant of the immune system
Author 
Chavda, Vivek P., editor. Apostolopoulos, Vasso, editor.
Preferred Shelf Number 
QR189 .E44 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394237654
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Controller design for industrial applications
Controller design for industrial applications
Author 
Mondal, Arindam, editor. Ganguli, Souvik, editor.
Preferred Shelf Number 
TJ223 .M53 C66 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287109
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Fundamentals of VHDL for FPGA programming using Vivado
Fundamentals of VHDL for FPGA programming using Vivado
Author 
Pakdel, Majid, author.
Preferred Shelf Number 
TK7885.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394343126
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Intelligent scheduling of tasks for cloud-edge-device computing systems
Intelligent scheduling of tasks for cloud-edge-device computing systems
Author 
Hu, Biao, author.
Preferred Shelf Number 
QA76.585 .H83 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394361656
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Enterprise Design, Operations, and Computing 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers
Enterprise Design, Operations, and Computing 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers
Author 
Borbinha, José. editor. (orcid)0000-0001-5463-8438 Prince Sales, Tiago. editor. (orcid)0000-0002-5385-5761 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Schnellmann, Marianne. editor. (orcid)0000-0002-3399-2814
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78338-8
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach
Object-Oriented Analysis, Design and Implementation An Integrated Approach
Author 
Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Cognitive Memory Human Memory / Machine Memory
Cognitive Memory Human Memory / Machine Memory
Author 
Widrow, Bernard. author. Katz, Edward P. author. (orcid)0000-0003-2784-6412 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Data Protection for Software Development and IT A Practical Introduction
Data Protection for Software Development and IT A Practical Introduction
Author 
Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70639-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Author 
Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85134-6
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Transactions on Pattern Languages of Programming V
Transactions on Pattern Languages of Programming V
Author 
Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Author 
Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3201-5
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for SOC-Based Solutions in Emerging Application Domains
SOC-Based Solutions in Emerging Application Domains
Author 
Chakravarthi, Veena S. author. (orcid)0000-0002-8703-2376 Koteshwar, Shivananda R. author. (orcid)0000-0003-4299-4069 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Neuromorphic Computing Principles and Organization
Neuromorphic Computing Principles and Organization
Author 
Ben Abdallah, Abderazek. author. Dang, Khanh N. author. (orcid)0000-0001-6702-3870 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83089-1
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I
Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I
Author 
Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4503-9
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II
Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II
Author 
Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Boosting Software Development Using Machine Learning
Boosting Software Development Using Machine Learning
Author 
Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 2nd International Conference on Optimization Driven Architectural Design (OPTARCH)
Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 2nd International Conference on Optimization Driven Architectural Design (OPTARCH)
Author 
Lagaros, Nikos D. editor. (orcid)0000-0001-6114-9632 Alrousan, Rajai Z. editor. Abdalla, Khairedin M. editor. Phocas, Marios C. editor. Marano, Giuseppe Carlo. editor. (orcid)0000-0001-8472-2956
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92754-6
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2
Author 
Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94852-7
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Atlas of Virtual Surgical Planning and 3D Printing for Cranio-Maxillo-Facial Surgery
Atlas of Virtual Surgical Planning and 3D Printing for Cranio-Maxillo-Facial Surgery
Author 
Tel, Alessandro. editor. (orcid)0000-0001-8395-5272 Robiony, Massimo. editor. (orcid)0000-0003-2178-5022 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Multivariable Control Engineering Problems and their Solutions with GNU Octave
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering Fundamentals and Functions for Tensor/Matrix Algorithms of the Finite Element Method
Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering Fundamentals and Functions for Tensor/Matrix Algorithms of the Finite Element Method
Author 
Meissner, Udo F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59302-4
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Road Survey and Design
Road Survey and Design
Author 
Yu, Bin. author. Cheng, Jianchuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4836-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Advances on Broad-Band Wireless Computing, Communication and Applications The 19th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA-2024)
Advances on Broad-Band Wireless Computing, Communication and Applications The 19th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA-2024)
Author 
Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76452-3
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Author 
Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Handbook of Computer Architecture
Handbook of Computer Architecture
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9314-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part III
Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part III
Author 
Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4509-1
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
Author 
Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94544-1
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Applications of Computational Tools in Drug Design and Development
Applications of Computational Tools in Drug Design and Development
Author 
Rao G., S.N. Koteswara. editor. Alavala, Rajasekhar Reddy. editor. (orcid)0000-0002-2610-8111 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1
Author 
Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94845-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Human-Computer Interaction and Augmented Intelligence The Paradigm of Interactive Machine Learning in Educational Software
Human-Computer Interaction and Augmented Intelligence The Paradigm of Interactive Machine Learning in Educational Software
Author 
Troussas, Christos. author. Krouska, Akrivi. author. (orcid)0000-0002-8620-5255 Sgouropoulou, Cleo. author. (orcid)0000-0001-8173-2622 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84453-9
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Communication systems engineering with GNU Radio : a hands-on approach
Communication systems engineering with GNU Radio : a hands-on approach
Author 
Friedt, Jean-Michel, author. Boeglen, Hervé, author.
Preferred Shelf Number 
TK5103.4875 .F75 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394218912
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Optimized computational intelligence driven decision-making : theory, application and challenges
Optimized computational intelligence driven decision-making : theory, application and challenges
Preferred Shelf Number 
Q342 .O68 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242566
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Biomedical devices and sensors
Biomedical devices and sensors
Author 
Molimard, Jérôme, author.
Preferred Shelf Number 
R856 .M65 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317172
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Intelligent Systems, Business, and Innovation Research
Intelligent Systems, Business, and Innovation Research
Author 
Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36895-0
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023
Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023
Author 
Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7077-3
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment
Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment
Author 
Li, Xiuqing. author. Gao, Jun. author. Li, Wen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Author 
Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51692-4
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Author 
Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44412-8
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for 25th International Symposium on Measurements and Control in Robotics Proceedings of ISMCR 2023
25th International Symposium on Measurements and Control in Robotics Proceedings of ISMCR 2023
Author 
Doroftei, Ioan. editor. (orcid)0000-0003-0054-5791 Kiss, Balint. editor. (orcid)0000-0002-5532-3435 Baudoin, Yvan. editor. Taqvi, Zafar. editor. Keller Fuchter, Simone. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51085-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Active Anti-Roll Bar Control Design for Heavy Vehicles
Active Anti-Roll Bar Control Design for Heavy Vehicles
Author 
Van Tan, Vu. author. Sename, Olivier. author. Gaspar, Peter. author. Do, Trong Tu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Textbook of Medical Statistics For Medical Students
Textbook of Medical Statistics For Medical Students
Author 
Guo, Xiuhua. editor. Xue, Fuzhong. editor. (orcid)0000-0003-0378-7956 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7390-3
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Software Architectures Topics Usually Missed in Textbooks
Software Architectures Topics Usually Missed in Textbooks
Author 
Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51335-0
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology
Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology
Author 
Femmam, Smain. editor. (orcid)0000-0001-5366-0481 Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59619-3
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Large Language Models in Cybersecurity Threats, Exposure and Mitigation
Large Language Models in Cybersecurity Threats, Exposure and Mitigation
Author 
Kucharavy, Andrei. editor. Plancherel, Octave. editor. Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54827-7
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Author 
Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62638-8
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Recent Developments in Mechanics and Design Select Proceedings of INCOME 2023
Recent Developments in Mechanics and Design Select Proceedings of INCOME 2023
Author 
Singh, D. K. editor. Hegde, Shriram. editor. Mishra, Ashutosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Learning Java A Test-Driven Approach
Learning Java A Test-Driven Approach
Author 
Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66638-4
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Cyber-Physical Systems Data Science, Modelling and Software Optimization
Cyber-Physical Systems Data Science, Modelling and Software Optimization
Author 
Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Introduction to Digital Control An Integrated Approach
Introduction to Digital Control An Integrated Approach
Author 
Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Intelligent Computing, Smart Communication and Network Technologies First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings
Intelligent Computing, Smart Communication and Network Technologies First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings
Author 
Dassan, Paulraj. editor. (orcid)0000-0002-8853-9945 Thirumaaran, Sethukarasi. editor. (orcid)0000-0002-9433-2609 Subramani, Neelakandan. editor. (orcid)0000-0003-2337-8471 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75957-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Detection of Karst Voids at Deep Pile Foundation
Detection of Karst Voids at Deep Pile Foundation
Author 
Liu, Liu. author. Shi, Zhenming. author. Peng, Ming. author. (orcid)0000-0001-9134-4391 Li, Shaojun. author. (orcid)0000-0002-9956-0205 Tao, Fengjuan. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5834-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Partition of unity methods
Partition of unity methods
Author 
Bordas, Stéphane P.A., author. Menk, Alexander, author. Natarajan, Sundararajan, author.
Preferred Shelf Number 
TA347 .F5 B67 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535875
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Infrastructure robotics : methodologies, robotic systems and applications
Infrastructure robotics : methodologies, robotic systems and applications
Author 
Liu, Dikai, editor.
Preferred Shelf Number 
TJ211 .I48144 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Human machine interface : making healthcare digital
Human machine interface : making healthcare digital
Author 
Malviya, Rishabha, editor. Sundram, Sonali, editor. Prajapati, Bhupendra, editor Singh, Sudarshan Kumar, editor
Preferred Shelf Number 
R859.7 .A78 H86 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200344
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Professional C++
Professional C++
Author 
Gregoire, Marc (Software engineer), author.
Preferred Shelf Number 
QA76.73 .C153 G733 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Effective vulnerability management : managing risk in the vulnerable digital ecosystem
Effective vulnerability management : managing risk in the vulnerable digital ecosystem
Author 
Hughes, Chris (Christopher Matthew), author. Robinson, Nikki, author.
Preferred Shelf Number 
QA76.9 .A25 H84 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277155
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Innovative Technologies and Signal Processing in Perinatal Medicine Volume 2
Innovative Technologies and Signal Processing in Perinatal Medicine Volume 2
Author 
Pani, Danilo. editor. (orcid)0000-0003-1924-0875 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Practical Control of Electric Machines for EV/HEVs Design, Analysis, and Implementation
Practical Control of Electric Machines for EV/HEVs Design, Analysis, and Implementation
Author 
Shen, Shuiwen. author. Chen, Qiong-zhong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38161-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Use Cases and Emerging Challenges
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Use Cases and Emerging Challenges
Author 
Pasricha, Sudeep. editor. Shafique, Muhammad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40677-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Software Optimizations and Hardware/Software Codesign
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Software Optimizations and Hardware/Software Codesign
Author 
Pasricha, Sudeep. editor. Shafique, Muhammad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Quantum Computing Circuits, Systems, Automation and Applications
Quantum Computing Circuits, Systems, Automation and Applications
Author 
Thapliyal, Himanshu. editor. Humble, Travis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37966-6
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Author 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
Author 
Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64576-1
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62846-7
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62849-8
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Author 
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Author 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Business Intelligence and Information Technology Proceedings of BIIT 2023
Business Intelligence and Information Technology Proceedings of BIIT 2023
Author 
Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Zheng, Dequan. editor. Zhao, Zhijie. editor. Fan, Zhipeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3980-6
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Understanding the Digital World Modeling with HERAKLIT
Understanding the Digital World Modeling with HERAKLIT
Author 
Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61898-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Author 
Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66673-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66676-6
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Experimentation in Software Engineering
Experimentation in Software Engineering
Author 
Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-69306-3
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Integrated Systems: Data Driven Engineering
Integrated Systems: Data Driven Engineering
Author 
Alam, Mohammad-Reza. editor. (orcid)0000-0002-9730-0717 Fathi, Madjid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Computational drug discovery : methods and applications
Computational drug discovery : methods and applications
Author 
Poongavanam, Vasanthanathan, editor. Ramaswamy, Vijayan, editor
Preferred Shelf Number 
RS420
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527840748
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Technology innovation for the circular economy : recycling, remanufacturing, design, system analysis and logistics
Technology innovation for the circular economy : recycling, remanufacturing, design, system analysis and logistics
Author 
Nasr, Nabil (Engineering professor), editor.
Preferred Shelf Number 
HC79 .E5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214297
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Digital convergence in antenna designs : applications for real-time solutions
Digital convergence in antenna designs : applications for real-time solutions
Author 
Srividya, P., editor.
Preferred Shelf Number 
TK7871.6 .D54 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Computational intelligence in bioprinting
Computational intelligence in bioprinting
Author 
Gangadevi, E., editor.
Preferred Shelf Number 
R857 .B525 C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394204878
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Using Artificial Intelligence to Solve Transportation Problems
Using Artificial Intelligence to Solve Transportation Problems
Author 
Sładkowski, Aleksander. editor. (orcid)0000-0002-1041-4309 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69487-5
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Active System Control Design of System Resilience
Active System Control Design of System Resilience
Author 
Schagaev, Igor. author. Kirk, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77181-1
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Light sheet fluorescence microscopy
Light sheet fluorescence microscopy
Author 
Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Preferred Shelf Number 
QH212 .F55
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Quantification, validation and uncertainty in analytical sciences : an analyst's companion
Quantification, validation and uncertainty in analytical sciences : an analyst's companion
Author 
Feinberg, Max, author. Rudaz, Serge, author.
Preferred Shelf Number 
Q180.55 .Q36
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527845279
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Control and Safety Analysis of Intensified Chemical Processes
Control and Safety Analysis of Intensified Chemical Processes
Author 
Patle, Dipesh Shikchand, editor. Rangaiah, Gade Pandu, editor.
Preferred Shelf Number 
TP150 .S24 P38 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843657
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for CyberSecurity in a DevOps Environment From Requirements to Monitoring
CyberSecurity in a DevOps Environment From Requirements to Monitoring
Author 
Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57259-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Facilities Planning and Design
Facilities Planning and Design
Author 
Garcia-Diaz, Alberto. author. Smith(Deceased), J. MacGregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54259-6
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport
Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport
Author 
Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68703-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Open access databases and datasets for drug discovery
Open access databases and datasets for drug discovery
Author 
Daina, Antoine, editor. Przewosny, Michael, editor. Zoete, Vincent, editor.
Preferred Shelf Number 
RM301.25 .O64 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527830497
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Accelerators for convolutional neural networks
Accelerators for convolutional neural networks
Author 
Munir, Arslan, author. Kong, Joonho, author. Qureshi, Mahmood Azhar, author.
Preferred Shelf Number 
QA76.87 .M86 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171910
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for The accidental CIO : a lean and agile playbook for IT leaders
The accidental CIO : a lean and agile playbook for IT leaders
Author 
Millett, Scott, author.
Preferred Shelf Number 
HD30.2 .M55 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119612124
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Towards Heterogeneous Multi-core Systems-on-Chip for Edge Machine Learning Journey from Single-core Acceleration to Multi-core Heterogeneous Systems
Towards Heterogeneous Multi-core Systems-on-Chip for Edge Machine Learning Journey from Single-core Acceleration to Multi-core Heterogeneous Systems
Author 
Jain, Vikram. author. (orcid)0000-0002-1267-1683 Verhelst, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Hardware Architectures
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Hardware Architectures
Author 
Pasricha, Sudeep. editor. Shafique, Muhammad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19568-6
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Advances on Broad-Band and Wireless Computing, Communication and Applications Proceedings of the 18th International Conference on Broad-Band and Wireless Computing, Communication and Applications (BWCCA-2023)
Advances on Broad-Band and Wireless Computing, Communication and Applications Proceedings of the 18th International Conference on Broad-Band and Wireless Computing, Communication and Applications (BWCCA-2023)
Author 
Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Author 
Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47705-8
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Optimal Design and Control of Multibody Systems Proceedings of the IUTAM Symposium
Optimal Design and Control of Multibody Systems Proceedings of the IUTAM Symposium
Author 
Nachbagauer, Karin. editor. (orcid)0000-0002-0015-0557 Held, Alexander. editor. (orcid)0000-0001-9730-3507 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50000-8
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings
Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings
Author 
Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Karastoyanova, Dimka. editor. van Sinderen, Marten. editor. Moreira, João. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46587-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Author 
Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47630-3
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
Author 
Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51674-0
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Microwave Numerical Solutions
Microwave Numerical Solutions
Author 
Cantaragiu, Ștefan. author. (orcid)0009-0005-4760-958X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Biosignal Acquisition and Processing A Project-Based Learning Approach
Biosignal Acquisition and Processing A Project-Based Learning Approach
Author 
da Silva, Hugo Humberto Plácido. author. Silveira Gamboa, Hugo Filipe. author. Sousa Varandas, Rui Pedro. author. dos Santos Espadanal Ramos, Guilherme Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35187-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Technologies for Smart Cities
Technologies for Smart Cities
Author 
Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
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: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Materials, Design and Manufacturing for Sustainable Environment Select Proceedings of ICMDMSE 2022
Materials, Design and Manufacturing for Sustainable Environment Select Proceedings of ICMDMSE 2022
Author 
Natarajan, Elango. editor. Vinodh, S. editor. Rajkumar, V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3053-9
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Concept Building in Fisheries Data Analysis
Concept Building in Fisheries Data Analysis
Author 
Das, Basant Kumar. author. Jha, Dharm Nath. author. Sahu, Sanjeev Kumar. author. Yadav, Anil Kumar. author. Raman, Rohan Kumar. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4411-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Author 
Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Novikov/Conformal Gearing Scientific Theory and Practice
Novikov/Conformal Gearing Scientific Theory and Practice
Author 
Radzevich, Stephen P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-10019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Artificial Intelligence and Online Engineering Proceedings of the 19th International Conference on Remote Engineering and Virtual Instrumentation
Artificial Intelligence and Online Engineering Proceedings of the 19th International Conference on Remote Engineering and Virtual Instrumentation
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: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
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: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
Author 
Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26384-2
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022
Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022
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: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesia
Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesia
Author 
Arya, Karm Veer. editor. Tripathi, Vipin Kumar. editor. Rodriguez, Ciro. editor. Yusuf, Eddy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1912-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1
Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1
Author 
Yang, Xin-She. editor. Sherratt, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1607-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Springer Handbook of Augmented Reality
Springer Handbook of Augmented Reality
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: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Author 
Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-11686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Computer Aided Engineering of Batteries
Computer Aided Engineering of Batteries
Author 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advances in Cognitive Science and Communications Selected Articles from the 5th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2022), Hyderabad, India
Advances in Cognitive Science and Communications Selected Articles from the 5th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2022), Hyderabad, India
Author 
Kumar, Amit. editor. Mozar, Stefan. editor. Haase, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8086-2
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
Author 
Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28993-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
Author 
Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32213-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Paradigms of Smart and Intelligent Communication, 5G and Beyond
Paradigms of Smart and Intelligent Communication, 5G and Beyond
Author 
Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0109-8
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Author 
van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34241-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings
Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings
Author 
Tian, Yuan. editor. (orcid) Ma, Tinghuai. editor. (orcid) Jiang, Qingshan. editor. Liu, Qi. editor. Khan, Muhammad Khurram. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3300-6
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings
Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings
Author 
Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Author 
Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Optimising the Software Development Process with Artificial Intelligence
Optimising the Software Development Process with Artificial Intelligence
Author 
Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9948-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43670-3
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Author 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings
Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings
Author 
Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Author 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Author 
Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
Author 
Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Author 
Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35190-7
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Author 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
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-37126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for 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 II
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 II
Author 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021
The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021
Author 
Ahmad, Ishfaq. editor. Ye, Jun. editor. Liu, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3632-6
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Autonomous driving algorithms and Its IC Design
Autonomous driving algorithms and Its IC Design
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: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Computer Assisted Music and Dramatics Possibilities and Challenges
Computer Assisted Music and Dramatics Possibilities and Challenges
Author 
Salgaonkar, Ambuja. editor. Velankar, Makarand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022
Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022
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: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Innovations in Applied Informatics and Media Engineering
Innovations in Applied Informatics and Media Engineering
Author 
Matsuo, Tokuro. editor. Fujimoto, Takayuki. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30769-0
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Author 
Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4554-2
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
Author 
Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22311-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Intelligent Computing and Applications Proceedings of ICDIC 2020
Intelligent Computing and Applications Proceedings of ICDIC 2020
Author 
Rao, B. Narendra Kumar. editor. Balasubramanian, R. editor. Wang, Shiuh-Jeng. editor. Nayak, Richi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4162-7
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Author 
Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Emerging Trends in Expert Applications and Security Proceedings of 2nd ICETEAS 2023, Volume 1
Emerging Trends in Expert Applications and Security Proceedings of 2nd ICETEAS 2023, Volume 1
Author 
Rathore, Vijay Singh. editor. Tavares, João Manuel R. S. editor. Piuri, Vincenzo. editor. Surendiran, B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1909-3
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions
Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions
Author 
Iwendi, Celestine. editor. Boulouard, Zakaria. editor. (orcid)0000-0002-4891-3760 Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37164-6
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Process Control for Pumps and Compressors
Process Control for Pumps and Compressors
Author 
Niu, Steve S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43122-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Digital Health Entrepreneurship
Digital Health Entrepreneurship
Author 
Meyers, Arlen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33902-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Predictive Analytics in System Reliability
Predictive Analytics in System Reliability
Author 
Kumar, Vijay. editor. Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05347-4
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Modern Artificial Intelligence and Data Science Tools, Techniques and Systems
Modern Artificial Intelligence and Data Science Tools, Techniques and Systems
Author 
Idrissi, Abdellah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Embracing Machines and Humanity Through Cognitive Computing and IoT
Embracing Machines and Humanity Through Cognitive Computing and IoT
Author 
Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4522-9
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Creo Parametric modeling with augmented reality
Creo Parametric modeling with augmented reality
Author 
Dakeev, Ulan, author.
Preferred Shelf Number 
TA177 .D35 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119894445
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Petroleum refining design and applications handbook. Volume 5
Petroleum refining design and applications handbook. Volume 5
Author 
Coker, A. Kayode, author.
Preferred Shelf Number 
TP690 .C654 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394207268
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Handbook of computational sciences : a multi and interdisciplinary approach
Handbook of computational sciences : a multi and interdisciplinary approach
Author 
Elngar, Ahmed A., editor.
Preferred Shelf Number 
QA76 .H36 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Mathematics and computer science. Volume 1
Mathematics and computer science. Volume 1
Author 
Ghosh, Sharmistha, editor. Niranjanamurthy, M., editor. Deyasi, Krishanu, editor. Mallik, Biswadip Basu, editor. Das, Santanu, editor.
Preferred Shelf Number 
QA76.9 .M35 M38 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879831
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Decision-making tools to support innovation : guidelines and case studies
Decision-making tools to support innovation : guidelines and case studies
Author 
Enjolras, Manon, author. Galvez, Daniel, author. Camargo, Mauricio, author.
Preferred Shelf Number 
HM846 .E55 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228997
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Machine learning for VLSI chip design
Machine learning for VLSI chip design
Author 
Kumar, Abhishek, editor. Tripathi, Suman Lata, editor. Srinivasa Rau, K., editor.
Preferred Shelf Number 
TK7874 .M33 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119910497
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Reverse osmosis
Reverse osmosis
Author 
Kucera, Jane, author.
Preferred Shelf Number 
TD480.4 .K83 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119725183
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Modeling and optimization of optical communication networks
Modeling and optimization of optical communication networks
Author 
Singh, Chandra, editor.
Preferred Shelf Number 
TK5103.59 .M63 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119839569
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Building information modeling : shared modeling, mutual data, the new art of building
Building information modeling : shared modeling, mutual data, the new art of building
Author 
Teulier, Régine, editor Bagieu, Marie, editor
Preferred Shelf Number 
TH438.13
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394264933
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
Author 
Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42941-5
Format: 
Availability 
Online Library~1
Available:
Copies: