Acquisitions - New books at the library
Latest acquisitions by Leiden University Libraries (UBL)
Showing 76-100 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
Zhang, Jianwei.
Acquisition Date
2026-10-16
ISBN
-
Subjects
Computer science.; Computer Science.
LC Classification
Unknown
Acquisition Date
2026-10-17
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
Acquisition Date
2026-10-17
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
Su, Chunhua.
Acquisition Date
2026-10-17
ISBN
-
Subjects
Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology.
LC Classification
QA76.766
Acquisition Date
2026-10-17
ISBN
-
Subjects
Artificial intelligence.; Data structures (Computer science); Information theory.; Software engineering.; Computer engineering.; Computer networks.; Artificial Intelligence.; Data Structures and Information Theory.; Software Engineering.; Computer Engineering and Networks.
LC Classification
Unknown
Denoeux, Thierry.
Acquisition Date
2026-10-17
ISBN
-
Subjects
Artificial intelligence.; Probabilities.; Artificial Intelligence.; Probability Theory.
LC Classification
Unknown
Acquisition Date
2026-10-17
ISBN
-
Subjects
Artificial intelligence.; Computer networks.; Computers.; Image processing--Digital techniques.; Computer vision.; Software engineering.; Artificial Intelligence.; Computer Communication Networks.; Computing Milieux.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Software Engineering.
LC Classification
Unknown
Acquisition Date
2026-10-17
ISBN
-
Subjects
Artificial intelligence.; Computer programming.; Database management.; Data mining.; Application software.; Machine theory.; Artificial Intelligence.; Programming Techniques.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Formal Languages and Automata Theory.
LC Classification
Unknown
Su, Chunhua.
Acquisition Date
2026-10-18
ISBN
-
Subjects
Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology.
LC Classification
QA76.766
Acquisition Date
2026-10-19
ISBN
-
Subjects
Natural language processing (Computer science); Computational linguistics.; Quantitative research.; Data mining.; Artificial intelligence.; Machine learning.; Natural Language Processing (NLP).; Computational Linguistics.; Data Analysis and Big Data.; Data Mining and Knowledge Discovery.; Artificial Intelligence.; Machine Learning.
LC Classification
QA76.766
Acquisition Date
2026-10-19
ISBN
-
Subjects
Application software.; Computer and Information Systems Applications.
LC Classification
QA76.75
Su, Chunhua.
Acquisition Date
2026-10-19
ISBN
-
Subjects
Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology.
LC Classification
QA76.766
Kaiser, M. Shamim.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Cooperating objects (Computer systems); Signal processing.; Internet of things.; Computational Intelligence.; Artificial Intelligence.; Cyber-Physical Systems.; Signal, Speech and Image Processing.; Internet of Things.
LC Classification
Q300
Zhang, Jianwei.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Computer science.; Computer Science.
LC Classification
Unknown
Mishra, Anurag.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Computational intelligence.; Cooperating objects (Computer systems); Internet of things.; Data protection.; Computational Intelligence.; Cyber-Physical Systems.; Internet of Things.; Data and Information Security.
LC Classification
Q300
Zhang, Jianwei.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Computer science.; Computer Science.
LC Classification
Unknown
Tafuri, Benedetta.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Computational intelligence.; Artificial intelligence.; Engineering--Data processing.; Internet of things.; Computational Intelligence.; Artificial Intelligence.; Data Engineering.; Internet of Things.
LC Classification
Q300
Su, Chunhua.
Acquisition Date
2026-10-20
ISBN
-
Subjects
Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology.
LC Classification
QA76.766
Acquisition Date
2026-10-24
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
Acquisition Date
2026-10-26
ISBN
-
Subjects
Software engineering.; Business information services.; Industrial organization.; Software Engineering.; IT in Business.; Organization.
LC Classification
QA76.75
Hankins, Gabriel, 1981- author
Acquisition Date
2026-10-27
ISBN
-
Subjects
Digital humanities; Humanities--Research--Data processing; Humanities--Electronic information resources
LC Classification
AZ101
-
Acquisition Date
2026-10-27
ISBN
-
Subjects
Artificial intelligence--Social aspects.; Human-computer interaction.; Chatbots--Philosophy.; Empathy.
LC Classification
Q300
Acquisition Date
2026-10-29
ISBN
-
Subjects
Big data--Law and legislation.; Data protection--Law and legislation.; Privacy, Right of.; Information technology--Law and legislation.; Technology and law.
LC Classification
QA76.766
Acquisition Date
2026-10-30
ISBN
-
Subjects
Artificial intelligence.; Business--Data processing.; Political planning--Data processing.; Intelligence artificielle.; Gestion--Informatique.; artificial intelligence.
LC Classification
Q300
| Cover | Title | Author | Publisher | Publication Date | Resource Type | |
|---|---|---|---|---|---|---|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems : 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II / |
- | 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 |
||||||
|
|
Behavioural and Social Computing : 13th International Conference, BESC 2026, Bangkok, Thailand, October 26–28, 2026, Proceedings, Part III / |
Zhang, Jianwei. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-16 ISBN - Subjects Computer science.; Computer Science. LC Classification Unknown |
||||||
|
|
Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI : 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IV / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 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 |
||||||
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems : 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 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 |
||||||
|
|
Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part II / |
Su, Chunhua. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 ISBN - Subjects Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology. LC Classification QA76.766 |
||||||
|
|
Advances in Practical Applications of Agentic AI and Multi-Agent Systems, The PAAMS Collection : 24th International Conference, PAAMS 2026, Naples, Italy, October 21–23, 2026, Proceedings / |
Mathieu, Philippe. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 ISBN - Subjects Artificial intelligence.; Data structures (Computer science); Information theory.; Software engineering.; Computer engineering.; Computer networks.; Artificial Intelligence.; Data Structures and Information Theory.; Software Engineering.; Computer Engineering and Networks. LC Classification Unknown |
||||||
|
|
Belief Functions: Theory and Applications : 9th International Conference, BELIEF 2026, Nanjing, China, October 19–21, 2026, Proceedings / |
Denoeux, Thierry. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 ISBN - Subjects Artificial intelligence.; Probabilities.; Artificial Intelligence.; Probability Theory. LC Classification Unknown |
||||||
|
|
Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track : European Conference, ECML PKDD 2026, Naples, Italy, September 7–11, 2026, Proceedings, Part VIII / |
Ceci, Michelangelo. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 ISBN - Subjects Artificial intelligence.; Computer networks.; Computers.; Image processing--Digital techniques.; Computer vision.; Software engineering.; Artificial Intelligence.; Computer Communication Networks.; Computing Milieux.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Software Engineering. LC Classification Unknown |
||||||
|
|
Knowledge Engineering and Knowledge Management : 25th International Conference, EKAW 2026, Turin, Italy, September 29–October 1, 2026, Proceedings / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-17 ISBN - Subjects Artificial intelligence.; Computer programming.; Database management.; Data mining.; Application software.; Machine theory.; Artificial Intelligence.; Programming Techniques.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Formal Languages and Automata Theory. LC Classification Unknown |
||||||
|
|
Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part IV / |
Su, Chunhua. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-18 ISBN - Subjects Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology. LC Classification QA76.766 |
||||||
|
|
Argument Mining / |
Stede, Manfred. author. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-19 ISBN - Subjects Natural language processing (Computer science); Computational linguistics.; Quantitative research.; Data mining.; Artificial intelligence.; Machine learning.; Natural Language Processing (NLP).; Computational Linguistics.; Data Analysis and Big Data.; Data Mining and Knowledge Discovery.; Artificial Intelligence.; Machine Learning. LC Classification QA76.766 |
||||||
|
|
Web and Wireless Geographical Information Systems : 23rd International Symposium, W2GIS 2026, Beijing, China, November 13–15, 2026, Proceedings / |
Peng, Peng. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-19 ISBN - Subjects Application software.; Computer and Information Systems Applications. LC Classification QA76.75 |
||||||
|
|
Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part V / |
Su, Chunhua. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-19 ISBN - Subjects Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology. LC Classification QA76.766 |
||||||
|
|
Proceedings of the Seventh International Conference on Trends in Computational and Cognitive Engineering : TCCE 2025 / |
Kaiser, M. Shamim. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Cooperating objects (Computer systems); Signal processing.; Internet of things.; Computational Intelligence.; Artificial Intelligence.; Cyber-Physical Systems.; Signal, Speech and Image Processing.; Internet of Things. LC Classification Q300 |
||||||
|
|
Behavioural and Social Computing : 13th International Conference, BESC 2026, Bangkok, Thailand, October 26–28, 2026, Proceedings, Part I / |
Zhang, Jianwei. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Computer science.; Computer Science. LC Classification Unknown |
||||||
|
|
Advances in IoT and Security with Computational Intelligence : Proceedings of ICAISA 2025, Volume 2 / |
Mishra, Anurag. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Computational intelligence.; Cooperating objects (Computer systems); Internet of things.; Data protection.; Computational Intelligence.; Cyber-Physical Systems.; Internet of Things.; Data and Information Security. LC Classification Q300 |
||||||
|
|
Behavioural and Social Computing : 13th International Conference, BESC 2026, Bangkok, Thailand, October 26–28, 2026, Proceedings, Part II / |
Zhang, Jianwei. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Computer science.; Computer Science. LC Classification Unknown |
||||||
|
|
Machine and Computing Technologies for Sustainable Development : Proceedings of MCT4SD 2025, Volume 4 / |
Tafuri, Benedetta. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Engineering--Data processing.; Internet of things.; Computational Intelligence.; Artificial Intelligence.; Data Engineering.; Internet of Things. LC Classification Q300 |
||||||
|
|
Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part I / |
Su, Chunhua. | Imprint Springer; Springer Nature Singapore | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-20 ISBN - Subjects Data structures (Computer science); Information theory.; Database management.; Data mining.; Application software.; Image processing--Digital techniques.; Computer vision.; Cryptography.; Data encryption (Computer science); Data Structures and Information Theory.; Database Management.; Data Mining and Knowledge Discovery.; Computer and Information Systems Applications.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Cryptology. LC Classification QA76.766 |
||||||
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts : 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-24 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 |
||||||
|
|
Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2026 Workshops, São Paulo, Brazil, April 8–11, 2026, Revised Selected Papers / |
- | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-26 ISBN - Subjects Software engineering.; Business information services.; Industrial organization.; Software Engineering.; IT in Business.; Organization. LC Classification QA76.75 |
||||||
|
|
The Cambridge introduction to digital humanities / |
Hankins, Gabriel, 1981- author | Cambridge University Press | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-27 ISBN - Subjects Digital humanities; Humanities--Research--Data processing; Humanities--Electronic information resources LC Classification AZ101 |
||||||
|
|
Empathy and artificial intelligence : challenges, advances and ethical considerations / |
- | Cambridge University Press | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-27 ISBN - Subjects Artificial intelligence--Social aspects.; Human-computer interaction.; Chatbots--Philosophy.; Empathy. LC Classification Q300 |
||||||
|
|
A research agenda for big data and the law / |
- | Edward Elgar Publishing | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-29 ISBN - Subjects Big data--Law and legislation.; Data protection--Law and legislation.; Privacy, Right of.; Information technology--Law and legislation.; Technology and law. LC Classification QA76.766 |
||||||
|
|
AI in public policy and business : strategies, ethics, and impact / |
- | Routledge | [2026] | Book - Electronic | |
|
Acquisition Date 2026-10-30 ISBN - Subjects Artificial intelligence.; Business--Data processing.; Political planning--Data processing.; Intelligence artificielle.; Gestion--Informatique.; artificial intelligence. LC Classification Q300 |
||||||