Mathematical theory of computation books

11069 books were found.

Probabilistic Safety Assessment and Management: PSAM 7 — ESREL ’04 June 14–18, 2004, Berlin, Germany, Volume 6

Probabilistic Safety Assessment and Management: PSAM...
Author: Cornelia Spitzer , Ulrich Schmocker ISBN: 9781447110576 Format: Paperback	$448.77
June 14-18, 2004, Berlin, Germany Read More >>

Introduction to Nonsmooth Optimization: Theory, Practice and Software

Introduction to Nonsmooth Optimization: Theory, Practice...
Author: Adil Bagirov , Napsu Karmitsa ISBN: 9783319081137 Format: Hardback	$446.16
Read More >>

Multidimensional Queueing Models in Telecommunication Networks

Multidimensional Queueing Models in Telecommunication...
Author: Agassi Melikov , Leonid Ponomarenko ISBN: 9783319086682 Format: Hardback	$145.17
The increasing complexity of telecommunication networks requires us to develop adequate mathematical models. The... Read More >>

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Methods for Industrial Critical Systems: 19th...
Author: Frédéric Lang , Francesco Flammini ISBN: 9783319107011 Format: Paperback	$145.17
Read More >>

Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings

Discrete Geometry for Computer Imagery: 18th IAPR International...
Author: Elena Barcucci , Andrea Frosini ISBN: 9783319099545 Format: Paperback	$116.41
The papers are organized in topical sections on Models for Discrete Geometry, Discrete and Combinatorial Topology,... Read More >>

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Quantitative Evaluation of Systems: 11th International...
Author: Gethin Norman , William Sanders ISBN: 9783319106953 Format: Paperback	$116.41
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems,... Read More >>

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Computer Safety, Reliability, and Security: 33rd International...
Author: Andrea Bondavalli , Felicita Di Giandomenico ISBN: 9783319105055 Format: Paperback	$145.17
The papers are organized in topical sections on fault injection techniques, verification and validation techniques,... Read More >>

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014,...
Author: Markus Müller-Olm , Helmut Seidl ISBN: 9783319109350 Format: Paperback	$116.41
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection,... Read More >>

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th...
Author: Axel Legay , Marius Bozga ISBN: 9783319105116 Format: Paperback	$145.17
Read More >>

Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Formal Methods in Macro-Biology: First International...
Author: François Fages , Carla Piazza ISBN: 9783319103976 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology,... Read More >>

Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing: 16th International...
Author: Vladimir P. Gerdt , Wolfram Koepf ISBN: 9783319105147 Format: Paperback	$145.17
This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing,... Read More >>

Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Principles and Practice of Constraint Programming: 20th...
Author: Barry O'Sullivan ISBN: 9783319104270 Format: Paperback	$290.37
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and... Read More >>

Mathematics and Computing 2013: International Conference in Haldia, India

Mathematics and Computing 2013: International Conference...
Author: Ram N. Mohapatra , Debasis Giri ISBN: 9788132219514 Format: Hardback	$290.37
This book discusses recent developments and contemporary research in mathematics, statistics and their applications... Read More >>

Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Learning and Intelligent Optimization: 8th International...
Author: Panos M. Pardalos , Mauricio G.C. Resende ISBN: 9783319095837 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on... Read More >>

Reasoning Web. Reasoning and the Web in the Big Data Era: 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Reasoning Web. Reasoning and the Web in the Big Data...
Author: Manolis Koubarakis , Giorgos Stamou ISBN: 9783319105864 Format: Paperback	$145.17
In 2014, the lecture program of the Reasoning Web introduces students to recent advances in big data aspects of... Read More >>

Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice

Adiabatic Quantum Computation and Quantum Annealing:...
Author: Catherine C. McGeoch ISBN: 9783031013904 Format: Paperback	$85.36
Adiabatic quantum computation (AQC) is an alternative to the better-known gate model of quantum computation.Table... Read More >>

An Introduction to Computational Stochastic PDEs

An Introduction to Computational Stochastic PDEs
Author: Gabriel J. Lord (Heriot-Watt University, Edinburgh) , Catherine E. Powell (University of Manchester) ISBN: 9780521728522 Format: Paperback	$147.49
This comprehensive introduction to stochastic partial differential equations incorporates the effects of randomness... Read More >>

An Introduction to Computational Stochastic PDEs

An Introduction to Computational Stochastic PDEs
Author: Gabriel J. Lord (Heriot-Watt University, Edinburgh) , Catherine E. Powell (University of Manchester) ISBN: 9780521899901 Format: Hardback	$297.56
Read More >>

Paraconsistency: Logic and Applications

Paraconsistency: Logic and Applications
Author: Koji Tanaka , Francesco Berto ISBN: 9789401782098 Format: Paperback	$290.37
While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers... Read More >>

Computing with Words: Principal Concepts and Ideas

Computing with Words: Principal Concepts and Ideas
Author: Lotfi A. Zadeh ISBN: 9783642436499 Format: Paperback	$290.37
Read More >>

Recent Advances in Algorithmic Differentiation

Recent Advances in Algorithmic Differentiation
Author: Shaun Forth , Paul Hovland ISBN: 9783642439919 Format: Paperback	$290.37
The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed... Read More >>

Journeys to Data Mining: Experiences from 15 Renowned Researchers

Journeys to Data Mining: Experiences from 15 Renowned...
Author: Mohamed Medhat Gaber ISBN: 9783642428807 Format: Paperback	$145.17
Read More >>

Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering: 6th International...
Author: Claire Le Goues , Shin Yoo ISBN: 9783319099392 Format: Paperback	$158.37
Read More >>

Physical and Statistical Models for Steam Generator Clogging Diagnosis

Physical and Statistical Models for Steam Generator...
Author: Sylvain Girard ISBN: 9783319093208 Format: Paperback	$145.17
Clogging of steam generators in nuclear power plants is a highly sensitive issue in terms of performance and safety... Read More >>

Modeling and Reasoning with Bayesian Networks

Modeling and Reasoning with Bayesian Networks
Author: Adnan Darwiche (University of California, Los Angeles) ISBN: 9781107678422 Format: Paperback	$160.43
This book provides a thorough introduction to the formal foundations and practical applications of Bayesian networks.... Read More >>

Page 209 of 443 ... 204 205 206 207 208 209 210 211 212 213 ...

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