Acquisitions - New books at Leiden University Libraries - Computer Science

Home
Acquisitions
Computer Science

Showing 51-75 of 100

Sort list

Asc

Knowledge Management in Organisations : 20th International Conference, KMO 2026, Manila, Philippines, August 24–27, 2026, Proceedings /

Uden, Lorna.

2027. Book - Electronic

Acquisition Date

2026-08-06

ISBN

Subjects

Artificial intelligence.; Application software.; Computer networks.; Computer systems.; Computers.; Artificial Intelligence.; Computer and Information Systems Applications.; Computer Communication Networks.; Computer System Implementation.; Computing Milieux.

LC Classification

Unknown

From Data to Models and Back : 13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers /

Lestingi, Livia.

2026. Book - Electronic

Acquisition Date

2026-08-06

ISBN

Subjects

Software engineering.; Computer engineering.; Computer networks.; Artificial intelligence.; Computer science.; Software Engineering.; Computer Engineering and Networks.; Artificial Intelligence.; Theory of Computation.

LC Classification

QA76.75

Artificial Life and Evolutionary Computation : 19th Italian Workshop, WIVACE 2025, Siena, Italy, September 3–5, 2025, Proceedings /

Bianchini, Monica.

2027. Book - Electronic

Acquisition Date

2026-08-06

ISBN

Subjects

Artificial intelligence.; Computer science--Mathematics.; Computer science.; Computer networks.; Computers, Special purpose.; Artificial Intelligence.; Mathematics of Computing.; Theory of Computation.; Computer Communication Networks.; Special Purpose and Application-Based Systems.

LC Classification

Unknown

Proceedings of the Fifth International Conference on Innovations in Computing Research (ICR’26) /

Daimi, Kevin.

2027. Book - Electronic

Acquisition Date

2026-08-06

ISBN

Subjects

Computational intelligence.; Cooperating objects (Computer systems); Engineering--Data processing.; Medical informatics.; Computational Intelligence.; Cyber-Physical Systems.; Data Engineering.; Health Informatics.

LC Classification

Q300

Proceedings of International Conference on Computing Systems and Intelligent Applications : ComSIA 2026, Volume 1 /

Jaiswal, Ajay.

2027. Book - Electronic

Acquisition Date

2026-08-06

ISBN

Subjects

Computational intelligence.; Artificial intelligence.; Telecommunication.; Computational Intelligence.; Artificial Intelligence.; Communications Engineering, Networks.

LC Classification

Q300

Conspiracy theories in the European digital sphere /

2026. Book - Electronic

Acquisition Date

2026-08-05

ISBN

Subjects

Conspiracy theories--Europe.; Misinformation--Europe.; Social media and society--Europe.

LC Classification

AZ908.001

Why Research Leadership Matters : The Politics and Governance of Scientific Success.

Flinders, Matthew.

2026. Book - Electronic

Acquisition Date

2026-08-05

ISBN

Subjects

Educational leadership; Science and state

LC Classification

LB2341

Recent Trends and Challenges in Information Systems and Technologies : WorldCIST 2026, Volume 2 /

Rocha, Alvaro.

2027. Book - Electronic

Acquisition Date

2026-08-05

ISBN

Subjects

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

LC Classification

Q300

Physics-Based and Data-Driven Modeling for Digital Twins /

Cherifi, Karim.

2026. Book - Electronic

Acquisition Date

2026-08-04

ISBN

Subjects

Mathematics--Data processing.; Artificial intelligence--Data processing.; Computational Mathematics and Numerical Analysis.; Data Science.

LC Classification

Unknown

Progress in Industrial Mathematics at ECMI 2023 : 22nd ECMI Conference, Wrocław, Poland, June 26–30, Selected and Reviewed Papers /

Burnecki, Krzysztof.

2026. Book - Electronic

Acquisition Date

2026-08-04

ISBN

Subjects

