Mathematical theory of computation books

11085 books were found.

Cellular Automata: 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings

Cellular Automata: 10th International Conference on...
Author: Georgios Ch. Sirakoulis , Stefania Bandini ISBN: 9783642333491 Format: Paperback	$145.17
The second part of the volume is dedicated to contributions presented during the ACRI 2012 workshops on theoretical... Read More >>

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International...
Author: Jos C.M. Baeten , Tom Ball ISBN: 9783642334740 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in... Read More >>

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings

Logics in Artificial Intelligence: 13th European Conference,...
Author: Luis Fariñas del Cerro , Andreas Herzig ISBN: 9783642333521 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence,... Read More >>

Information Security: 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012, Proceedings

Information Security: 15th International Conference,...
Author: Dieter Gollmann , Felix C. Freiling ISBN: 9783642333828 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 15th International Conference on Information Security, ISC... Read More >>

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Formal Modeling and Analysis of Timed Systems: 10th...
Author: Marcin Jurdzinski , Dejan Nickovic ISBN: 9783642333644 Format: Paperback	$131.97
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis... Read More >>

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Reachability Problems: 6th International Workshop, RP...
Author: Alain Finkel , Jerome Leroux ISBN: 9783642335112 Format: Paperback	$131.97
Constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in... Read More >>

100 Minuten für Konfigurationsmanagement: Kompaktes Wissen nicht nur für Projektleiter und Entwickler

100 Minuten für Konfigurationsmanagement: Kompaktes...
Author: Marcus Grande ISBN: 9783834819086 Format: Paperback	$184.77
In der Produkt-, System- und Softwareentwicklung spielt die professionelle Umsetzung im Bereich des Konfigurationsmanagements... Read More >>

Engineering Applications of Neural Networks: 13th International Conference, EANN 2012, London, UK, September 20-23, 2012.

Engineering Applications of Neural Networks: 13th International...
Author: Chrisina Jayne , Shigang Yue ISBN: 9783642329081 Format: Paperback	$145.17
Read More >>

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Automated Technology for Verification and Analysis:...
Author: Madhavan Mukund , Supratik Chakraborty ISBN: 9783642333859 Format: Paperback	$145.17
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology... Read More >>

KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings

KI 2012: Advances in Artificial Intelligence: 35th Annual...
Author: Birte Glimm , Antonio Krüger ISBN: 9783642333460 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence,... Read More >>

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases:...
Author: Peter A. Flach , Tijl De Bie ISBN: 9783642334597 Format: Paperback	$145.17
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine... Read More >>

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II

Machine Learning and Knowledge Discovery in Databases:...
Author: Peter A. Flach , Tijl De Bie ISBN: 9783642334856 Format: Paperback	$145.17
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine... Read More >>

Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Search Based Software Engineering: Fourth International...
Author: Gordon Fraser , Jerffeson Teixeira de Souza ISBN: 9783642331183 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering,... Read More >>

Text Mining with MATLAB®

Text Mining with MATLAB®
Author: Rafael E. Banchs ISBN: 9781461441502 Format: Hardback	$316.77
Text Mining with MATLAB provides a comprehensive introduction to text mining using MATLAB. It’s designed to help... Read More >>

Relational Methods for Computer Science Applications

Relational Methods for Computer Science Applications...
Author: Ewa Orlowska , Andrzej Szalas ISBN: 9783662003626 Format: Paperback	$145.17
Read More >>

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Relational and Algebraic Methods in Computer Science:...
Author: Wolfram Kahl , Timothy G. Griffin ISBN: 9783642333132 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on... Read More >>

Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I

Artificial Neural Networks and Machine Learning -- ICANN...
Author: Alessandro Villa , Wlodzislaw Duch ISBN: 9783642332685 Format: Paperback	$145.17
The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial... Read More >>

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications: 15th Brazilian...
Author: Rohit Gheyi , David Naumann ISBN: 9783642332951 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held... Read More >>

Parameterized and Exact Computation: 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings

Parameterized and Exact Computation: 7th International...
Author: Dimitrios M. Thilikos , Gerhard J. Woeginger ISBN: 9783642332920 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 7th International Symposium on Parameterized and Exact Computation,... Read More >>

Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II

Artificial Neural Networks and Machine Learning -- ICANN...
Author: Alessandro Villa , Włodzisław Duch ISBN: 9783642332654 Format: Paperback	$145.17
The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial... Read More >>

Soft Computing and Fractal Theory for Intelligent Manufacturing

Soft Computing and Fractal Theory for Intelligent Manufacturing...
Author: Oscar Castillo , Patricia Melin ISBN: 9783662002964 Format: Paperback	$448.77
Read More >>

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

Theoretical Aspects of Computing - ICTAC 2012: 9th International...
Author: Abhik Roychoudhury , Meenakshi D´Souza ISBN: 9783642329425 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing,... Read More >>

Swarm Intelligence: 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012, Proceedings

Swarm Intelligence: 8th International Conference, ANTS...
Author: Mauro Birattari , Christian Blum ISBN: 9783642326493 Format: Paperback	$145.17
This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels,... Read More >>

Uncertainty Quantification in Scientific Computing: 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Uncertainty Quantification in Scientific Computing:...
Author: Andrew Dienstfrey , Ronald Boisvert ISBN: 9783642326769 Format: Hardback	$145.17
They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ... 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: 9781461442523 Format: Hardback	$158.37
and the building of the Three “M’s” Maple, Mathematica and Matlab.We intend to persuade that Mathematica and other... Read More >>

Page 257 of 444 ... 252 253 254 255 256 257 258 259 260 261 ...

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