Acquisitions - New books at the library
Latest acquisitions by Leiden University Libraries (UBL)
Showing 76-100 of 100
Acquisition Date
2026-10-10
ISBN
9783032410290; 3032410290
Subjects
Compilers (Computer programs); Microprogramming.; Computer input-output equipment.; Computers, Special purpose.; Computer systems.; Compilers and Interpreters.; Control Structures and Microprogramming.; Input/Output and Data Communications.; Special Purpose and Application-Based Systems.; Computer System Implementation.
LC Classification
QA76.75
Perrouin, Gilles.
Acquisition Date
2026-10-11
ISBN
9783032404213; 3032404215
Subjects
Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems.
LC Classification
QA76.75
Nadjm-Tehrani, Simin.
Acquisition Date
2026-10-13
ISBN
9783032368850; 3032368855
Subjects
Data protection.; Data and Information Security.
LC Classification
QA76.766
Acquisition Date
2026-10-13
ISBN
9783032412690; 3032412692
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
Liu, Mingyan.
Acquisition Date
2026-10-14
ISBN
9783032403674; 3032403677
Subjects
Data protection.; Computer networks.; Artificial intelligence.; Data and Information Security.; Computer Communication Networks.; Artificial Intelligence.
LC Classification
QA76.766
Grechuk, Bogdan.
Acquisition Date
2026-10-14
ISBN
9783032268884; 3032268885
Subjects
Mathematics.
LC Classification
Unknown
Acquisition Date
2026-10-15
ISBN
9783032340849; 3032340845
Subjects
Information visualization.; Mathematical statistics.; Computer science--Mathematics.; Data and Information Visualization.; Mathematical Statistics.; Mathematical Applications in Computer Science.
LC Classification
QA76.766
Tsymbalov, Evgenii.
Acquisition Date
2026-10-15
ISBN
9783032415462; 3032415462
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
Lenzner, Pascal.
Acquisition Date
2026-10-15
ISBN
9783032387820; 3032387825
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
Gatica, Gabriel N.
Acquisition Date
2026-10-15
ISBN
9783032374158; 3032374154
Subjects
Functional analysis.; Difference equations.; Functional equations.; Mathematical analysis.; Functional Analysis.; Difference and Functional Equations.; Analysis.
LC Classification
Unknown
Acquisition Date
2026-10-16
ISBN
9783032401083; 3032401089
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-16
ISBN
9783032407634; 303240763X
Subjects
Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems.
LC Classification
QA76.75
Acquisition Date
2026-10-16
ISBN
9783032401113; 3032401119
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
9783032401212; 3032401216
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
9783032401243; 3032401240
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
9789819268344; 9819268346
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
Su, Chunhua.
Acquisition Date
2026-10-18
ISBN
9789819268573; 9819268575
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
9783032322913; 303232291X
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
9783032420817; 3032420814
Subjects
Application software.; Computer and Information Systems Applications.
LC Classification
QA76.75
Su, Chunhua.
Acquisition Date
2026-10-19
ISBN
9789819268405; 9819268400
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
Su, Chunhua.
Acquisition Date
2026-10-20
ISBN
9789819268313; 9819268311
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
9783032401182; 3032401186
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
9783032392053; 3032392055
Subjects
Software engineering.; Business information services.; Industrial organization.; Software Engineering.; IT in Business.; Organization.
LC Classification
QA76.75
Curtis-Trudel, André, author.
Acquisition Date
2026-10-27
ISBN
9781009551762; 1009551760
Subjects
Computable functions.
LC Classification
QA1
Acquisition Date
2026-10-29
ISBN
9781035314430; 1035314436
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
| Cover | Title | Author | Publisher | Publication Date | Resource Type | |
|---|---|---|---|---|---|---|
|
|
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems : 22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings / |
Royuela, Sara. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-10 ISBN 9783032410290; 3032410290 Subjects Compilers (Computer programs); Microprogramming.; Computer input-output equipment.; Computers, Special purpose.; Computer systems.; Compilers and Interpreters.; Control Structures and Microprogramming.; Input/Output and Data Communications.; Special Purpose and Application-Based Systems.; Computer System Implementation. LC Classification QA76.75 |
||||||
|
|
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 9783032404213; 3032404215 Subjects Software engineering.; Cooperating objects (Computer systems); Embedded computer systems.; Software Engineering.; Cyber-Physical Systems.; Embedded Systems. LC Classification QA76.75 |
||||||
|
|
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 9783032368850; 3032368855 Subjects Data protection.; Data and Information Security. LC Classification QA76.766 |
||||||
|
|
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 9783032412690; 3032412692 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 |
||||||
|
|
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 9783032403674; 3032403677 Subjects Data protection.; Computer networks.; Artificial intelligence.; Data and Information Security.; Computer Communication Networks.; Artificial Intelligence. LC Classification QA76.766 |
||||||
|
|
Landscape of 21st Century Mathematics : Selected Advances, 2001–2025 / |
Grechuk, Bogdan. | Imprint Springer; Springer Nature Switzerland | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-14 ISBN 9783032268884; 3032268885 Subjects Mathematics. LC Classification Unknown |
||||||
|
|
Foundations of Federated Learning / |
Ray, Partha Pratim. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN 9783032340849; 3032340845 Subjects Information visualization.; Mathematical statistics.; Computer science--Mathematics.; Data and Information Visualization.; Mathematical Statistics.; Mathematical Applications in Computer Science. LC Classification QA76.766 |
||||||
|
|
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 9783032415462; 3032415462 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 |
||||||
|
|
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 9783032387820; 3032387825 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 |
||||||
|
|
Introduction to Functional Analysis : Theory and Applications / |
Gatica, Gabriel N. | Imprint Springer; Springer Nature Switzerland | 2027. | Book - Electronic | |
|
Acquisition Date 2026-10-15 ISBN 9783032374158; 3032374154 Subjects Functional analysis.; Difference equations.; Functional equations.; Mathematical analysis.; Functional Analysis.; Difference and Functional Equations.; Analysis. LC Classification Unknown |
||||||
|
|
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 9783032401083; 3032401089 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 |
||||||
|
|
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 9783032407634; 303240763X 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. 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 9783032401113; 3032401119 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. 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 9783032401212; 3032401216 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 9783032401243; 3032401240 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 9789819268344; 9819268346 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 |
||||||
|
|
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 9789819268573; 9819268575 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 9783032322913; 303232291X 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 9783032420817; 3032420814 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 9789819268405; 9819268400 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 |
||||||
|
|
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 9789819268313; 9819268311 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 9783032401182; 3032401186 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 9783032392053; 3032392055 Subjects Software engineering.; Business information services.; Industrial organization.; Software Engineering.; IT in Business.; Organization. LC Classification QA76.75 |
||||||
|
|
Computability and computational explanation / |
Curtis-Trudel, André, author. | Cambridge University Press | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-27 ISBN 9781009551762; 1009551760 Subjects Computable functions. LC Classification QA1 |
||||||
|
|
A research agenda for big data and the law / |
- | Edward Elgar Publishing | 2026. | Book - Electronic | |
|
Acquisition Date 2026-10-29 ISBN 9781035314430; 1035314436 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 |
||||||