Oakleafbooks Online Library -- A Global Books Research Catalogue
And a Bookstore - We deliver Worldwide

You must enter a search term!
Browse Subject Headings
Computer Science
Computer Science
Publications for:-  Computer Science
Filter on:
Eleventh Hour CISSP® : Study Guide
Eleventh Hour CISSP® : Study Guide
9780443186882
Published: 2026
$ 48.59  
Unleashing the Power of Low-Code Computing
Unleashing the Power of Low-Code Computing
9781394273812
Published: 2025
$ 41.21  
Principle of Petri Nets
Principle of Petri Nets
9789819773350
Published: 2025
$ 291.11  
The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications
The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications
9783031728501
Published: 2025
$ 220.79  
Algorithms for Smart World Technologies : A Comprehensive Guide to Applications in AI, IoT and Automation for Electrical and Computer Engineers
Algorithms for Smart World Technologies : A Comprehensive Guide to Applications in AI, IoT and Automation for Electrical and Computer Engineers
9781119823612
Published: 2025
$ 186.23  
Optimization and Learning : 7th International Conference, OLA 2024, Dubrovnik, Croatia, May 13-15, 2024, Revised Selected Papers
Optimization and Learning : 7th International Conference, OLA 2024, Dubrovnik, Croatia, May 13-15, 2024, Revised Selected Papers
9783031779404
Published: 2025
$ 113.03  
Artificial Intelligence Logic and Applications : 4th International Conference, AILA 2024, Lanzhou, China, August 10-11, 2024, Proceedings
Artificial Intelligence Logic and Applications : 4th International Conference, AILA 2024, Lanzhou, China, August 10-11, 2024, Proceedings
9789819603534
Published: 2025
$ 113.03  
Computational Fluid Dynamics : Finite Difference Method and Lattice Boltzmann Method
Computational Fluid Dynamics : Finite Difference Method and Lattice Boltzmann Method
9789819703487
Published: 2024
$ 220.79  
Progress in Cryptology - INDOCRYPT 2023 : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
Progress in Cryptology - INDOCRYPT 2023 : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
9783031562310
Published: 2024
$ 104.33  
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
9783031572272
Published: 2024
$ 68.99  
NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
9783031606977
Published: 2024
$ 124.19  
Information and Communications Technologies : Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings
Information and Communications Technologies : Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings
9783031626234
Published: 2024
$ 191.29  
R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
9789819758296
Published: 2024
$ 225.26  
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
9783031660634
Published: 2024
$ 80.64  
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
9783031684159
Published: 2024
$ 109.15  
Advances in Swarm Intelligence : 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Advances in Swarm Intelligence : 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
9789819771837
Published: 2024
$ 112.62  
Swarm Intelligence : 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Swarm Intelligence : 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
9783031709319
Published: 2024
$ 89.69  
Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
9783031700736
Published: 2024
$ 89.69  
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
9783031737404
Published: 2024
$ 192.25  
Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career
9783031737503
Published: 2024
$ 77.96  
Browse Subject Headings