Acquisitions - New books at Leiden University Libraries - Computer Science

Home
Acquisitions
Computer Science

Showing 1-25 of 100

Sort list

Asc

Operationalizing responsible AI /

2026. Book - Electronic

Acquisition Date

2026-09-03

ISBN

Subjects

Artificial intelligence.

LC Classification

Q300

History of the humanities : a new field of study /

Paul, Herman, author.

2026. Book - Electronic

Acquisition Date

2026-09-03

ISBN

Subjects

Humanities--History.

LC Classification

AZ200

Blockchain fundamentals, data structures, and algorithms for data science /

Ak?cora, C?uneyt G?urcan, author.

2026. Book - Electronic

Acquisition Date

2026-09-03

ISBN

Subjects

Blockchains (Databases); Cryptocurrencies.

LC Classification

QA76.766

Predictive Cooperative Control for High-Order Fully Actuated Multiagent Systems /

Zhang, Da-Wei. author.

2026. Book - Electronic

Acquisition Date

2026-08-27

ISBN

Subjects

Artificial intelligence.; Multiagent systems.; Intelligence Infrastructure.; Multiagent Systems.

LC Classification

TA329

H4SD3: A Four-Honey Framework Based on Software-Defined Cyber Deception Defense : A Safeguard Defense Mode (SDM) for Proactive Cybersecurity Principles and Models /

Tian, Zhihong. author.

2026. Book - Electronic

Acquisition Date

2026-08-25

ISBN

Subjects

Data protection.; Computer security.; Data and Information Security.; Principles and Models of Security.; Security Services.

LC Classification

QA76.766

Advances in Artificial Intelligence and Smart Environments: Proceedings of ICAISE 2025 : Volume 3 /

Farhaoui, Yousef.

2027. Book - Electronic

Acquisition Date

2026-08-25

ISBN

Subjects

Computational intelligence.; Engineering--Data processing.; Artificial intelligence.; Computational Intelligence.; Data Engineering.; Artificial Intelligence.

LC Classification

Q300

Information Technology & Systems : ICITS 2026, Volume 2 /

Rocha, Alvaro;Ferrás, Carlos;Loo, Luis

2027. Book - Electronic

Acquisition Date

2026-08-24

ISBN

Subjects

Computational intelligence.; Engineering--Data processing.; Application software.; Computational Intelligence.; Data Engineering.; Computer and Information Systems Applications.

LC Classification

Q300

Explainable AI in Space : Second International Workshop, EASi 2026, Held in Conjunction with the 35th International Joint Conference on Artificial Intelligence, IJCAI-ECAI 2026, Bremen, Germany, August 15–21, 2026, Proceedings /

Nalepa, Jakub;Biecek, Przemysław;Kotowski, Krzysztof;Tulczyjew, Lukasz;Kraft, Marek;Longépé, Nicolas;Ntagiou, Evridiki V.;Wijata, Agata M.

2027. Book - Electronic

Acquisition Date

2026-08-24

ISBN

Subjects

Artificial intelligence.; Artificial Intelligence.

LC Classification

Unknown

From algorithms to evidence : using GenAI in evaluation practice /

2026. Book - Electronic

Acquisition Date

2026-08-24

ISBN

Subjects

Evaluation research (Social action programs)--Data processing.; Generative artificial intelligence.

LC Classification

White papers on dissent : rethinking art, value, and resistance through blockchain /

Cueto, Barbara, 1986- author

2026. Book - Electronic

Acquisition Date

2026-08-20

ISBN

Subjects

Blockchains (Databases)--Social aspects.; Social structure--Technological innovations.; Technology and the arts

LC Classification

QA76.766

Head and Neck Tumor Lesion Segmentation, Diagnosis and Prognosis : 4th Challenge, HECKTOR 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings /

Saeed, Numan.

2026. Book - Electronic

Acquisition Date

2026-08-20

ISBN

Subjects

Image processing--Digital techniques.; Computer vision.; Image processing.; Machine learning.; Bioinformatics.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Image Processing.; Machine Learning.; Computational and Systems Biology.

LC Classification

Unknown

Advances in Artificial Intelligence and Smart Environments: Proceedings of ICAISE 2025 : Volume 1 /

Farhaoui, Yousef.

2027. Book - Electronic

Acquisition Date

2026-08-20

ISBN

Subjects

Computational intelligence.; Engineering--Data processing.; Artificial intelligence.; Computational Intelligence.; Data Engineering.; Artificial Intelligence.

LC Classification

Q300

Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part IV /

Heninger, Nadia.

2026. Book - Electronic

Acquisition Date

2026-08-20

ISBN

Subjects

Cryptography.; Data encryption (Computer science); Computer networks--Security measures.; Coding theory.; Information theory.; Cryptology.; Mobile and Network Security.; Coding and Information Theory.