Mathematical models.; Mathematics--Data processing.; Engineering mathematics.; Engineering--Data processing.; Mathematical Modeling and Industrial Mathematics.; Computational Mathematics and Numerical Analysis.; Mathematical and Computational Engineering Applications.

LC Classification

Unknown

Cooperative Safety Control of Multiagent Systems : A Fully Actuated System Approach.

Zhang, Ke.

2026. Book - Electronic

Acquisition Date

2026-08-02

ISBN

Subjects

LC Classification

QA76.75

Principles of New Science : Dialogue in the Stream of Life.

Weigand, Edda.

2026. Book - Electronic

Acquisition Date

2026-07-31

ISBN

Subjects

Complexity (Philosophy); Philosophy and science

LC Classification

Artificial General Intelligence : 19th International Conference, AGI 2026, San Francisco, CA, USA, July 27-30, 2026, Proceedings, Part I.

Iklé, Matthew.

2026. Book - Electronic

Acquisition Date

2026-07-31

ISBN

Subjects

LC Classification

Unknown

Humanities in Iran.

Daneshgar, Majid.

2026. Book - Electronic

Acquisition Date

2026-07-31

ISBN

Subjects

Intellectual history.; Chronology, Iranian

LC Classification

DS262.001

Simulation Science : Third International Workshop, SimScience 2025, Clausthal-Zellerfeld, Germany, May 7-9, 2025, Revised Selected Papers.

Merkert, Nina.

2026. Book - Electronic

Acquisition Date

2026-07-26

ISBN

Subjects

LC Classification

QA76.766

Information Security and Privacy : 31st Australasian Conference, ACISP 2026, Perth, WA, Australia, July 6-9, 2026, Proceedings, Part II.

Ma, Siqi.

2026. Book - Electronic

Acquisition Date

2026-07-26

ISBN

Subjects

LC Classification

QA76.766

Natural Language Processing and Large Language Models : Theory, Hand-On Codes, and Case Studies.

Zong, Chengqing.

2026. Book - Electronic

Acquisition Date

2026-07-26

ISBN

Subjects

LC Classification

QA76.766

Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III.

Darulova, Eva.

2026. Book - Electronic

Acquisition Date

2026-07-25

ISBN

Subjects

LC Classification

QA76.75

Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I.

Darulova, Eva.

2026. Book - Electronic

Acquisition Date

2026-07-25

ISBN

Subjects

LC Classification

QA76.75

Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II.

Darulova, Eva.

2026. Book - Electronic

Acquisition Date

2026-07-25

ISBN

Subjects

LC Classification

QA76.75

Artificial General Intelligence : 19th International Conference, AGI 2026, San Francisco, CA, USA, July 27-30, 2026, Proceedings, Part II.

Iklé, Matthew.

2026. Book - Electronic

Acquisition Date

2026-07-24

ISBN

Subjects

LC Classification

Unknown

Artificially yours : real friendship in a world of chatbots /

Tiberius, Valerie, author.

[2026] Book - Electronic

Acquisition Date

2026-07-23

ISBN

Subjects

Human-computer interaction.; Artificial intelligence--Social aspects.; COMPUTERS / Artificial Intelligence / General.; COMPUTERS / Human-Computer Interaction (HCI).; TECHNOLOGY & ENGINEERING / Engineering (General).; PHILOSOPHY / Metaphysics.; PHILOSOPHY / Mind & Body; Friendship--Philosophy; Electronic books.

LC Classification

QA76.766

Data and Applications Security and Privacy XL : 40th IFIP WG 11. 3 Annual Conference, DBSec 2026, Arlington, VA, USA, July 28-30, 2026, Proceedings.

Palanisamy, Balaji.

2026. Book - Electronic

Acquisition Date

2026-07-22

ISBN

Subjects

LC Classification

QA76.766

How to succeed at collaborative research : a practical guide for teams /

Bennett, L. Michelle, author.

2026. Book - Electronic

Acquisition Date

2026-07-21

ISBN

Subjects

Research teams.; Research teams--Management.

LC Classification

Analogical reasoning in science /

Nappo, Francesco, author.

