Mathematical theory of computation books

10437 books were found.

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 >>

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings

Computer Performance Engineering and Stochastic Modelling:...

Author: Mauro Iacono ,  Marco Scarpa
ISBN: 9783031431845
Format: Paperback
$197.97

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering,...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Model Validation and Uncertainty Quantification, Volume...

Author: Roland Platz ,  Garrison Flynn
ISBN: 9783031370021
Format: Hardback
$659.97

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition...  Read More >>

Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Reachability Problems: 17th International Conference,...

Author: Olivier Bournez ,  Enrico Formenti
ISBN: 9783031452857
Format: Paperback
$171.57

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP...  Read More >>

Engineering Mathematics and Computing

Engineering Mathematics and Computing

Author: Park Gyei-Kark ,  Dipak Kumar Jana
ISBN: 9789811923029
Format: Paperback
$145.17

This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing...  Read More >>

Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering

Introduction to Software Architecture: Innovative Design...

Author: Kevin Lano ,  Sobhan Yassipour Tehrani
ISBN: 9783031441424
Format: Paperback
$129.35

This unique, accessible textbook gives a comprehensive introduction to software architecture, using ‘clean architecture’...  Read More >>

Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”

Logic: Reference Book for Computer Scientists: The 2nd...

Author: Lech T. Polkowski
ISBN: 9783031420337
Format: Hardback
$580.77

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are...  Read More >>

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Runtime Verification: 23rd International Conference,...

Author: Panagiotis Katsaros ,  Laura Nenzi
ISBN: 9783031442667
Format: Paperback
$211.17

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV...  Read More >>

Options and Derivatives Programming in C++23: Algorithms and Programming Techniques for the Financial Industry

Options and Derivatives Programming in C++23: Algorithms...

Author: Carlos Oliveira
ISBN: 9781484298268
Format: Paperback
$145.17

 Read More >>

Dual Quaternions and Their Associated Clifford Algebras

Dual Quaternions and Their Associated Clifford Algebras...

Author: Ronald Goldman (Rice University, Houston, Texas, USA)
ISBN: 9781032502960
Format: Hardback
$294.00

This book presents dual quaternions and their associated Clifford algebras in a new light, accessible to and geared...  Read More >>

Entanglement in Spin Chains: From Theory to Quantum Technology Applications

Entanglement in Spin Chains: From Theory to Quantum...

Author: Abolfazl Bayat ,  Sougato Bose
ISBN: 9783031040009
Format: Paperback
$290.37

This book covers recent developments in the understanding, quantification, and exploitation of entanglement in spin...  Read More >>

Introduction to Combinatorial Optimization

Introduction to Combinatorial Optimization

Author: Ding-Zhu Du ,  Panos M. Pardalos
ISBN: 9783031116841
Format: Paperback
$116.41

Introductory courses in combinatorial optimization are popular at the upper undergraduate/graduate levels in computer...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List