LC Classification

QA150

Advances in Applied and Computational Mathematics : ICRAMCS 2025, Marrakech, Morocco, April 24-26 /

El foutayeni, Youssef.

2026. Book - Electronic

Acquisition Date

2026-08-20

ISBN

Subjects

Stochastic models.; Numerical analysis.; Quantum communication.; Stochastic Modelling.; Numerical Analysis.; Quantum Communications and Cryptography.

LC Classification

QA273

Intelligent Systems and Applications : Proceedings of the 2026 Intelligent Systems Conference (IntelliSys), Volume 2 /

Arai, Kohei.

2027. Book - Electronic

Acquisition Date

2026-08-17

ISBN

Subjects

Computational intelligence.; Automatic control.; Robotics.; Automation.; Artificial intelligence.; Computational Intelligence.; Control, Robotics, Automation.; Artificial Intelligence.

LC Classification

Q300

Pan-African Artificial Intelligence and Smart Systems : 4th Pan-African Artificial Intelligence and Smart Systems Conference, PAAISS 2025, Kumasi, Ghana, October 15–17, 2025, Proceedings /

Ngatched Nkouatchah, Telex Magloire.

2027. Book - Electronic

Acquisition Date

2026-08-17

ISBN

Subjects

Artificial intelligence.; Social sciences--Data processing.; Computer engineering.; Computer networks.; Artificial Intelligence.; Computer Application in Social and Behavioral Sciences.; Computer Engineering and Networks.

LC Classification

Unknown

Blueprints for Future Living : AI-Driven Urban Innovation and Resilient Cities /

Sargiotis, Dimitrios.

2027. Book - Electronic

Acquisition Date

2026-08-17

ISBN

Subjects

Artificial intelligence.; Bioclimatology.; Biotic communities.; Artificial Intelligence.; Sustainability.; Climate Change Ecology.; Ecosystems.

LC Classification

Unknown

Human Behavior Analysis and Interaction for Emotional Intelligence : The First Workshop on EI-MiGA@IJCAI 2026, IJCAI 2026, Bremen, Germany, August 15–21, 2026, Proceedings /

Chen, Haoyu.

2027. Book - Electronic

Acquisition Date

2026-08-17

ISBN

Subjects

Artificial intelligence.; Aging.; Geriatric nursing.; Artificial Intelligence.; Ageing.; Geriatric Care.; Geriatrics.

LC Classification

Unknown

Blending Experiences in Interaction Design : INTERACT 2025 IFIP TC 13 Workshops, Belo Horizonte, Brazil, September 8–12, 2025, Revised Selected Papers, Part II /

Maciel, Cristiano.

2026. Book - Electronic

Acquisition Date

2026-08-15

ISBN

Subjects

User interfaces (Computer systems); Human-computer interaction.; User Interfaces and Human Computer Interaction.

LC Classification

QA76.766

Multi-Agent Systems : 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3–5, 2025, Proceedings, Part II /

Baldoni, Matteo.

2026. Book - Electronic

Acquisition Date

2026-08-15

ISBN

Subjects

Artificial intelligence.; Coding theory.; Information theory.; Computer engineering.; Computer networks.; Information technology--Management.; Application software.; User interfaces (Computer systems); Human-computer interaction.; Artificial Intelligence.; Coding and Information Theory.; Computer Engineering and Networks.; Computer Application in Administrative Data Processing.; Computer and Information Systems Applications.; User Interfaces and Human Computer Interaction.

LC Classification

Unknown

Multi-Agent Systems : 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3–5, 2025, Proceedings, Part I /

Baldoni, Matteo.

2026. Book - Electronic

Acquisition Date

2026-08-15

ISBN

Subjects

LC Classification

Unknown

Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part X /

Heninger, Nadia.

2026. Book - Electronic

Acquisition Date

2026-08-14

ISBN

Subjects

LC Classification

QA150

Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part VII /

Heninger, Nadia.

2026. Book - Electronic

Acquisition Date

2026-08-14

ISBN

Subjects

LC Classification

QA150

Implementation and Application of Automata : 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5–8, 2026, Proceedings /

Smith, Taylor J.

2026. Book - Electronic

Acquisition Date

2026-08-14

ISBN

Subjects

Computer science.; Artificial intelligence.; Information storage and retrieval systems.; Computer science--Mathematics.; Discrete mathematics.; Computer Science Logic and Foundations of Programming.; Artificial Intelligence.; Information Storage and Retrieval.; Algorithms.; Discrete Mathematics in Computer Science.; Theory of Computation.

LC Classification

Unknown

Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part VI /

Heninger, Nadia.

2026. Book - Electronic

Acquisition Date

2026-08-13

ISBN

Subjects

LC Classification

QA150

Cover	Title	Author	Publisher	Publication Date	Resource Type
	Operationalizing responsible AI /	-	Cambridge University Press	2026.	Book - Electronic
