Skip to main content alibris logo

New Release New eBook Mathematical theory of computation Books

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings Rigorous State-Based Methods:...

Silvia Bonfanti (Editor), Angelo Gargantini (Editor)
Buy new from $70.44
eBook from $24.00

Unconventional Computation and Natural Computation: 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings Unconventional Computation...

Da-Jung Cho (Editor), Jongmin Kim (Editor)
Buy new from $61.05
eBook from $35.70

Combinatorial Algorithms: 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings Combinatorial Algorithms:...

Adele Anna Rescigno (Editor), Ugo Vaccaro (Editor)
Buy new from $84.53
eBook from $24.00

Construct, Merge, Solve & Adapt: A Hybrid Metaheuristic for Combinatorial Optimization Construct, Merge, Solve &...

Christian Blum
Buy new from $131.50
eBook from $47.70

Advanced Information Systems Engineering: 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings Advanced Information Systems...

Giancarlo Guizzardi (Editor), Flavia Santoro (Editor)
Buy new from $84.53
eBook from $27.00

Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen - Eine Einführung Mathematische Grundlagen der...

Christoph Meinel, Martin Mundhenk
Buy new from $51.67
eBook from $9.00

Combinatorics, Graph Theory and Computing: SEICCGTC 2021, Boca Raton, USA, March 8-12 Combinatorics, Graph Theory...

Frederick Hoffman (Editor), Sarah Holliday (Editor)
Buy new from $187.87
eBook from $56.70

Quantum Computing: Applications and Challenges Quantum Computing:...

Habiba Drias (Editor), Farouk Yalaoui (Editor)
Buy new from $206.66
eBook from $50.70

Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I Metaheuristics: 15th...

Marc Sevaux (Editor), Alexandru-Liviu Olteanu (Editor)
Buy new from $70.44
eBook from $38.70

Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The... Formal Techniques for...

Valentina Castiglioni (Editor), Adrian Francalanza (Editor)
Buy new from $65.75
eBook from $29.70

Understanding Cryptography: From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms Understanding Cryptography:...

Christof Paar, Jan Pelzl
Buy new from $75.14
eBook from $24.00

Linear Algebra in Data Science Linear Algebra in Data Science

Peter Zizler, Roberta La Haye
Buy new from $42.26
eBook from $13.50

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications Computability and Complexity:...

Rod Downey
Buy new from $56.35
eBook from $18.00

Logic and Engineering of Natural Language Semantics: 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023,  Revised Selected Papers Logic and Engineering of...

Daisuke Bekki (Editor), Koji Mineshima (Editor)
Buy new from $70.44
eBook from $22.50

Bioinspired Systems for Translational Applications: From Robotics to Social Engineering: 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II Bioinspired Systems for...

José Manuel Ferrández Vicente (Editor), Mikel Val Calvo (Editor)
Buy new from $84.53
eBook from $27.00

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I Integration of Constraint...

Bistra Dilkina (Editor)
Buy new from $131.50
eBook from $44.70

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Logics and Type Systems in...

Venanzio Capretta (Editor), Robbert Krebbers (Editor)
Buy new from $122.11
eBook from $35.70

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings NASA Formal Methods: 16th...

Nathaniel Benz (Editor), Divya Gopinath (Editor)
Buy new from $75.14
eBook from $38.70

Artificial Intelligence for Neuroscience and Emotional Systems: 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I Artificial Intelligence for...

José Manuel Ferrández Vicente (Editor), Mikel Val Calvo (Editor)
Buy new from $84.53
eBook from $47.70

Structural Information and Communication Complexity: 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings Structural Information and...

Yuval Emek (Editor)
Buy new from $131.50
eBook from $38.70

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II Integration of Constraint...

Bistra Dilkina (Editor)
Buy new from $70.44
eBook from $38.70

Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers Large-Scale Scientific...

Ivan Lirkov (Editor), Svetozar Margenov (Editor)
Buy new from $75.14
eBook from $24.00

Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II Metaheuristics: 15th...

Marc Sevaux (Editor), Alexandru-Liviu Olteanu (Editor)
Buy new from $70.44
eBook from $22.50

The 25th European Conference on Integrated Optics: Proceedings of ECIO 2024, June 17-19, Aachen, Germany The 25th European Conference...

Jeremy Witzens (Editor), Joyce Poon (Editor)
Buy new from $187.87
eBook from $44.70

  1. < Prev
  2. 1
  3. 2
  4. 3
  5. ...
  6. 21
  7. Next >