2026. Book - Electronic

Acquisition Date

2026-07-21

ISBN

Subjects

Analogy.; Reasoning.; Science--Methodology.

LC Classification

Cover	Title	Author	Publisher	Publication Date	Resource Type
	Knowledge Management in Organisations : 20th International Conference, KMO 2026, Manila, Philippines, August 24–27, 2026, Proceedings /	Uden, Lorna.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-06 ISBN - Subjects Artificial intelligence.; Application software.; Computer networks.; Computer systems.; Computers.; Artificial Intelligence.; Computer and Information Systems Applications.; Computer Communication Networks.; Computer System Implementation.; Computing Milieux. LC Classification Unknown
	From Data to Models and Back : 13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers /	Lestingi, Livia.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-06 ISBN - Subjects Software engineering.; Computer engineering.; Computer networks.; Artificial intelligence.; Computer science.; Software Engineering.; Computer Engineering and Networks.; Artificial Intelligence.; Theory of Computation. LC Classification QA76.75
	Artificial Life and Evolutionary Computation : 19th Italian Workshop, WIVACE 2025, Siena, Italy, September 3–5, 2025, Proceedings /	Bianchini, Monica.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-06 ISBN - Subjects Artificial intelligence.; Computer science--Mathematics.; Computer science.; Computer networks.; Computers, Special purpose.; Artificial Intelligence.; Mathematics of Computing.; Theory of Computation.; Computer Communication Networks.; Special Purpose and Application-Based Systems. LC Classification Unknown
	Proceedings of the Fifth International Conference on Innovations in Computing Research (ICR’26) /	Daimi, Kevin.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-06 ISBN - Subjects Computational intelligence.; Cooperating objects (Computer systems); Engineering--Data processing.; Medical informatics.; Computational Intelligence.; Cyber-Physical Systems.; Data Engineering.; Health Informatics. LC Classification Q300
	Proceedings of International Conference on Computing Systems and Intelligent Applications : ComSIA 2026, Volume 1 /	Jaiswal, Ajay.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-06 ISBN - Subjects Computational intelligence.; Artificial intelligence.; Telecommunication.; Computational Intelligence.; Artificial Intelligence.; Communications Engineering, Networks. LC Classification Q300
	Conspiracy theories in the European digital sphere /	-	Routledge	2026.	Book - Electronic
Acquisition Date 2026-08-05 ISBN - Subjects Conspiracy theories--Europe.; Misinformation--Europe.; Social media and society--Europe. LC Classification AZ908.001
	Why Research Leadership Matters : The Politics and Governance of Scientific Success.	Flinders, Matthew.	Policy Press	2026.	Book - Electronic
Acquisition Date 2026-08-05 ISBN - Subjects Educational leadership; Science and state LC Classification LB2341
	Recent Trends and Challenges in Information Systems and Technologies : WorldCIST 2026, Volume 2 /	Rocha, Alvaro.	Imprint Springer; Springer Nature Switzerland	2027.	Book - Electronic
Acquisition Date 2026-08-05 ISBN - Subjects Computational intelligence.; Engineering--Data processing.; Application software.; Computational Intelligence.; Data Engineering.; Computer and Information Systems Applications. LC Classification Q300
	Physics-Based and Data-Driven Modeling for Digital Twins /	Cherifi, Karim.	Imprint Springer; Springer Nature Singapore	2026.	Book - Electronic
Acquisition Date 2026-08-04 ISBN - Subjects Mathematics--Data processing.; Artificial intelligence--Data processing.; Computational Mathematics and Numerical Analysis.; Data Science. LC Classification Unknown
	Progress in Industrial Mathematics at ECMI 2023 : 22nd ECMI Conference, Wrocław, Poland, June 26–30, Selected and Reviewed Papers /	Burnecki, Krzysztof.	Imprint Springer; Springer Nature Switzerland	2026.	Book - Electronic