Acquisition Date 2026-09-03 ISBN - Subjects Artificial intelligence. LC Classification Q300
	History of the humanities : a new field of study /	Paul, Herman, author.	Cambridge University Press	2026.	Book - Electronic
Acquisition Date 2026-09-03 ISBN - Subjects Humanities--History. LC Classification AZ200
	Blockchain fundamentals, data structures, and algorithms for data science /	Ak?cora, C?uneyt G?urcan, author.	Cambridge University Press	2026.	Book - Electronic
Acquisition Date 2026-09-03 ISBN - Subjects Blockchains (Databases); Cryptocurrencies. LC Classification QA76.766
	Predictive Cooperative Control for High-Order Fully Actuated Multiagent Systems /	Zhang, Da-Wei. author.	Imprint Springer; Springer Nature Singapore	2026.	Book - Electronic
Acquisition Date 2026-08-27 ISBN - Subjects Artificial intelligence.; Multiagent systems.; Intelligence Infrastructure.; Multiagent Systems. LC Classification TA329
	H4SD3: A Four-Honey Framework Based on Software-Defined Cyber Deception Defense : A Safeguard Defense Mode (SDM) for Proactive Cybersecurity Principles and Models /	Tian, Zhihong. author.	Imprint Springer; Springer Nature Singapore	2026.	Book - Electronic
Acquisition Date 2026-08-25 ISBN - Subjects Data protection.; Computer security.; Data and Information Security.; Principles and Models of Security.; Security Services. LC Classification QA76.766
	Advances in Artificial Intelligence and Smart Environments: Proceedings of ICAISE 2025 : Volume 3 /	Farhaoui, Yousef.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-25 ISBN - Subjects Computational intelligence.; Engineering--Data processing.; Artificial intelligence.; Computational Intelligence.; Data Engineering.; Artificial Intelligence. LC Classification Q300
	Information Technology & Systems : ICITS 2026, Volume 2 /	Rocha, Alvaro;Ferrás, Carlos;Loo, Luis	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-24 ISBN - Subjects Computational intelligence.; Engineering--Data processing.; Application software.; Computational Intelligence.; Data Engineering.; Computer and Information Systems Applications. LC Classification Q300
	Explainable AI in Space : Second International Workshop, EASi 2026, Held in Conjunction with the 35th International Joint Conference on Artificial Intelligence, IJCAI-ECAI 2026, Bremen, Germany, August 15–21, 2026, Proceedings /	Nalepa, Jakub;Biecek, Przemysław;Kotowski, Krzysztof;Tulczyjew, Lukasz;Kraft, Marek;Longépé, Nicolas;Ntagiou, Evridiki V.;Wijata, Agata M.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-24 ISBN - Subjects Artificial intelligence.; Artificial Intelligence. LC Classification Unknown
	From algorithms to evidence : using GenAI in evaluation practice /	-	Routledge	2026.	Book - Electronic
Acquisition Date 2026-08-24 ISBN - Subjects Evaluation research (Social action programs)--Data processing.; Generative artificial intelligence. LC Classification H1
	White papers on dissent : rethinking art, value, and resistance through blockchain /	Cueto, Barbara, 1986- author	MIT Press	2026.	Book - Electronic
