Limit Search Results
Author
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1518)
Logic design.
(1202)
Software engineering.
(1078)
Artificial intelligence.
(893)
Computer Communication Networks.
(358)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3889 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Author 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Modern Programmable Interconnect Design
Modern Programmable Interconnect Design
Author 
Nikolić, Stefan. author. (orcid)0000-0002-6831-1740 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
Author 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits
Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits
Author 
Lin, Ji-Yung. author. Noltsis, Michalis. author. Soudris, Dimitrios. author. (orcid)0000-0002-6930-6847 Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85624-2
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Author 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2292-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Intelligent Computing and Networking Proceedings of IC-ICN 2024
Intelligent Computing and Networking Proceedings of IC-ICN 2024
Author 
Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I
Author 
Huang, Letian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6400-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 1
Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 1
Author 
Reddy, V. Sivakumar. editor. Wang, Jiacun. editor. Chetti, Prasad. editor. Reddy, K. T. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0924-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Data Science and Applications Proceedings of ICDSA 2024, Volume 5
Data Science and Applications Proceedings of ICDSA 2024, Volume 5
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1185-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Author 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Robotics Goes MOOC Interaction
Robotics Goes MOOC Interaction
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77270-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Author 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-46510-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Spin-Based Computing Devices
Spin-Based Computing Devices
Author 
Csaba, György. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89428-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for 16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 2
16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 2
Author 
Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. Jamshidi, Mo. editor. Babanli, M.B. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72506-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74430-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Author 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II
Author 
Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2864-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
Author 
Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2830-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73716-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84595-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Theory of Computation Automata, Formal Languages, Computation and Complexity
Theory of Computation Automata, Formal Languages, Computation and Complexity
Author 
Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Numbers and Computers
Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers
Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers
Author 
Shen, Qikun. author. Xu, Dezhi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1773-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Author 
Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Data Science and Applications Proceedings of ICDSA 2024, Volume 4
Data Science and Applications Proceedings of ICDSA 2024, Volume 4
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2647-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Modern Artificial Intelligence Based on Soft Computing Techniques
Modern Artificial Intelligence Based on Soft Computing Techniques
Author 
Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88279-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
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-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Author 
Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77019-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
Author 
Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Data Science and Applications Proceedings of ICDSA 2024, Volume 3
Data Science and Applications Proceedings of ICDSA 2024, Volume 3
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2299-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Data Science and Applications Proceedings of ICDSA 2024, Volume 2
Data Science and Applications Proceedings of ICDSA 2024, Volume 2
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Data Science and Applications Proceedings of ICDSA 2024, Volume 6
Data Science and Applications Proceedings of ICDSA 2024, Volume 6
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1188-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024
Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024
Author 
Jana, Dipak Kumar. editor. Gyei-Kark, Park. editor. Panja, Prabir. editor. Dostal, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Advances in Mathematics for Engineering Sciences
Advances in Mathematics for Engineering Sciences
Author 
Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95693-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
Author 
Glück, Robert. editor. (orcid)0000-0001-6990-3935 Kaarsgaard, Robin. editor. (orcid)0000-0002-7672-799X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for "Ben böyle düşünüyorum!" demekle olmuyor...
"Ben böyle düşünüyorum!" demekle olmuyor...
Author 
Alatlı, Alev.
Preferred Shelf Number 
BC175 A53 2024
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
63. 
Cover image for Guidelines for process safety knowledge management
Guidelines for process safety knowledge management
Author 
American Institute of Chemical Engineers. Center for Chemical Process Safety, issuing body. John Wiley & Sons, publisher.
Preferred Shelf Number 
T55
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394187744
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Deep learning techniques for automation and industrial applications
Deep learning techniques for automation and industrial applications
Author 
Rathore, Pramod Singh, 1988- editor. Ahuja, Sachin. Burri, Srinivasa Rao. Khunteta, Ajay. Baliyan, Anupam.
Preferred Shelf Number 
T59.5 .D44 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234271
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Cognitive aids to support health professionals
Cognitive aids to support health professionals
Author 
Morineau, Thierry, author.
Preferred Shelf Number 
R690 .M67 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317219
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Digital twin and blockchain for smart cities
Digital twin and blockchain for smart cities
Author 
Tyagi, Amit Kumar, 1988-
Preferred Shelf Number 
TD159.4 .D54 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394303564
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Computational intelligent techniques in mechatronics
Computational intelligent techniques in mechatronics
Author 
Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number 
TJ163.12 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for HACCP system auditing for food safety : principles and techniques
HACCP system auditing for food safety : principles and techniques
Author 
Lorenzo, Luis Couto, author.
Preferred Shelf Number 
TX531 .L67 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394254750
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Territorial analysis of environments
Territorial analysis of environments
Author 
Cossart, Etienne, editor. Rivière-Honegger, Anne, editor.
Preferred Shelf Number 
GE40 .T47 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332267
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Quantum-dot cellular automata circuits for nanocomputing applications
Quantum-dot cellular automata circuits for nanocomputing applications
Author 
Sasamal, Trailokya Nath, editor.
Preferred Shelf Number 
TK7888.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003361633
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Parabolic problems : 60 years of mathematical puzzles in Parabola
Parabolic problems : 60 years of mathematical puzzles in Parabola
Author 
Angell, David (Mathematician), author. Britz, Thomas (Mathematician), author.
Preferred Shelf Number 
QA95
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003396413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Taking the "oof!" out of proofs
Taking the "oof!" out of proofs
Author 
Draganov, Alexandr, author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Lateral solutions to mathematical problems
Lateral solutions to mathematical problems
Author 
MacHale, Des, author.
Preferred Shelf Number 
QA8.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003341468
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Nyāya sūtra = On philosophical method
Nyāya sūtra = On philosophical method
Author 
Gautama (Authority on Nyāyaśāstra) Bijlert, Vittorio A. van, editor, translator. Container of (expression): Gautama (Authority on Nyāyaśāstra). Nyāyasūtra. Sanscrit. Container of (expression): Gautama (Authority on Nyāyaśāstra). a Nyāyasūtra. English.
Preferred Shelf Number 
B132 .N8
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003475880
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Bertrand's paradox and the principle of indifference
Bertrand's paradox and the principle of indifference
Author 
Shackel, Nicholas, 1955- author.
Preferred Shelf Number 
QA273.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456308
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Symbolic regression
Symbolic regression
Author 
Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.
Preferred Shelf Number 
QA76.623
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315166407
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Data-driven modelling with fuzzy sets : embracing uncertainty
Data-driven modelling with fuzzy sets : embracing uncertainty
Author 
Broumi, Said, 1978- editor. Nagarajan, D., editor. Voskoglou, Michael, 1949- editor. Edalatpanah, S. A. (Seyyed Ahmad), editor.
Preferred Shelf Number 
QA248.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003487029
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Data-driven modelling with fuzzy sets : a neutrosophic perspective
Data-driven modelling with fuzzy sets : a neutrosophic perspective
Author 
Broumi, Said, 1978- editor. Nagarajan, D., editor. Voskoglou, Michael, 1949- editor. Edalatpanah, S. A. (Seyyed Ahmad), editor.
Preferred Shelf Number 
QA248.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003487104
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Becoming a computational thinker : success in the digital age
Becoming a computational thinker : success in the digital age
Author 
Wang, Paul S., author.
Preferred Shelf Number 
QA76.9 .L63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437680
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Electronics for scientists
Electronics for scientists
Author 
Santavicca, Daniel, author.
Preferred Shelf Number 
TK7815
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003408499
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Kripke and Wittgenstein : the standard metre, contingent apriori and beyond
Kripke and Wittgenstein : the standard metre, contingent apriori and beyond
Author 
Gustafsson, Martin, editor. Kuusela, Oskari, editor. Mácha, Jakub, editor.
Preferred Shelf Number 
B3376 .W564
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003240792
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Mathematical puzzles
Mathematical puzzles
Author 
Winkler, P. (Peter), 1946- author. Johnson, Jess (Comic book artist), illustrator.
Preferred Shelf Number 
QA95
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032709659
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Positioning and location-based analytics in 5G and beyond
Positioning and location-based analytics in 5G and beyond
Author 
Bartoletti, Stefania, editor. Blefari-Melazzi, Nicola, editor.
Preferred Shelf Number 
TK5105.65 .P67 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119911463
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Sustainable cities in a changing climate : enhancing urban resilience
Sustainable cities in a changing climate : enhancing urban resilience
Author 
Al-Ghamdi, Sami G, editor.
Preferred Shelf Number 
HT241 .C5955 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394201532
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Nonthermal food engineering operations
Nonthermal food engineering operations
Author 
Kumar, Nitin (Professor of food engineering), editor. Panghal, Anil, editor. Garg, M. K., editor.
Preferred Shelf Number 
TP371 .N66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119776468
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Matthews model of clinical reasoning : a systematic guide to occupation-based evaluation and intervention planning
Matthews model of clinical reasoning : a systematic guide to occupation-based evaluation and intervention planning
Author 
Knis-Matthews, Laurie, editor.
Preferred Shelf Number 
RM735.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003392408
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 Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications
Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications
Author 
Nandi, Gypsy, author.
Preferred Shelf Number 
QA76.9 .S63 N36 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for CompTIA DataSys+ study guide : exam DSO-001
CompTIA DataSys+ study guide : exam DSO-001
Author 
Chapple, Mike, 1975- author. Nijim, Sharif, author.
Preferred Shelf Number 
QA76.3 .C43 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Artificial intelligence in process fault diagnosis : methods for plant surveillance
Artificial intelligence in process fault diagnosis : methods for plant surveillance
Author 
Fickelscherer, Richard J., author.
Preferred Shelf Number 
TP155.75
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Advances in fuzzy-based internet of medical things (IoMT)
Advances in fuzzy-based internet of medical things (IoMT)
Author 
Yadav, Satya Prakash, editor.
Preferred Shelf Number 
R859.7 .F89 A38 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242252
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Computational intelligence : theory and applications
Computational intelligence : theory and applications
Author 
Kumar, T. Ananth (Tamilarasan Ananth), editor.
Preferred Shelf Number 
Q342 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for INTUITIVE AXIOMATIC SET THEORY
INTUITIVE AXIOMATIC SET THEORY
Author 
García, José Luis.
Preferred Shelf Number 
QA248
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003449911
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 Normative species : how naturalized inferentialism explains us
Normative species : how naturalized inferentialism explains us
Author 
Peregrin, Jaroslav, author.
Preferred Shelf Number 
GN493.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003388876
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023
Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023
Author 
Venkata Rao, Ravipudi. editor. Taler, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4654-5
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings
Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings
Author 
Michalewicz, Marek. editor. (orcid)0000-0002-6474-5234 Gustafson, John. editor. (orcid)0000-0002-2957-1304 De Silva, Himeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72709-2
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 1
Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 1
Author 
Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77688-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for General Reference Architecture Frameworks
General Reference Architecture Frameworks
Author 
Iordache, Octavian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70718-6
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Author 
Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71112-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
Author 
de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51060-1
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Author 
Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1417-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computational Intelligence and Mathematics for Tackling Complex Problems 5
Computational Intelligence and Mathematics for Tackling Complex Problems 5
Author 
Cornejo, M.Eugenia. editor. Kóczy, László T. editor. (orcid)0000-0003-1316-4832 Medina, Jesús. editor. (orcid)0000-0002-3931-5873 Ramírez-Poussa, Eloísa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46979-4
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Author 
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-46002-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Foundations for Functional Modeling of Technical Artefacts
Foundations for Functional Modeling of Technical Artefacts
Author 
Lind, Morten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Author 
Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Reliability Engineering for Industrial Processes An Analytics Perspective
Reliability Engineering for Industrial Processes An Analytics Perspective
Author 
Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55048-5
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Author 
Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66159-4
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Author 
König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66438-0
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Fourth Congress on Intelligent Systems CIS 2023, Volume 2
Fourth Congress on Intelligent Systems CIS 2023, Volume 2
Author 
Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 Balachandran, K. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation
Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation
Author 
Li, Fangyi. author. Shen, Qiang. author. (orcid)0000-0001-9333-4605 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0491-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Author 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63787-2
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63800-8
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Applications of Advanced Electromagnetics Microwave Components and Systems
Applications of Advanced Electromagnetics Microwave Components and Systems
Author 
Kouzaev, Guennadi A. author. (orcid)0000-0002-1633-2961 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Illustrated Manual of Orthognathic Surgery Osteotomies of the Maxilla and Midface
Illustrated Manual of Orthognathic Surgery Osteotomies of the Maxilla and Midface
Author 
Kessler, Peter. editor. Hardt, Nicolas. editor. Yamauchi, Kensuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49869-5
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Clustering, Classification, and Time Series Prediction by Using Artificial Neural Networks
Clustering, Classification, and Time Series Prediction by Using Artificial Neural Networks
Author 
Melin, Patricia. author. (orcid)0000-0001-5798-1426 Ramirez, Martha. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71101-5
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Author 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for R-Calculus, V: Description Logics
R-Calculus, V: Description Logics
Author 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 1
Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 1
Author 
Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70018-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Heat Conduction
Heat Conduction
Author 
Jiji, Latif M. author. Danesh-Yazdi, Amir H. author. (orcid)0009-0008-6905-7941 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 3
Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 3
Author 
Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67192-0
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Single Flux Quantum Integrated Circuit Design
Single Flux Quantum Integrated Circuit Design
Author 
Krylov, Gleb. author. Jabbari, Tahereh. author. Friedman, Eby G. author. (orcid)0000-0002-5549-7160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 1
Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 1
Author 
Reddy, Vustikayala Sivakumar. editor. Wang, Jiacun. editor. (orcid)0000-0003-4176-3947 Reddy, K.T.V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8628-6
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Author 
Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72407-7
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for 16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 1
16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 1
Author 
Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. Jamshidi, Mo. editor. Babanli, M.B. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings
Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings
Author 
Mogensen, Torben Ægidius. editor. (orcid)0000-0003-4862-9193 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62076-8
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Data Science and Applications Proceedings of ICDSA 2023, Volume 3
Data Science and Applications Proceedings of ICDSA 2023, Volume 3
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7817-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 2
Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 2
Author 
Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67195-1
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Advances in Computational Intelligence Systems Contributions Presented at the 21st UK Workshop on Computational Intelligence, September 7-9, 2022, Sheffield, UK
Advances in Computational Intelligence Systems Contributions Presented at the 21st UK Workshop on Computational Intelligence, September 7-9, 2022, Sheffield, UK
Author 
Panoutsos, George. editor. Mahfouf, Mahdi. editor. Mihaylova, Lyudmila S. editor. (orcid)0000-0001-5856-2223 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55568-8
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
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:
141. 
Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part II
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part II
Author 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57231-9
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part I
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part I
Author 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57228-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Author 
Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56940-1
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Fourth Congress on Intelligent Systems CIS 2023, Volume 3
Fourth Congress on Intelligent Systems CIS 2023, Volume 3
Author 
Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9043-6
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Quick Start Guide to Verilog
Quick Start Guide to Verilog
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44104-2
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Design Automation and Applications for Emerging Reconfigurable Nanotechnologies
Design Automation and Applications for Emerging Reconfigurable Nanotechnologies
Author 
Rai, Shubham. author. Kumar, Akash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37924-6
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Author 
Roy, Shirshendu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41085-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Fourth Congress on Intelligent Systems CIS 2023, Volume 1
Fourth Congress on Intelligent Systems CIS 2023, Volume 1
Author 
Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9037-5
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Author 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54975-5
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55245-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Computational Intelligence in Engineering and Project Management
Computational Intelligence in Engineering and Project Management
Author 
Piñero Pérez, Pedro Yobanis. editor. Kacprzyk, Janusz. editor. Bello Pérez, Rafael. editor. Pupo, Iliana Pérez. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50495-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 2
Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 2
Author 
Zen, Hushairi. editor. Dasari, Naga M. editor. Latha, Y. Madhavee. editor. Rao, S. Srinivasa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8451-0
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Author 
Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63790-2
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Author 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71379-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Author 
Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49342-3
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Formal Concept Analysis Mathematical Foundations
Formal Concept Analysis Mathematical Foundations
Author 
Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63422-2
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 2
Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 2
Author 
Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77411-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Author 
Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71291-3
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for FPGA EDA Design Principles and Implementation
FPGA EDA Design Principles and Implementation
Author 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Soft Computing in Industry 5.0 for Sustainability
Soft Computing in Industry 5.0 for Sustainability
Author 
Reddy, C Kishor Kumar. editor. Sithole, Thandiwe. editor. Ouaissa, Mariya. editor. ÖZER, Özen. editor. Hanafiah, Marlia M. editor. (orcid)0000-0002-8565-0488
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69336-6
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Author 
Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73910-1
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Illustrated Manual of Orthognathic Surgery Combined Bimaxillary Osteotomies in the Facial Skeleton
Illustrated Manual of Orthognathic Surgery Combined Bimaxillary Osteotomies in the Facial Skeleton
Author 
Kessler, Peter. editor. Hardt, Nicolas. editor. Yamauchi, Kensuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Quick Start Guide to VHDL
Quick Start Guide to VHDL
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42543-1
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Author 
Kılıç, Muharrem. editor. Bozkuş Kahyaoğlu, Sezer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6327-0
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Author 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Data Science and Applications Proceedings of ICDSA 2023, Volume 1
Data Science and Applications Proceedings of ICDSA 2023, Volume 1
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7862-5
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Building Construction Methods and Systems Principles, Requirements and Application Details
Building Construction Methods and Systems Principles, Requirements and Application Details
Author 
Sarı, Ramazan. author. Çalışkan, Ekrem Bahadır. author. (orcid)0000-0002-5258-2976 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50043-5
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
Author 
Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62799-6
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Data Science and Applications Proceedings of ICDSA 2023, Volume 4
Data Science and Applications Proceedings of ICDSA 2023, Volume 4
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7814-4
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Data Science and Applications Proceedings of ICDSA 2023, Volume 2
Data Science and Applications Proceedings of ICDSA 2023, Volume 2
Author 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7820-5
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Author 
Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Author 
Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I
Author 
Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28244-7
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Author 
Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Author 
Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Author 
García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
Author 
Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47745-4
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Author 
Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Author 
Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28790-9
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
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:
191. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Author 
Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29126-5
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Author 
Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
Author 
Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30047-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III
Author 
Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40289-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Author 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
Author 
Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37586-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings
Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings
Author 
Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Author 
Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
Author 
Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43153-1
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II
Author 
Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47966-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Prolog: The Next 50 Years
Prolog: The Next 50 Years
Author 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Author 
Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5443-6
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022
Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022
Author 
Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021
Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021
Author 
Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
Author 
LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21090-7
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Embedded Systems Design using the MSP430FR2355 LaunchPad™
Embedded Systems Design using the MSP430FR2355 LaunchPad™
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Machine Learning Support for Fault Diagnosis of System-on-Chip
Machine Learning Support for Fault Diagnosis of System-on-Chip
Author 
Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19639-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Digital Technologies in Logistics and Infrastructure
Digital Technologies in Logistics and Infrastructure
Author 
Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Author 
Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8497-6
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Author 
Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0412-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Advances in Computer Science for Engineering and Education VI
Advances in Computer Science for Engineering and Education VI
Author 
Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Author 
Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021
Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021
Author 
Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2188-9
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Optical and Wireless Technologies Proceedings of OWT 2021
Optical and Wireless Technologies Proceedings of OWT 2021
Author 
Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1645-8
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Author 
Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Author 
Izadian, Afshin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21908-5
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Author 
Jantsch, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35605-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Machine Learning and the Internet of Things in Education Models and Applications
Machine Learning and the Internet of Things in Education Models and Applications
Author 
Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42924-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Intelligent Information Processing with Matlab
Intelligent Information Processing with Matlab
Author 
Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6449-9
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
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:
236. 
Cover image for Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Author 
Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Speaking of Forms of Life The Language of Conservation
Speaking of Forms of Life The Language of Conservation
Author 
Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II
Author 
Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
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:
240. 
Cover image for Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
Author 
Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-7487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Handling Uncertainty in Artificial Intelligence
Handling Uncertainty in Artificial Intelligence
Author 
Chaki, Jyotismita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5333-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I
Author 
Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Author 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39774-5
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2
Author 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39777-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Hardware Security Training, Hands-on!
Hardware Security Training, Hands-on!
Author 
Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Author 
Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Author 
van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40997-4
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings
Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings
Author 
Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Konrad Zuse's Early Computers The Quest for the Computer in Germany
Konrad Zuse's Early Computers The Quest for the Computer in Germany
Author 
Rojas, Raúl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39876-6
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Author 
Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Author 
Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33180-0
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
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:
261. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
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:
265. 
Cover image for Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
Author 
Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36616-1
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
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:
267. 
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:
268. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings
Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings
Author 
Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44084-7
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Author 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Author 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
Author 
Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45275-8
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Medical Persuasion Understanding the Impact on Medical Argumentation
Medical Persuasion Understanding the Impact on Medical Argumentation
Author 
Velanovich, Vic. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30371-5
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Author 
Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Author 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Cyber Technologies and Emerging Sciences ICCTES 2021
Cyber Technologies and Emerging Sciences ICCTES 2021
Author 
Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2538-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Handbook of Abductive Cognition
Handbook of Abductive Cognition
Author 
Magnani, Lorenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-10135-9
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Nucleic Acid Biology and its Application in Human Diseases
Nucleic Acid Biology and its Application in Human Diseases
Author 
Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8520-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2362-5
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum
Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum
Author 
Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Software Defined Chips Volume II
Software Defined Chips Volume II
Author 
Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7636-0
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Machine Learning and Metaheuristics: Methods and Analysis
Machine Learning and Metaheuristics: Methods and Analysis
Author 
Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Author 
Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6431-4
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Fuzzy Information Processing 2023
Fuzzy Information Processing 2023
Author 
Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46778-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
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:
291. 
Cover image for Soft Computing for Security Applications Proceedings of ICSCS 2023
Soft Computing for Security Applications Proceedings of ICSCS 2023
Author 
Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3608-3
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Computational Intelligence and Mathematics for Tackling Complex Problems 4
Computational Intelligence and Mathematics for Tackling Complex Problems 4
Author 
Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-07707-4
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
Author 
Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6780-1
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Author 
Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1260-5
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
Author 
Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Design Automation of Quantum Computers
Design Automation of Quantum Computers
Author 
Topaloglu, Rasit O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Author 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
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:
Select an Action