Acquisition Date
2026-10-16
ISBN
-
Subjects
Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems.
LC Classification
QA76.75
Showing 26-50 of 100
Acquisition Date
2026-10-16
ISBN
-
Subjects
Software engineering.; Machine theory.; Computer science.; Computers, Special purpose.; Computer systems.; Microprogramming.; Software Engineering.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Special Purpose and Application-Based Systems.; Computer System Implementation.; Control Structures and Microprogramming.
LC Classification
QA76.75
Algorithmic Game Theory : 19th International Symposium, SAGT 2026, Augsburg, Germany, September 15–18, 2026, Proceedings /
Lenzner, Pascal.
2027.
Book - Electronic
Acquisition Date
2026-10-15
ISBN
-
Subjects
Computer simulation.; Data structures (Computer science); Information theory.; Application software.; Artificial intelligence.; Algorithms.; Computer networks.; Computer Modelling.; Data Structures and Information Theory.; Computer and Information Systems Applications.; Artificial Intelligence.; Design and Analysis of Algorithms.; Computer Communication Networks.
LC Classification
QA76.766
Logic Programming and Nonmonotonic Reasoning : 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings /
Faber, Wolfgang.
2027.
Book - Electronic
Acquisition Date
2026-10-15
ISBN
-
Subjects
Artificial intelligence.; Computer programming.; Compilers (Computer programs); Information technology--Management.; Artificial Intelligence.; Programming Techniques.; Compilers and Interpreters.; Computer Application in Administrative Data Processing.
LC Classification
Unknown
Acquisition Date
2026-10-15
ISBN
-
Subjects
Artificial intelligence.; Computer science--Mathematics.; Database management.; Algorithms.; Artificial Intelligence.; Mathematics of Computing.; Database Management System.; Design and Analysis of Algorithms.
LC Classification
Unknown
Analysis of Images, Social Networks and Texts : 13th International Conference, AIST 2026, Astana, Kazakhstan, October 16–18, 2026, Proceedings /
Tsymbalov, Evgenii.
2027.
Book - Electronic
Acquisition Date
2026-10-15
ISBN
-
Subjects
Data mining.; Machine learning.; Database management.; Natural language processing (Computer science); Information storage and retrieval systems.; Application software.; Data Mining and Knowledge Discovery.; Machine Learning.; Database Management.; Natural Language Processing (NLP).; Information Storage and Retrieval.; Computer and Information Systems Applications.
LC Classification
QA76.766
Multi-disciplinary Trends in Artificial Intelligence : 19th International Conference, MIWAI 2026, Halifax, NS, Canada, October 10–12, 2026, Proceedings, Part II /
Lai, Daphne Teck Ching.
2027.
Book - Electronic
Acquisition Date
2026-10-15
ISBN
-
Subjects
Artificial intelligence.; Artificial Intelligence.
LC Classification
Unknown
Acquisition Date
2026-10-15
ISBN
-
Subjects
Information visualization.; Mathematical statistics.; Computer science--Mathematics.; Data and Information Visualization.; Mathematical Statistics.; Mathematical Applications in Computer Science.
LC Classification
QA76.766
Computer Vision in Control Systems 7 : Generative AI-Based Approach /
Favorskaya, Margarita N.
2027.
Book - Electronic
Acquisition Date
2026-10-15
ISBN
-
Subjects
Computational intelligence.; Computer vision.; Pattern recognition systems.; Computational Intelligence.; Computer Vision.; Automated Pattern Recognition.
LC Classification
Q300
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Acquisition Date
2026-10-14
ISBN
-
Subjects
Programming languages (Electronic computers); Computer networks.; Application software.; Computers.; Programming Language.; Computer Communication Networks.; Computer and Information Systems Applications.; Computing Milieux.
LC Classification
Unknown
Reachability Problems : 20th International Conference, RP 2026, Turku, Finland, October 21–23, 2026, Proceedings /
Halava, Vesa.
2027.
Book - Electronic
Acquisition Date
2026-10-14
ISBN
-
Subjects
Machine theory.; Computer science.; Software engineering.; Logic programming.; Algorithms.; Computer science--Mathematics.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Software Engineering.; Logic in AI.; Design and Analysis of Algorithms.; Mathematics of Computing.
LC Classification
Unknown
Emerging Trends in Computational Science, Computational Biology, Parallel & Distributed Computing, and Internet of Things : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings Part IV /
Arabnia, Hamid R.
2027.
Book - Electronic
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Game Theory and AI for Security : 17th International Conference, GameSec 2026, Ann Arbor, MI, USA, October 26–28, 2026, Proceedings /
Liu, Mingyan.
2027.
Book - Electronic
Acquisition Date
2026-10-14
ISBN
-
Subjects
Data protection.; Computer networks.; Artificial intelligence.; Data and Information Security.; Computer Communication Networks.; Artificial Intelligence.
LC Classification
QA76.766
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Control of Renewable Power Systems : A Fully Actuated System Approach /
Yu, Yi. author.
2026.
Book - Electronic
Acquisition Date
2026-10-14
ISBN
-
Subjects
Artificial intelligence.; Intelligence Infrastructure.; Robotics.
LC Classification
TA329
Acquisition Date
2026-10-14
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP).
LC Classification
Q300
Computational Intelligence in Generative Artificial Intelligence : Uncertainty Treatment and Decision-Making /
Piñero Pérez, Pedro Yobanis.
2027.
Book - Electronic
Acquisition Date
2026-10-13
ISBN
-
Subjects
Computational intelligence.; Engineering--Data processing.; Computational Intelligence.; Data Engineering.
LC Classification
Q300
Acquisition Date
2026-10-13
ISBN
-
Subjects
Software engineering.; Computers, Special purpose.; Computer systems.; Artificial intelligence.; Software Engineering.; Special Purpose and Application-Based Systems.; Computer System Implementation.; Artificial Intelligence.
LC Classification
QA76.75
AI, Management, and Culture: Shaping Organizations in the Digital Age : Navigating the Intersection of Technology, People, and Performance /
Bouziane, Abdelmounim.
2027.
Book - Electronic
Acquisition Date
2026-10-13
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Engineering--Data processing.; Computational Intelligence.; Artificial Intelligence.; Data Engineering.
LC Classification
Q300
Availability, Reliability and Security : 21st International Conference, ARES 2026, Linköping, Sweden, August 24–27, 2026, Proceedings, Part II /
Nadjm-Tehrani, Simin.
2027.
Book - Electronic
Acquisition Date
2026-10-13
ISBN
-
Subjects
Data protection.; Data and Information Security.
LC Classification
QA76.766
Software and Systems Reuse, Product Lines, and Configuration -- VARIABILITY 2026 Satellite Events : Limassol, Cyprus, September 29–October 2, 2026, Proceedings /
Perrouin, Gilles.
2027.
Book - Electronic
Acquisition Date
2026-10-11
ISBN
-
Subjects
Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems.
LC Classification
QA76.75
Multi-disciplinary Trends in Artificial Intelligence : 19th International Conference, MIWAI 2026, Halifax, NS, Canada, October 10–12, 2026, Proceedings, Part I /
Lai, Daphne Teck Ching.
2027.
Book - Electronic
Acquisition Date
2026-10-11
ISBN
-
Subjects
Artificial intelligence.; Artificial Intelligence.
LC Classification
Unknown
| Cover | Title | Author | Publisher | Publication Date | Resource Type | |
|---|---|---|---|---|---|---|
|
|
Software and Systems Reuse, Product Lines, and Configuration : First International Conference, VARIABILITY 2026, Limassol, Cyprus, September 29–October 2, 2026, Proceedings / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-16 ISBN - Subjects Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems. LC Classification QA76.75 |
||||||
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-16 ISBN - Subjects Software engineering.; Machine theory.; Computer science.; Computers, Special purpose.; Computer systems.; Microprogramming.; Software Engineering.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Special Purpose and Application-Based Systems.; Computer System Implementation.; Control Structures and Microprogramming. LC Classification QA76.75 |
||||||
|
|
Algorithmic Game Theory : 19th International Symposium, SAGT 2026, Augsburg, Germany, September 15–18, 2026, Proceedings / |
Lenzner, Pascal. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Computer simulation.; Data structures (Computer science); Information theory.; Application software.; Artificial intelligence.; Algorithms.; Computer networks.; Computer Modelling.; Data Structures and Information Theory.; Computer and Information Systems Applications.; Artificial Intelligence.; Design and Analysis of Algorithms.; Computer Communication Networks. LC Classification QA76.766 |
||||||
|
|
Logic Programming and Nonmonotonic Reasoning : 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings / |
Faber, Wolfgang. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Artificial intelligence.; Computer programming.; Compilers (Computer programs); Information technology--Management.; Artificial Intelligence.; Programming Techniques.; Compilers and Interpreters.; Computer Application in Administrative Data Processing. LC Classification Unknown |
||||||
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making : 12th International Symposium, IUKM 2026, Quy Nhon Nam, Gia Lai, Vietnam, September 14–17, 2026, Proceedings, Part I / |
Honda, Katsuhiro. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Artificial intelligence.; Computer science--Mathematics.; Database management.; Algorithms.; Artificial Intelligence.; Mathematics of Computing.; Database Management System.; Design and Analysis of Algorithms. LC Classification Unknown |
||||||
|
|
Analysis of Images, Social Networks and Texts : 13th International Conference, AIST 2026, Astana, Kazakhstan, October 16–18, 2026, Proceedings / |
Tsymbalov, Evgenii. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Data mining.; Machine learning.; Database management.; Natural language processing (Computer science); Information storage and retrieval systems.; Application software.; Data Mining and Knowledge Discovery.; Machine Learning.; Database Management.; Natural Language Processing (NLP).; Information Storage and Retrieval.; Computer and Information Systems Applications. LC Classification QA76.766 |
||||||
|
|
Multi-disciplinary Trends in Artificial Intelligence : 19th International Conference, MIWAI 2026, Halifax, NS, Canada, October 10–12, 2026, Proceedings, Part II / |
Lai, Daphne Teck Ching. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Artificial intelligence.; Artificial Intelligence. LC Classification Unknown |
||||||
|
|
Foundations of Federated Learning / |
Ray, Partha Pratim. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Information visualization.; Mathematical statistics.; Computer science--Mathematics.; Data and Information Visualization.; Mathematical Statistics.; Mathematical Applications in Computer Science. LC Classification QA76.766 |
||||||
|
|
Computer Vision in Control Systems 7 : Generative AI-Based Approach / |
Favorskaya, Margarita N. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN - Subjects Computational intelligence.; Computer vision.; Pattern recognition systems.; Computational Intelligence.; Computer Vision.; Automated Pattern Recognition. LC Classification Q300 |
||||||
|
|
Emerging Trends in Image Processing, Computer Vision, Security, Cloud and Mobile Computing : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings, Part VII / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
Emerging Trends in Smart Cities, Smart Mobility, Software Engineering, and Education : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings, Part VIII / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
Emerging Trends in Large Language Models : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings Part VI / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
CLOUD Computing – CLOUD 2026 : 19th International Conference, Held as Part of the Smart Computing Frontier, SCF 2026, Kuala Lumpur, Malaysia, August 22–25, 2026, Proceedings / |
Lu, Chenglang. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Programming languages (Electronic computers); Computer networks.; Application software.; Computers.; Programming Language.; Computer Communication Networks.; Computer and Information Systems Applications.; Computing Milieux. LC Classification Unknown |
||||||
|
|
Reachability Problems : 20th International Conference, RP 2026, Turku, Finland, October 21–23, 2026, Proceedings / |
Halava, Vesa. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Machine theory.; Computer science.; Software engineering.; Logic programming.; Algorithms.; Computer science--Mathematics.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Software Engineering.; Logic in AI.; Design and Analysis of Algorithms.; Mathematics of Computing. LC Classification Unknown |
||||||
|
|
Emerging Trends in Computational Science, Computational Biology, Parallel & Distributed Computing, and Internet of Things : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings Part IV / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
Game Theory and AI for Security : 17th International Conference, GameSec 2026, Ann Arbor, MI, USA, October 26–28, 2026, Proceedings / |
Liu, Mingyan. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Data protection.; Computer networks.; Artificial intelligence.; Data and Information Security.; Computer Communication Networks.; Artificial Intelligence. LC Classification QA76.766 |
||||||
|
|
Emerging Trends in Artificial Intelligence and Applications : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings, Part I / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
Control of Renewable Power Systems : A Fully Actuated System Approach / |
Yu, Yi. author. | Imprint Springer; Springer Nature Singapore | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Artificial intelligence.; Intelligence Infrastructure.; Robotics. LC Classification TA329 |
||||||
|
|
Emerging Trends in Artificial Intelligence, Computational Intelligence, and Social Networks : 12th International Conference on Computational Science and Computational Intelligence, CSCI 2025, Las Vegas, NV, USA, December 3–5, 2025, Proceedings, Part II / |
Arabnia, Hamid R. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Computational linguistics.; Machine learning.; Natural language processing (Computer science); Computational Intelligence.; Artificial Intelligence.; Computational Linguistics.; Machine Learning.; Natural Language Processing (NLP). LC Classification Q300 |
||||||
|
|
Computational Intelligence in Generative Artificial Intelligence : Uncertainty Treatment and Decision-Making / |
Piñero Pérez, Pedro Yobanis. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-13 ISBN - Subjects Computational intelligence.; Engineering--Data processing.; Computational Intelligence.; Data Engineering. LC Classification Q300 |
||||||
|
|
Bridging the Gap Between AI and Reality : 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-13 ISBN - Subjects Software engineering.; Computers, Special purpose.; Computer systems.; Artificial intelligence.; Software Engineering.; Special Purpose and Application-Based Systems.; Computer System Implementation.; Artificial Intelligence. LC Classification QA76.75 |
||||||
|
|
AI, Management, and Culture: Shaping Organizations in the Digital Age : Navigating the Intersection of Technology, People, and Performance / |
Bouziane, Abdelmounim. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-13 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Engineering--Data processing.; Computational Intelligence.; Artificial Intelligence.; Data Engineering. LC Classification Q300 |
||||||
|
|
Availability, Reliability and Security : 21st International Conference, ARES 2026, Linköping, Sweden, August 24–27, 2026, Proceedings, Part II / |
Nadjm-Tehrani, Simin. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-13 ISBN - Subjects Data protection.; Data and Information Security. LC Classification QA76.766 |
||||||
|
|
Software and Systems Reuse, Product Lines, and Configuration -- VARIABILITY 2026 Satellite Events : Limassol, Cyprus, September 29–October 2, 2026, Proceedings / |
Perrouin, Gilles. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-11 ISBN - Subjects Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems. LC Classification QA76.75 |
||||||
|
|
Multi-disciplinary Trends in Artificial Intelligence : 19th International Conference, MIWAI 2026, Halifax, NS, Canada, October 10–12, 2026, Proceedings, Part I / |
Lai, Daphne Teck Ching. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-11 ISBN - Subjects Artificial intelligence.; Artificial Intelligence. LC Classification Unknown |
||||||