Mathematical theory of computation books

11069 books were found.

ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming: 28th European...
Author: Richard Jones ISBN: 9783662442012 Format: Paperback	$145.17
This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014,... Read More >>

CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

CONCUR 2014 – Concurrency Theory: 25th International...
Author: Paolo Baldan , University of Roma ""La Sapienza"" ISBN: 9783662445839 Format: Paperback	$145.17
The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis,... Read More >>

Approximation and Online Algorithms: 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

Approximation and Online Algorithms: 11th International...
Author: Christos Kaklamanis , Kirk Pruhs ISBN: 9783319080000 Format: Paperback	$118.77
Read More >>

Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings

Biomedical Image Registration: 6th International Workshop,...
Author: Sebastien Ourselin , Marc Modat ISBN: 9783319085531 Format: Paperback	$145.17
Read More >>

Artificial General Intelligence: 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

Artificial General Intelligence: 7th International Conference,...
Author: Ben Goertzel , Laurent Orseau ISBN: 9783319092737 Format: Paperback	$145.17
Read More >>

Controlled Natural Language: 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings

Controlled Natural Language: 4th International Workshop,...
Author: Brian Davis , Kaarel Kaljurand ISBN: 9783319102221 Format: Paperback	$145.17
The topics include simplified language, plain language, formalized language, processable language, fragments of... Read More >>

Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II

Mathematical Foundations of Computer Science 2014: 39th...
Author: Ersébet Csuhaj-Varjú , Martin Dietzfelbinger ISBN: 9783662444641 Format: Paperback	$145.17
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International... Read More >>

Analytical and Stochastic Modelling Techniques and Applications: 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Analytical and Stochastic Modelling Techniques and Applications:...
Author: Bruno Sericola , Telek Miklós ISBN: 9783319082189 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 21st International Conference on Analytical and Stochastic... Read More >>

Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Modelling Foundations and Applications: 10th European...
Author: Jordi Cabot , Julia Rubin ISBN: 9783319091945 Format: Paperback	$145.17
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications,... Read More >>

Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Theory and Practice of Model Transformations: 7th International...
Author: Davide Di Ruscio , Dániel Varró ISBN: 9783319087887 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT... Read More >>

Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Formal Grammar: 19th International Conference, Formal...
Author: Glyn Morrill , Reinhard Muskens ISBN: 9783662441206 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 19 International Conference on Formal Grammar 2014, collocated... Read More >>

Combinatorial Optimization: Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers

Combinatorial Optimization: Third International Symposium,...
Author: Pierre Fouilhoux , Luis Eduardo Neves Gouveia ISBN: 9783319091730 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on... Read More >>

Algorithms for Computational Biology: First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings

Algorithms for Computational Biology: First International...
Author: Adrian-Horia Dediu , Carlos Martín-Vide ISBN: 9783319079523 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the First International Conference, AlCoB 2014, held in July 2014... Read More >>

Numerical Methods and Optimization: A Consumer Guide

Numerical Methods and Optimization: A Consumer Guide...
Author: Éric Walter ISBN: 9783319076706 Format: Hardback	$448.77
Initial training in pure and applied sciences tends to present problem-solving as the process of elaborating explicit... Read More >>

Nonlinear Dynamics of Electronic Systems: 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

Nonlinear Dynamics of Electronic Systems: 22nd International...
Author: Valeri M. Mladenov , Plamen Ch. Ivanov ISBN: 9783319086712 Format: Paperback	$145.17
Read More >>

Information Processing and Management of Uncertainty: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II

Information Processing and Management of Uncertainty:...
Author: Anne Laurent , Olivier Strauss ISBN: 9783319088549 Format: Paperback	$145.17
Read More >>

Information Processing and Management of Uncertainty: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Information Processing and Management of Uncertainty:...
Author: Anne Laurent , Olivier Strauss ISBN: 9783319087948 Format: Paperback	$145.17
Read More >>

Computational Processing of the Portuguese Language: 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Computational Processing of the Portuguese Language:...
Author: Jorge Baptista , Nuno Mamede ISBN: 9783319097602 Format: Paperback	$145.17
Read More >>

Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Logic in Multi-Agent Systems: 15th International...
Author: Nils Bulling , Leendert van der Torre ISBN: 9783319097633 Format: Paperback	$103.47
Read More >>

Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

Language, Life, Limits: 10th Conference on Computability...
Author: Arnold Beckmann , Ersébet Csuhaj-Varjú ISBN: 9783319080185 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held... Read More >>

Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata: 19th International...
Author: Markus Holzer , Martin Kutrib ISBN: 9783319088457 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Conference on Implementation and Application... Read More >>

Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Rules on the Web: From Theory to Applications: 8th International...
Author: Antonis Bikakis , Paul Fodor ISBN: 9783319098692 Format: Paperback	$145.17
The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational... Read More >>

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing -...
Author: Carsten Sinz , Uwe Egly ISBN: 9783319092836 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of... Read More >>

Rough Sets and Current Trends in Computing: 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

Rough Sets and Current Trends in Computing: 9th International...
Author: Chris Cornelis , Marzena Kryszkiewicz ISBN: 9783319086439 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 9th International Conference on Rough Sets and Current Trends... Read More >>

Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings

Experimental Algorithms: 13th International Symposium,...
Author: Joachim Gudmundsson , Jyrki Katajainen ISBN: 9783319079585 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 13th International Symposium on Experimental Algorithms, SEA... Read More >>

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

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