Acquisitions - New books at Leiden University Libraries https://acquisitions.library.universiteitleiden.nl Discover the latest journals and books acquisitions at the Leiden University Libraries 2026-11-12 <![CDATA[A research agenda for big data and the law /]]> 2026. Book - Electronic 2026-10-29 14:47:27 2026-10-29 14:47:27 <![CDATA[Computability and computational explanation /]]> Curtis-Trudel, André, author. 2026. Book - Electronic 2026-10-27 10:43:59 2026-10-27 10:43:59 <![CDATA[Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2026 Workshops, São Paulo, Brazil, April 8–11, 2026, Revised Selected Papers /]]> 2027. Book - Electronic 2026-10-26 12:42:48 2026-10-26 12:42:48 <![CDATA[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 /]]> 2027. Book - Electronic 2026-10-24 12:24:56 2026-10-24 12:24:56 <![CDATA[Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part I /]]> Su, Chunhua. 2027. Book - Electronic 2026-10-20 12:25:55 2026-10-20 12:25:55 <![CDATA[Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part V /]]> Su, Chunhua. 2027. Book - Electronic 2026-10-19 12:39:36 2026-10-19 12:39:36 <![CDATA[Web and Wireless Geographical Information Systems : 23rd International Symposium, W2GIS 2026, Beijing, China, November 13–15, 2026, Proceedings /]]> Peng, Peng. 2027. Book - Electronic 2026-10-19 12:39:36 2026-10-19 12:39:36 <![CDATA[Argument Mining /]]> Stede, Manfred. author. 2027. Book - Electronic 2026-10-19 12:39:35 2026-10-19 12:39:35 <![CDATA[Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part IV /]]> Su, Chunhua. 2027. Book - Electronic 2026-10-18 12:35:56 2026-10-18 12:35:56 <![CDATA[Information and Communications Security : 28th International Conference, ICICS 2026, Fukui, Japan, October 27–30, 2026, Proceedings, Part II /]]> Su, Chunhua. 2027. Book - Electronic 2026-10-17 13:03:28 2026-10-17 13:03:28 <![CDATA[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 /]]> 2027. Book - Electronic 2026-10-17 13:03:28 2026-10-17 13:03:28 <![CDATA[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 /]]> 2027. Book - Electronic 2026-10-17 13:03:28 2026-10-17 13:03:28 <![CDATA[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 /]]> 2027. Book - Electronic 2026-10-16 12:35:46 2026-10-16 12:35:46 <![CDATA[Software and Systems Reuse, Product Lines, and Configuration : First International Conference, VARIABILITY 2026, Limassol, Cyprus, September 29–October 2, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-16 12:35:45 2026-10-16 12:35:45 <![CDATA[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 /]]> 2027. Book - Electronic 2026-10-16 12:35:45 2026-10-16 12:35:45 <![CDATA[Introduction to Functional Analysis : Theory and Applications /]]> Gatica, Gabriel N. 2027. Book - Electronic 2026-10-15 12:59:29 2026-10-15 12:59:29 <![CDATA[Algorithmic Game Theory : 19th International Symposium, SAGT 2026, Augsburg, Germany, September 15–18, 2026, Proceedings /]]> Lenzner, Pascal. 2027. Book - Electronic 2026-10-15 12:59:29 2026-10-15 12:59:29 <![CDATA[Analysis of Images, Social Networks and Texts : 13th International Conference, AIST 2026, Astana, Kazakhstan, October 16–18, 2026, Proceedings /]]> Tsymbalov, Evgenii. 2027. Book - Electronic 2026-10-15 12:59:28 2026-10-15 12:59:28 <![CDATA[Foundations of Federated Learning /]]> Ray, Partha Pratim. 2027. Book - Electronic 2026-10-15 12:59:28 2026-10-15 12:59:28 <![CDATA[Landscape of 21st Century Mathematics : Selected Advances, 2001–2025 /]]> Grechuk, Bogdan. 2026. Book - Electronic 2026-10-14 12:37:30 2026-10-14 12:37:30 <![CDATA[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 2026-10-14 12:37:30 2026-10-14 12:37:30 <![CDATA[Bridging the Gap Between AI and Reality : 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-13 12:41:18 2026-10-13 12:41:18 <![CDATA[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 2026-10-13 12:41:17 2026-10-13 12:41:17 <![CDATA[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 2026-10-11 12:52:02 2026-10-11 12:52:02 <![CDATA[OpenMP: Adaptability for Heterogeneous Multi‑Device Systems : 22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings /]]> Royuela, Sara. 2027. Book - Electronic 2026-10-10 12:22:11 2026-10-10 12:22:11 <![CDATA[Statistical Science: From Theory to Applied Research I : SIS-FENStatS 2026, Short Papers, Plenary, Specialized, FENStatS, and Solicited Sessions /]]> 2026. Book - Electronic 2026-10-10 12:22:10 2026-10-10 12:22:10 <![CDATA[Creative Mathematical Sciences Communication : 8th International Conference, CMSC 2026, Padua, Italy, October 12–15, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-10 12:22:10 2026-10-10 12:22:10 <![CDATA[Cognitive Computing - ICCC 2026 : 10th International Conference, Held as Part of the Smart Computing Frontier, SCF 2026, Kuala Lumpur, Malaysia, August 22-25, 2026, Proceedings /]]> Xu, Ruifeng. 2027. Book - Electronic 2026-10-10 12:22:09 2026-10-10 12:22:09 <![CDATA[Big Data - Big Data 2026 : 15th International Conference, Held as Part of the Smart Computing Frontier, SCF 2026, Kuala Lumpur, Malaysia, August 22-25, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-09 12:36:21 2026-10-09 12:36:21 <![CDATA[Computer Security – ESORICS 2026 : 31st European Symposium on Research in Computer Security, Rome, Italy, September 14–18, 2026, Proceedings, Part IV /]]> 2027. Book - Electronic 2026-10-09 12:36:20 2026-10-09 12:36:20 <![CDATA[Service-Oriented and Cloud Computing : 12th IFIP WG 6.12 European Conference, ESOCC 2026, Bolzano, Italy, September 7–8, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-09 12:36:20 2026-10-09 12:36:20 <![CDATA[Web and Big Data : 10th Asia-Pacific Web (APWeb) and Web-Age Information Management (WAIM) International Joint Conference, APWeb-WAIM 2026, Danang, Vietnam, September 7–9, 2026, Proceedings, Part II /]]> Ding, Lingling. 2027. Book - Electronic 2026-10-09 12:36:19 2026-10-09 12:36:19 <![CDATA[Security and Trust Management : 22nd International Workshop, STM 2026, Rome, Italy, September 14–18, 2026, Proceedings /]]> 2027. Book - Electronic 2026-10-09 12:36:19 2026-10-09 12:36:19 <![CDATA[Computer Security – ESORICS 2026 : 31st European Symposium on Research in Computer Security, Rome, Italy, September 14–18, 2026, Proceedings, Part I /]]> Spognardi, Angelo. 2027. Book - Electronic 2026-10-09 12:36:19 2026-10-09 12:36:19 <![CDATA[Software Architecture : 20th European Conference, ECSA 2026, Bolzano, Italy, September 7–11, 2026, Proceedings /]]> Janes, Andrea. 2027. Book - Electronic 2026-10-08 13:00:31 2026-10-08 13:00:31 <![CDATA[Computer Security – ESORICS 2026 : 31st European Symposium on Research in Computer Security, Rome, Italy, September 14–18, 2026, Proceedings, Part III /]]> Spognardi, Angelo. 2027. Book - Electronic 2026-10-07 12:31:36 2026-10-07 12:31:36 <![CDATA[Generalized Heisenberg Groups and the Schrödinger–Weil Representation /]]> Yang, Jae-Hyun. 2026. Book - Electronic 2026-10-06 12:47:48 2026-10-06 12:47:48 <![CDATA[Conceptual Modeling : 45th International Conference, ER 2026, St. John's, NL, Canada, October 5–8, 2026, Proceedings /]]> Bernasconi, Anna. 2027. Book - Electronic 2026-10-06 12:47:47 2026-10-06 12:47:47 <![CDATA[Difference Equations and Discrete Dynamical Systems with Applications : ICDEA 29, Paris, France, June 24–28, 2024 /]]> Elaydi, Saber. 2026. Book - Electronic 2026-10-06 12:47:46 2026-10-06 12:47:46 <![CDATA[Constructive Approaches for Security Analysis and Design of Embedded Systems : Second International Conference, CASCADE 2026, Regensburg, Germany, March 30 – April 1, 2026, Proceedings /]]> Cassiers, Gaëtan. 2026. Book - Electronic 2026-10-06 12:47:45 2026-10-06 12:47:45 <![CDATA[Emotion and virtual reality /]]> Cupchik, Gerald, author. 2026. Book - Electronic 2026-10-03 15:34:13 2026-10-03 15:34:13 <![CDATA[Quality of Information and Communications Technology : 18th International Conference, QUATIC 2025, Lisbon, Portugal, September 3–5, 2025, Proceedings, Part II /]]> Rio, Américo. 2027. Book - Electronic 2026-10-03 12:42:17 2026-10-03 12:42:17 <![CDATA[Quality of Information and Communications Technology : 18th International Conference, QUATIC 2025, Lisbon, Portugal, September 3–5, 2025, Proceedings, Part I /]]> Rio, Américo. 2027. Book - Electronic 2026-10-03 12:42:17 2026-10-03 12:42:17 <![CDATA[Commutative Algebra.]]> Goto, Shiro. author 2026. Book - Electronic 2026-10-02 12:36:16 2026-10-02 12:36:16 <![CDATA[Models for Longitudinal Data with Applications to Early Warning Systems : Workshops of the PRIN Project, Perugia, Italy, 19 September 2024, 11 September 2025 and 23 January 2026 /]]> Bartolucci, Francesco. 2026. Book - Electronic 2026-10-02 12:36:14 2026-10-02 12:36:14 <![CDATA[Master Sun's problem : a mathematical epic 2,000 years in the making /]]> Mackenzie, Dana, author. [2026] Book - Electronic 2026-10-02 12:02:17 2026-10-02 12:02:17 <![CDATA[Advances in Conceptual Modeling : ER 2026 Workshops, CMLS, LLM4Modeling, St. John's, NL, Canada, October 5-8, 2026, Proceedings.]]> Fettke, Peter. 2026. Book - Electronic 2026-10-01 16:09:01 2026-10-01 16:09:01 <![CDATA[Advances in Neural Networks - ISNN 2026 : 20th International Symposium on Neural Networks, Hanzhong, China, August 18-21, 2026, Proceedings.]]> Zhang, Zhijun. 2026. Book - Electronic 2026-10-01 16:09:00 2026-10-01 16:09:00 <![CDATA[Electronic Voting : 11th International Joint Conference, e-Vote-ID 2026, Tallinn, Estonia, October 6-9, 2026, Proceedings.]]> Duenas-Cid, David. 2026. Book - Electronic 2026-10-01 16:08:59 2026-10-01 16:08:59 <![CDATA[Human-Centered Software Engineering : 11th IFIP WG 13. 2 International Working Conference, HCSE 2026, Paderborn, Germany, September 30 - October 1, 2026, Proceedings.]]> Sauer, Stefan. 2026. Book - Electronic 2026-10-01 16:08:58 2026-10-01 16:08:58