Mathematical theory of computation books

11045 books were found.

Limiting Modes of Aircraft Flight: Methods, Algorithms and Results

Limiting Modes of Aircraft Flight: Methods, Algorithms...
Author: Alexander Nikolaevich Akimov , Vadim Vadimovich Vorobyov ISBN: 9789811963315 Format: Paperback	$232.85
This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory... Read More >>

Exercises in Cellular Automata and Groups

Exercises in Cellular Automata and Groups
Author: Tullio Ceccherini-Silberstein , Michel Coornaert ISBN: 9783031103902 Format: Hardback	$142.29
This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics).... Read More >>

Machine Translation: 19th China Conference, CCMT 2023, Jinan, China, October 19–21, 2023, Proceedings

Machine Translation: 19th China Conference, CCMT 2023,...
Author: Yang Feng , Chong Feng ISBN: 9789819978939 Format: Paperback	$142.29
This book constitutes the refereed proceedings of the 19th China Conference on Machine Translation, CCMT 2023, held... Read More >>

Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency...
Author: Maciej Koutny , Robin Bergenthum ISBN: 9783662681909 Format: Paperback	$263.97
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers... Read More >>

TinyML Cookbook: Combine machine learning with microcontrollers to solve real-world problems

TinyML Cookbook: Combine machine learning with microcontrollers...
Author: Gian Marco Iodice ISBN: 9781837637362 Format: Paperback	$116.13
With over 70 project-based recipes, the TinyML Cookbook is a practical guide that will help you to get the most... Read More >>

Introduction to the Tools of Scientific Computing

Introduction to the Tools of Scientific Computing
Author: Einar Smith ISBN: 9783031169748 Format: Paperback	$116.41
Read More >>

Scalable Algorithms for Contact Problems

Scalable Algorithms for Contact Problems
Author: Zdeněk Dostál , Tomáš Kozubek ISBN: 9783031335792 Format: Hardback	$362.22
This book presents a comprehensive treatment of recently developed scalable algorithms for solving multibody contact... Read More >>

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	$129.35
Read More >>

Machine Learning for Disease Identification in Oil Palm Leaves

Machine Learning for Disease Identification in Oil Palm...
Author: Anindita Septiarini , Emy Setyaningsih ISBN: 9798865779162 Format: Paperback	$18.22
"The significance of a monograph titled ""Machine Learning for Disease Identification in Oil Palm Leaves"" is underscored... 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	$168.16
These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge... 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	$168.16
These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge... Read More >>

Complex Computational Ecosystems: First International Conference, CCE 2023, Baku, Azerbaijan, April 25–27, 2023, Proceedings

Complex Computational Ecosystems: First International...
Author: Pierre Collet , Latafat Gardashova ISBN: 9783031443541 Format: Paperback	$129.35
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	$142.29
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held... 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 >>

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	$142.29
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering,... 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 >>

Neural Networks with Python (Edition1)

Neural Networks with Python (Edition1)
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 network... 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	$158.37
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	$181.10
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
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	$168.16
Read More >>

Spreadsheet Problem Solving and Programming for Engineers and Scientists

Spreadsheet Problem Solving and Programming for Engineers...
Author: David E. Clough (University of Colorado, USA) , Steven C. Chapra (Tufts University, USA) ISBN: 9781032420530 Format: Hardback	$210.00
Read More >>

Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

Composability, Comprehensibility and Correctness of...
Author: Zoltán Porkoláb , Viktória Zsók ISBN: 9783031428326 Format: Paperback	$168.16
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	$158.37
Read More >>

Page 40 of 442 ... 35 36 37 38 39 40 41 42 43 44 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now