Mathematical theory of computation books

11069 books were found.

Rough Sets and Knowledge Technology: 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings

Rough Sets and Knowledge Technology: 8th International...
Author: Pawan Lingras , Marcin Wolski ISBN: 9783642412981 Format: Paperback	$145.17
This book constitutes the thoroughly refereed conference proceedings of the 8th International Conference on Rough... Read More >>

Convergence Analysis of Recurrent Neural Networks

Convergence Analysis of Recurrent Neural Networks
Author: Zhang Yi ISBN: 9781475738216 Format: Paperback	$290.37
Since the outstanding and pioneering research work of Hopfield on recurrent neural networks (RNNs) in the early... Read More >>

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering: 5th International...
Author: Farhad Arbab , Marjan Sirjani ISBN: 9783642402128 Format: Paperback	$145.17
Read More >>

Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Software Engineering for Resilient Systems: 5th International...
Author: Anatoliy Gorbenko , Alexander Romanovsky ISBN: 9783642408939 Format: Paperback	$103.47
Read More >>

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Reachability Problems: 7th International Workshop, RP...
Author: Parosh Aziz Abdulla , Igor Potapov ISBN: 9783642410352 Format: Paperback	$131.97
Read More >>

Similarity Search and Applications: 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings

Similarity Search and Applications: 6th International...
Author: Nieves Brisaboa , Oscar Pedreira ISBN: 9783642410611 Format: Paperback	$145.17
Read More >>

Hybrid Artificial Intelligent Systems: 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems: 8th International...
Author: Jeng-Shyang Pan , Marios M. Polycarpou ISBN: 9783642408458 Format: Paperback	$145.17
This volume constitutes the proceedings of the 8th International Conference on Hybrid Artificial Intelligent Systems,... Read More >>

Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Logic, Rationality, and Interaction: 4th International...
Author: Davide Grossi , Olivier Roy ISBN: 9783642409479 Format: Paperback	$145.17
This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/... Read More >>

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

Frontiers of Combining Systems: 9th International Symposium,...
Author: Pascal Fontaine , Christophe Ringeissen ISBN: 9783642408847 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems,... Read More >>

Modeling and Using Context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings

Modeling and Using Context: 8th International and Interdisciplinary...
Author: Patrick Brézillon , Patrick Blackburn ISBN: 9783642409714 Format: Paperback	$145.17
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and... Read More >>

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Formal Methods for Industrial Critical Systems: 18th...
Author: Michael Dierkes , Charles Pecheur ISBN: 9783642410093 Format: Paperback	$131.97
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal... Read More >>

Abdominal Imaging. Computational and Clinical Applications: 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

Abdominal Imaging. Computational and Clinical Applications:...
Author: Hiroyuki Yoshida , Simon Warfield ISBN: 9783642410826 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 5th International Workshop CCAA 2013, held in conjunction... Read More >>

The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

The Beauty of Functional Code: Essays Dedicated to Rinus...
Author: Peter Achten , Pieter Koopman ISBN: 9783642403545 Format: Paperback	$131.97
This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st... Read More >>

Web Information Retrieval

Web Information Retrieval
Author: Stefano Ceri , Alessandro Bozzon ISBN: 9783642393136 Format: Hardback	$211.17
Web Information Retrieval Read More >>

Engineering Applications of Neural Networks: 14th International Conference, EANN 2013, Halkidiki, Greece, September 2013, Proceedings, Part II

Engineering Applications of Neural Networks: 14th International...
Author: Lazaros S. Iliadis , Harris Papadopoulos ISBN: 9783642410154 Format: Paperback	$145.17
Read More >>

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Software Engineering and Formal Methods: 11th International...
Author: Robert M. Hierons , Mercedes G. Merayo ISBN: 9783642405600 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal... Read More >>

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases:...
Author: Hendrik Blockeel , Kristian Kersting ISBN: 9783642409875 Format: Paperback	$145.17
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on... Read More >>

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

Machine Learning and Knowledge Discovery in Databases:...
Author: Hendrik Blockeel , Kristian Kersting ISBN: 9783642409905 Format: Paperback	$145.17
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on... Read More >>

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry: 9th International Workshop,...
Author: Tetsuo Ida , Jacques Fleuriot ISBN: 9783642406713 Format: Paperback	$131.97
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated... Read More >>

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

Machine Learning and Knowledge Discovery in Databases:...
Author: Hendrik Blockeel , Kristian Kersting ISBN: 9783642409936 Format: Paperback	$145.17
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on... Read More >>

Refinement in Z and Object-Z: Foundations and Advanced Applications

Refinement in Z and Object-Z: Foundations and Advanced...
Author: John Derrick , Eerke A. Boiten ISBN: 9781447153542 Format: Hardback	$290.37
Refinement in Z and Object-Z Read More >>

Engineering Applications of Neural Networks: 14th International Conference, EANN 2013, Halkidiki, Greece, September 2013, Proceedings, Part I

Engineering Applications of Neural Networks: 14th International...
Author: Lazaros S. Iliadis , Harris Papadopoulos ISBN: 9783642410123 Format: Paperback	$145.17
Read More >>

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International...
Author: Lindsay Groves , Jing Sun ISBN: 9783642412011 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods,... Read More >>

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis:...
Author: Dang Van Hung , Mizuhito Ogawa ISBN: 9783319024431 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification... Read More >>

Algorithmic Learning Theory: 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings

Algorithmic Learning Theory: 24th International Conference,...
Author: Sanjay Jain , Rémi Munos ISBN: 9783642409349 Format: Paperback	$145.17
This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013,... Read More >>

Page 225 of 443 ... 220 221 222 223 224 225 226 227 228 229 ...

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