Mathematical theory of computation books

10343 books were found.

SOFSEM 2024: Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings

SOFSEM 2024: Theory and Practice of Computer Science:...

Author: Henning Fernau ,  Serge Gaspers
ISBN: 9783031521126
Format: Paperback
$211.17

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice...  Read More >>

Advanced Computing in Industrial Mathematics: 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers

Advanced Computing in Industrial Mathematics: 15th Annual...

Author: Ivan Georgiev ,  Hristo Kostadinov
ISBN: 9783031209536
Format: Paperback
$659.97

This book gathers the peer-reviewed proceedings of the 15th Annual Meeting of the Bulgarian Section of the Society...  Read More >>

Intelligent Software Defect Prediction

Intelligent Software Defect Prediction

Author: Xiao-Yuan Jing ,  Haowen Chen
ISBN: 9789819928415
Format: Hardback
$362.22

 Read More >>

Electromagnetic Sources and Electromagnetic Fields

Electromagnetic Sources and Electromagnetic Fields

Author: Gaobiao Xiao
ISBN: 9789819994489
Format: Hardback
$448.77

This book presents a modified spherical harmonic expansion method in which the electromagnetic fields and their...  Read More >>

Reflections on the Foundations of Probability and Statistics: Essays in Honor of Teddy Seidenfeld

Reflections on the Foundations of Probability and Statistics:...

Author: Thomas Augustin ,  Fabio Gagliardi Cozman
ISBN: 9783031154386
Format: Paperback
$284.60

The reader is invited to share this celebration of Teddy Seidenfeld’s work uncovering truths about uncertainty and...  Read More >>

Neural Networks and Deep Learning

Neural Networks and Deep Learning

Author: Alanna Maldonado
ISBN: 9789732348079
Format: Paperback
$95.01

Unlock the Secrets of Neural Networks in Minutes! Dive into a concise lecture covering essential concepts like weight...  Read More >>

Cellular Automata and Groups

Cellular Automata and Groups

Author: Tullio Ceccherini-Silberstein ,  Michel Coornaert
ISBN: 9783031433276
Format: Hardback
$181.10

 Read More >>

A Beginner's Guide to Understanding AI

A Beginner's Guide to Understanding AI

Author: Christopher Morris
ISBN: 9798878872072
Format: Paperback
$21.09

": A Beginner's Guide to Understanding AI: Unleashing the Power of Artificial Intelligence Are you fascinated by...  Read More >>

Trust.: Responsible AI, Innovation, Privacy and Data Leadership

Trust.: Responsible AI, Innovation, Privacy and Data...

Author: Dominique Shelton Leipzig
ISBN: 9798887501734
Format: Hardback
$87.09

Every company today relies on data, yet many leadership teams struggle to fully leverage data as an asset while...  Read More >>

R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Author: Wei Li ,  Yuefei Sui
ISBN: 9789819964598
Format: Hardback
$527.97

 Read More >>

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic Approach

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic...

Author: Youqi Li ,  Fan Li
ISBN: 9789819969203
Format: Paperback
$131.97

 Read More >>

Quantum Computers: Theory and Algorithms

Quantum Computers: Theory and Algorithms

Author: Belal Ehsan Baaquie ,  Leong-Chuan Kwek
ISBN: 9789811975196
Format: Paperback
$263.97

 Read More >>

Fourier Optics and Computational Imaging

Fourier Optics and Computational Imaging

Author: Kedar Khare ,  Mansi Butola
ISBN: 9783031183553
Format: Paperback
$237.57

These concepts are then used to describe several system ideas that combine optical hardware design and image reconstruction...  Read More >>

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation:...

Author: Rayna Dimitrova ,  Ori Lahav
ISBN: 9783031505232
Format: Paperback
$197.97

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification,...  Read More >>

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory: A Practical Logic for Expressing...

Author: William M. Farmer
ISBN: 9783031211140
Format: Paperback
$99.00

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in...  Read More >>

Discrete Mathematics: A Concise Introduction

Discrete Mathematics: A Concise Introduction

Author: George Tourlakis
ISBN: 9783031304873
Format: Hardback
$90.54

This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer...  Read More >>

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International...

Author: Rostislav Yavorskiy ,  Ana Rosa Cavalli
ISBN: 9783031504228
Format: Paperback
$171.57

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List