Acquisition Date 2026-08-20 ISBN - Subjects Blockchains (Databases)--Social aspects.; Social structure--Technological innovations.; Technology and the arts LC Classification QA76.766
	Head and Neck Tumor Lesion Segmentation, Diagnosis and Prognosis : 4th Challenge, HECKTOR 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings /	Saeed, Numan.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-20 ISBN - Subjects Image processing--Digital techniques.; Computer vision.; Image processing.; Machine learning.; Bioinformatics.; Computer Imaging, Vision, Pattern Recognition and Graphics.; Image Processing.; Machine Learning.; Computational and Systems Biology. LC Classification Unknown
	Advances in Artificial Intelligence and Smart Environments: Proceedings of ICAISE 2025 : Volume 1 /	Farhaoui, Yousef.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-20 ISBN - Subjects Computational intelligence.; Engineering--Data processing.; Artificial intelligence.; Computational Intelligence.; Data Engineering.; Artificial Intelligence. LC Classification Q300
	Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part IV /	Heninger, Nadia.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-20 ISBN - Subjects Cryptography.; Data encryption (Computer science); Computer networks--Security measures.; Coding theory.; Information theory.; Cryptology.; Mobile and Network Security.; Coding and Information Theory. LC Classification QA150
	Advances in Applied and Computational Mathematics : ICRAMCS 2025, Marrakech, Morocco, April 24-26 /	El foutayeni, Youssef.	Imprint Birkhäuser; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-20 ISBN - Subjects Stochastic models.; Numerical analysis.; Quantum communication.; Stochastic Modelling.; Numerical Analysis.; Quantum Communications and Cryptography. LC Classification QA273
	Intelligent Systems and Applications : Proceedings of the 2026 Intelligent Systems Conference (IntelliSys), Volume 2 /	Arai, Kohei.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-17 ISBN - Subjects Computational intelligence.; Automatic control.; Robotics.; Automation.; Artificial intelligence.; Computational Intelligence.; Control, Robotics, Automation.; Artificial Intelligence. LC Classification Q300
	Pan-African Artificial Intelligence and Smart Systems : 4th Pan-African Artificial Intelligence and Smart Systems Conference, PAAISS 2025, Kumasi, Ghana, October 15–17, 2025, Proceedings /	Ngatched Nkouatchah, Telex Magloire.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-17 ISBN - Subjects Artificial intelligence.; Social sciences--Data processing.; Computer engineering.; Computer networks.; Artificial Intelligence.; Computer Application in Social and Behavioral Sciences.; Computer Engineering and Networks. LC Classification Unknown
	Blueprints for Future Living : AI-Driven Urban Innovation and Resilient Cities /	Sargiotis, Dimitrios.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-17 ISBN - Subjects Artificial intelligence.; Bioclimatology.; Biotic communities.; Artificial Intelligence.; Sustainability.; Climate Change Ecology.; Ecosystems. LC Classification Unknown
	Human Behavior Analysis and Interaction for Emotional Intelligence : The First Workshop on EI-MiGA@IJCAI 2026, IJCAI 2026, Bremen, Germany, August 15–21, 2026, Proceedings /	Chen, Haoyu.	Imprint Springer; Springer Nature Singapore	2027.	Book - Electronic
Acquisition Date 2026-08-17 ISBN - Subjects Artificial intelligence.; Aging.; Geriatric nursing.; Artificial Intelligence.; Ageing.; Geriatric Care.; Geriatrics. LC Classification Unknown
	Blending Experiences in Interaction Design : INTERACT 2025 IFIP TC 13 Workshops, Belo Horizonte, Brazil, September 8–12, 2025, Revised Selected Papers, Part II /	Maciel, Cristiano.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-15 ISBN - Subjects User interfaces (Computer systems); Human-computer interaction.; User Interfaces and Human Computer Interaction. LC Classification QA76.766
	Multi-Agent Systems : 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3–5, 2025, Proceedings, Part II /	Baldoni, Matteo.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-15 ISBN - Subjects Artificial intelligence.; Coding theory.; Information theory.; Computer engineering.; Computer networks.; Information technology--Management.; Application software.; User interfaces (Computer systems); Human-computer interaction.; Artificial Intelligence.; Coding and Information Theory.; Computer Engineering and Networks.; Computer Application in Administrative Data Processing.; Computer and Information Systems Applications.; User Interfaces and Human Computer Interaction. LC Classification Unknown
	Multi-Agent Systems : 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3–5, 2025, Proceedings, Part I /	Baldoni, Matteo.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-15 ISBN - Subjects Artificial intelligence.; Coding theory.; Information theory.; Computer engineering.; Computer networks.; Information technology--Management.; Application software.; User interfaces (Computer systems); Human-computer interaction.; Artificial Intelligence.; Coding and Information Theory.; Computer Engineering and Networks.; Computer Application in Administrative Data Processing.; Computer and Information Systems Applications.; User Interfaces and Human Computer Interaction. LC Classification Unknown
	Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part X /	Heninger, Nadia.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-14 ISBN - Subjects Cryptography.; Data encryption (Computer science); Computer networks--Security measures.; Coding theory.; Information theory.; Cryptology.; Mobile and Network Security.; Coding and Information Theory. LC Classification QA150
	Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part VII /	Heninger, Nadia.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-14 ISBN - Subjects Cryptography.; Data encryption (Computer science); Computer networks--Security measures.; Coding theory.; Information theory.; Cryptology.; Mobile and Network Security.; Coding and Information Theory. LC Classification QA150
	Implementation and Application of Automata : 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5–8, 2026, Proceedings /	Smith, Taylor J.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-14 ISBN - Subjects Computer science.; Artificial intelligence.; Information storage and retrieval systems.; Computer science--Mathematics.; Discrete mathematics.; Computer Science Logic and Foundations of Programming.; Artificial Intelligence.; Information Storage and Retrieval.; Algorithms.; Discrete Mathematics in Computer Science.; Theory of Computation. LC Classification Unknown
	Advances in Cryptology – CRYPTO 2026 : 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part VI /	Heninger, Nadia.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-13 ISBN - Subjects Cryptography.; Data encryption (Computer science); Computer networks--Security measures.; Coding theory.; Information theory.; Cryptology.; Mobile and Network Security.; Coding and Information Theory. LC Classification QA150