Acquisition Date 2026-08-04 ISBN - Subjects Mathematical models.; Mathematics--Data processing.; Engineering mathematics.; Engineering--Data processing.; Mathematical Modeling and Industrial Mathematics.; Computational Mathematics and Numerical Analysis.; Mathematical and Computational Engineering Applications. LC Classification Unknown
	Cooperative Safety Control of Multiagent Systems : A Fully Actuated System Approach.	Zhang, Ke.	Springer	2026.	Book - Electronic
Acquisition Date 2026-08-02 ISBN - Subjects - LC Classification QA76.75
	Principles of New Science : Dialogue in the Stream of Life.	Weigand, Edda.	John Benjamins Publishing Company	2026.	Book - Electronic
Acquisition Date 2026-07-31 ISBN - Subjects Complexity (Philosophy); Philosophy and science LC Classification Q1
	Artificial General Intelligence : 19th International Conference, AGI 2026, San Francisco, CA, USA, July 27-30, 2026, Proceedings, Part I.	Iklé, Matthew.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-31 ISBN - Subjects - LC Classification Unknown
	Humanities in Iran.	Daneshgar, Majid.	BRILL	2026.	Book - Electronic
Acquisition Date 2026-07-31 ISBN - Subjects Intellectual history.; Chronology, Iranian LC Classification DS262.001
	Simulation Science : Third International Workshop, SimScience 2025, Clausthal-Zellerfeld, Germany, May 7-9, 2025, Revised Selected Papers.	Merkert, Nina.	Springer International Publishing AG	2026.	Book - Electronic
Acquisition Date 2026-07-26 ISBN - Subjects - LC Classification QA76.766
	Information Security and Privacy : 31st Australasian Conference, ACISP 2026, Perth, WA, Australia, July 6-9, 2026, Proceedings, Part II.	Ma, Siqi.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-26 ISBN - Subjects - LC Classification QA76.766
	Natural Language Processing and Large Language Models : Theory, Hand-On Codes, and Case Studies.	Zong, Chengqing.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-26 ISBN - Subjects - LC Classification QA76.766
	Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III.	Darulova, Eva.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-25 ISBN - Subjects - LC Classification QA76.75
	Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I.	Darulova, Eva.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-25 ISBN - Subjects - LC Classification QA76.75
	Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II.	Darulova, Eva.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-25 ISBN - Subjects - LC Classification QA76.75
	Artificial General Intelligence : 19th International Conference, AGI 2026, San Francisco, CA, USA, July 27-30, 2026, Proceedings, Part II.	Iklé, Matthew.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-24 ISBN - Subjects - LC Classification Unknown
	Artificially yours : real friendship in a world of chatbots /	Tiberius, Valerie, author.	Princeton University Press	[2026]	Book - Electronic
Acquisition Date 2026-07-23 ISBN - Subjects Human-computer interaction.; Artificial intelligence--Social aspects.; COMPUTERS / Artificial Intelligence / General.; COMPUTERS / Human-Computer Interaction (HCI).; TECHNOLOGY & ENGINEERING / Engineering (General).; PHILOSOPHY / Metaphysics.; PHILOSOPHY / Mind & Body; Friendship--Philosophy; Electronic books. LC Classification QA76.766
	Data and Applications Security and Privacy XL : 40th IFIP WG 11. 3 Annual Conference, DBSec 2026, Arlington, VA, USA, July 28-30, 2026, Proceedings.	Palanisamy, Balaji.	Springer	2026.	Book - Electronic
Acquisition Date 2026-07-22 ISBN - Subjects - LC Classification QA76.766
	How to succeed at collaborative research : a practical guide for teams /	Bennett, L. Michelle, author.	Bristol University Press	2026.	Book - Electronic
Acquisition Date 2026-07-21 ISBN - Subjects Research teams.; Research teams--Management. LC Classification Q1
	Analogical reasoning in science /	Nappo, Francesco, author.	Cambridge University Press	2026.	Book - Electronic
Acquisition Date 2026-07-21 ISBN - Subjects Analogy.; Reasoning.; Science--Methodology. LC Classification Q1