Mathematical theory of computation books

11068 books were found.

Space-Filling Curves: An Introduction with Applications in Scientific Computing

Space-Filling Curves: An Introduction with Applications...
Author: Michael Bader ISBN: 9783662522363 Format: Paperback	$263.97
For example, grammar-based techniques are introduced for traversals of Cartesian and octree-type meshes, and arithmetisation... Read More >>

Distributed and Sequential Algorithms for Bioinformatics

Distributed and Sequential Algorithms for Bioinformatics...
Author: Kayhan Erciyes ISBN: 9783319387482 Format: Paperback	$145.17
Read More >>

Testing and Validation of Computer Simulation Models: Principles, Methods and Applications

Testing and Validation of Computer Simulation Models:...
Author: David J. Murray-Smith ISBN: 9783319362663 Format: Paperback	$232.85
Read More >>

Multiple Shooting and Time Domain Decomposition Methods: MuS-TDD, Heidelberg, May 6-8, 2013

Multiple Shooting and Time Domain Decomposition Methods:...
Author: Thomas Carraro , Michael Geiger ISBN: 9783319373638 Format: Paperback	$290.37
This book offers a comprehensive collection of the most advanced numerical techniques for the efficient and effective... Read More >>

Recent Trends in Computational Engineering - CE2014: Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems

Recent Trends in Computational Engineering - CE2014:...
Author: Miriam Mehl , Manfred Bischoff ISBN: 9783319387215 Format: Paperback	$145.17
This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart... Read More >>

Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Principles and Practice of Constraint Programming: 22nd...
Author: Michel Rueher ISBN: 9783319449524 Format: Paperback	$232.85
This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and... Read More >>

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Structural Analysis of Non-Classical Logics: The Proceedings...
Author: Syraya Chin-Mu Yang , Duen-Min Deng ISBN: 9783662517123 Format: Paperback	$290.37
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address... Read More >>

Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide

Digital Imaging and Communications in Medicine (DICOM):...
Author: Oleg S. Pianykh ISBN: 9783662518489 Format: Paperback	$181.10
This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical... Read More >>

Perception-Action Cycle: Models, Architectures, and Hardware

Perception-Action Cycle: Models, Architectures, and...
Author: Vassilis Cutsuridis , Amir Hussain ISBN: 9781493939794 Format: Paperback	$1003.17
In the first part, leading computational neuroscientists present brain-inspired models of perception, attention,... Read More >>

An Introduction to Modern Mathematical Computing: With Mathematica®

An Introduction to Modern Mathematical Computing: With...
Author: Jonathan M. Borwein , Matthew P. Skerritt ISBN: 9781493942954 Format: Paperback	$158.37
Read More >>

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications: 11th International...
Author: Dorel Lucanu ISBN: 9783319448015 Format: Paperback	$116.41
Read More >>

Bent Functions: Fundamentals and Results

Bent Functions: Fundamentals and Results
Author: Sihem Mesnager ISBN: 9783319325934 Format: Hardback	$659.97
This book gives a detailed survey of the main results on bent functions over finite fields, presents a systematic... Read More >>

Verification of Business Rules Programs

Verification of Business Rules Programs
Author: Bruno Berstel-Da Silva ISBN: 9783662514078 Format: Paperback	$145.17
This publication enables rule authors and tool developers to understand, express formally, and prove properties... Read More >>

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems: 14th...
Author: Martin Fränzle , Nicolas Markey ISBN: 9783319448770 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis... Read More >>

Vatican Council Notebooks

Vatican Council Notebooks
Author: Henri de Lubac ISBN: 9781621640127 Format: Paperback	$79.07
Original French edition: Camets du concile I Ã2007 by âEditions du Cerf, Paris. Read More >>

Theory and Computation of Tensors: Multi-Dimensional Arrays

Theory and Computation of Tensors: Multi-Dimensional...
Author: Yimin Wei (Professor,School of Mathematical Sciences, Fudan University, Shanghai, China) , Weiyang Ding (Ph.D student, School of Mathematical Sciences, Fudan University, Shanghai, P.R. of China) ISBN: 9780128039533 Format: Paperback	$197.87
Read More >>

Modern Multivariate Statistical Techniques: Regression, Classification, and Manifold Learning

Modern Multivariate Statistical Techniques: Regression,...
Author: Alan J. Izenman ISBN: 9781493938322 Format: Paperback	$263.97
Read More >>

Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions

Perspectives on Interrogative Models of Inquiry: Developments...
Author: Can Başkent ISBN: 9783319387291 Format: Paperback	$145.17
This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations... Read More >>

An Introduction to Modern Mathematical Computing: With Maple™

An Introduction to Modern Mathematical Computing: With...
Author: Jonathan M. Borwein , Matthew P. Skerritt ISBN: 9781493942459 Format: Paperback	$145.17
Read More >>

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

The Design of Requirements Modelling Languages: How...
Author: Ivan Jureta ISBN: 9783319369730 Format: Paperback	$145.17
Read More >>

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Special Topics in Mathematics for Computer Scientists:...
Author: Ernst-Erich Doberkat ISBN: 9783319368696 Format: Paperback	$184.77
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the... Read More >>

Triangulations: Structures for Algorithms and Applications

Triangulations: Structures for Algorithms and Applications...
Author: Jesus De Loera , Joerg Rambau ISBN: 9783662502419 Format: Paperback	$237.57
Read More >>

Handbook of Spatial Logics

Handbook of Spatial Logics
Author: Marco Aiello , Ian Pratt-Hartmann ISBN: 9789402404708 Format: Paperback	$871.17
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and... Read More >>

Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem

Distributed User Interfaces: Designing Interfaces for...
Author: José A. Gallud , Ricardo Tesoriero ISBN: 9781447171744 Format: Paperback	$290.37
The recent advances in display technologies and mobile devices is having an important effect on the way users interact... Read More >>

Natural Computing Algorithms

Natural Computing Algorithms
Author: Anthony Brabazon , Michael O'Neill ISBN: 9783662501160 Format: Paperback	$184.77
Natural Computing Algorithms Read More >>

Page 177 of 443 ... 172 173 174 175 176 177 178 179 180 181 ...

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