Computer science books

120003 books were found.

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem

Concise Introduction to Alternating-Time Temporal Logics:...

Author: Stéphane Demri
ISBN: 9783032118844
Format: Hardback
$145.17

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has...  Read More >>

Return on Intelligence: A Strategic Enterprise Playbook for Scalable AI Agents

Return on Intelligence: A Strategic Enterprise Playbook...

Author: Kristin L. Milchanowski
ISBN: 9781041262985
Format: Paperback
$85.36

A call to lead with empathy, this book redefines what transformation means in the age of artificial intelligence....  Read More >>

AI at Edge: Transforming Edge Networks with Computational Intelligence

AI at Edge: Transforming Edge Networks with Computational...

Author: Junaid Shuja ,  Ehzaz Mustafa
ISBN: 9783032167101
Format: Hardback
$580.77

""AI at Edge: Transforming Edge Networks with Computational Intelligence"" explores how artificial intelligence...  Read More >>

The Rational Use of Cognitive Resources

The Rational Use of Cognitive Resources

Author: Falk Lieder ,  Frederick Callaway
ISBN: 9780691259949
Format: Paperback
$69.99

 Read More >>

Nonsmooth Constrained Optimal Control on Infinite Horizon: A Brief Course

Nonsmooth Constrained Optimal Control on Infinite Horizon:...

Author: Vincenzo Basco
ISBN: 9783032089373
Format: Paperback
$145.17

 Read More >>

Risk-First Software Development, Second Edition: Deliver Better Systems in a Post-Agile, AI World

Risk-First Software Development, Second Edition: Deliver...

Author: Rob Moffat
ISBN: 9798888651803
Format: Paperback
$139.79

 Read More >>

Proceedings of the 3rd International Conference on Big Data and Artificial Intelligence Applications (ICBDAIA’24): Big Data and Artificial Intelligence Applications

Proceedings of the 3rd International Conference on Big...

Author: Said Tkatek ,  Jaime Lloret
ISBN: 9783032128683
Format: Paperback
$580.77

 Read More >>

The Power of Generative Artificial Intelligence for Value Co-Creation in Healthcare: Insights from Inter-Organizational Networks

The Power of Generative Artificial Intelligence for...

Author: Anna Bastone
ISBN: 9783032142979
Format: Paperback
$145.17

 Read More >>

Logic, Language, and Computation: 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers

Logic, Language, and Computation: 14th International...

Author: Lotte Hogeweg ,  Raheleh Jalali
ISBN: 9783032143389
Format: Paperback
$369.57

 Read More >>

Biometric Recognition: 19th Chinese Conference, CCBR 2025, Nanchang, China, November 21–23, 2025, Proceedings

Biometric Recognition: 19th Chinese Conference, CCBR...

Author: Wei Jia ,  Lu Leng
ISBN: 9789819561223
Format: Paperback
$263.97

 Read More >>

MultiMedia Modeling: 32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29–31, 2026, Proceedings, Part I

MultiMedia Modeling: 32nd International Conference on...

Author: Jakub Lokoč ,  Ladislav Peška
ISBN: 9789819569496
Format: Paperback
$131.97

 Read More >>

Quantum Computing and Artificial Intelligence: Second International Workshop, QC+AI 2026, Singapore, January 27, 2026, Proceedings

Quantum Computing and Artificial Intelligence: Second...

Author: Shaukat Ali ,  Francisco Chicano
ISBN: 9783032176240
Format: Paperback
$171.57

This book constitutes the proceedings of the Second International Workshop on Quantum Computing and Artificial Intelligence,...  Read More >>

Critical Political Economy and Southern Approaches to AI: A Dialogue

Critical Political Economy and Southern Approaches to...

Author: Preeti Raghunath
ISBN: 9783032140890
Format: Hardback
$422.37

 Read More >>

The Proceedings of 2025 Annual National Conference of Electrical Theory and New Technologies: Volume I

The Proceedings of 2025 Annual National Conference of...

Author: Guizhi Xu ,  Xinjie Yu
ISBN: 9789819568369
Format: Hardback
$791.97

 Read More >>

Non-prioritized Belief Change

Non-prioritized Belief Change

Author: Eduardo Fermé ,  Marco Garapa
ISBN: 9783031970214
Format: Hardback
$475.17

Belief change (also referred to as logic of theory change or as belief revision) is a research area that models...  Read More >>

Shopping Cart
Your cart is empty
Shopping cart
Mailing List