Mathematical theory of computation books

10497 books were found.

Code-Based Cryptography: 11th International Workshop, CBCrypto 2023, Lyon, France, April 22–23, 2023, Revised Selected Papers

Code-Based Cryptography: 11th International Workshop,...

Author: Andre Esser ,  Paolo Santini
ISBN: 9783031464942
Format: Paperback
$116.41

 Read More >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part II

Integrated Uncertainty in Knowledge Modelling and Decision...

Author: Katsuhiro Honda ,  Bac Le
ISBN: 9783031467806
Format: Paperback
$155.22

 Read More >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part I

Integrated Uncertainty in Knowledge Modelling and Decision...

Author: Van-Nam Huynh ,  Bac Le
ISBN: 9783031467745
Format: Paperback
$155.22

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge...  Read More >>

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers

Logic and Engineering of Natural Language Semantics:...

Author: Daisuke Bekki ,  Koji Mineshima
ISBN: 9783031439766
Format: Paperback
$129.35

 Read More >>

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Formal Methods and Software Engineering: 24th International...

Author: Yi Li ,  Sofiène Tahar
ISBN: 9789819975839
Format: Paperback
$129.35

 Read More >>

Math for Security: From Graphs and Geometry to Spatial Analysis

Math for Security: From Graphs and Geometry to Spatial...

Author: Daniel Reilly
ISBN: 9781718502567
Format: Paperback
$130.00

"""A math-based guide for information security practitioners. Teaches how to use concepts from various fields of...  Read More >>

Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Static Analysis: 30th International Symposium, SAS 2023,...

Author: Manuel V. Hermenegildo ,  José F. Morales
ISBN: 9783031442445
Format: Paperback
$181.10

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023,...  Read More >>

Neural Networks with Python

Neural Networks with Python

Author: Mei Wong
ISBN: 9788119177486
Format: Paperback
$171.57

"""Neural Networks with Python"" serves as an introductory guide for those taking their first steps into neural...  Read More >>

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th...

Author: Alexandre Madeira ,  Manuel A. Martins
ISBN: 9783031433443
Format: Paperback
$145.17

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on...  Read More >>

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

Automated Technology for Verification and Analysis:...

Author: Étienne André ,  Jun Sun
ISBN: 9783031453281
Format: Paperback
$168.16

 Read More >>

Nonlinear Dynamics and Complexity: Mathematical Modelling of Real-World Problems

Nonlinear Dynamics and Complexity: Mathematical Modelling...

Author: Carla M.A. Pinto
ISBN: 9783031066344
Format: Paperback
$517.47

This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary...  Read More >>

Online Capacity Provisioning for Energy-Efficient Datacenters

Online Capacity Provisioning for Energy-Efficient Datacenters...

Author: Minghua Chen ,  Sid Chi-Kin Chau
ISBN: 9783031115516
Format: Paperback
$145.17

This book addresses the urgent issue of massive and inefficient energy consumption by data centers, which have become...  Read More >>

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

Automated Technology for Verification and Analysis:...

Author: Étienne André ,  Jun Sun
ISBN: 9783031453311
Format: Paperback
$155.22

 Read More >>

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Logic-Based Program Synthesis and Transformation: 33rd...

Author: Robert Glück ,  Bishoksan Kafle
ISBN: 9783031457838
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis...  Read More >>

Programming Languages: Principles and Paradigms

Programming Languages: Principles and Paradigms

Author: Maurizio Gabbrielli ,  Simone Martini
ISBN: 9783031341434
Format: Paperback
$129.35

Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation...  Read More >>

Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings

Rules and Reasoning: 7th International Joint Conference,...

Author: Anna Fensel ,  Ana Ozaki
ISBN: 9783031450716
Format: Paperback
$129.35

 Read More >>

Quantum Software Engineering

Quantum Software Engineering

Author: Manuel A. Serrano ,  Ricardo Pérez-Castillo
ISBN: 9783031053269
Format: Paperback
$290.37

Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods...  Read More >>

AI in Supply Chain and Logistics: Revolutionize Your Supply Chain and Logistics with AI

AI in Supply Chain and Logistics: Revolutionize Your...

Author: Prakash Kumar Udupi ,  Vishal Dattana
ISBN: 9798867345778
Format: Paperback
$66.00

The symbiotic relationship between artificial Intelligence, supply chain and logistics transformed the way we are...  Read More >>

Methods and Applications for Modeling and Simulation of Complex Systems: 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part I

Methods and Applications for Modeling and Simulation...

Author: Fazilah Hassan ,  Noorhazirah Sunar
ISBN: 9789819972395
Format: Paperback
$263.97

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications...  Read More >>

Methods and Applications for Modeling and Simulation of Complex Systems: 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part II

Methods and Applications for Modeling and Simulation...

Author: Fazilah Hassan ,  Noorhazirah Sunar
ISBN: 9789819972425
Format: Paperback
$263.97

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications...  Read More >>

Computational Intelligence-based Optimization Algorithms: From Theory to Practice

Computational Intelligence-based Optimization Algorithms:...

Author: Babak Zolghadr-Asli (University of Exeter, UK, and University of Queensland, Australia)
ISBN: 9781032544151
Format: Paperback
$112.00

In this book, we have selected some of the most effective and renowned algorithms in the literature. Each chapter...  Read More >>

Computational Intelligence-based Optimization Algorithms: From Theory to Practice

Computational Intelligence-based Optimization Algorithms:...

Author: Babak Zolghadr-Asli (University of Exeter, UK, and University of Queensland, Australia)
ISBN: 9781032544168
Format: Hardback
$273.00

In this book, we have selected some of the most effective and renowned algorithms in the literature. Each chapter...  Read More >>

Solvable Cellular Automata: Methods and Applications

Solvable Cellular Automata: Methods and Applications...

Author: Henryk Fukś
ISBN: 9783031386992
Format: Hardback
$362.22

 Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List