Mathematical theory of computation books

11103 books were found.

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Teaching Formal Methods: Second International Conference,...
Author: Jeremy Gibbons , Jose Nuno Oliveira ISBN: 9783642049118 Format: Paperback	$190.08
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods,... Read More >>

Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

Stabilization, Safety, and Security of Distributed Systems:...
Author: Rachid Guerraoui , Franck Petit ISBN: 9783642051173 Format: Paperback	$377.52
This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and... Read More >>

Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings

Anaphora Processing and Applications: 7th Discourse...
Author: Lalitha Devi Sobha , António Branco ISBN: 9783642049743 Format: Paperback	$190.08
Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range... Read More >>

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Infinity in Logic and Computation: International Conference,...
Author: Margaret Archibald , Vasco Brattka ISBN: 9783642030918 Format: Paperback	$171.47
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes... Read More >>

Provable Security: Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

Provable Security: Third International Conference, ProvSec...
Author: Josef Pawel Pieprzyk , Fangguo Zhang ISBN: 9783642046414 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec... Read More >>

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven,...
Author: Ana Cavalcanti , Dennis Dams ISBN: 9783642050886 Format: Paperback	$377.52
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress... Read More >>

Introduction To The Analysis Of Algorithms, An

Introduction To The Analysis Of Algorithms, An
Author: Michael Soltys-kulinicz (California State Univ Channel Islands, Usa) ISBN: 9789814271400 Format: Hardback	$118.80
Covers the mathematical foundations of the analysis of algorithms. This book considers the basic and traditional... Read More >>

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings

Testing of Software and Communication Systems: 21st...
Author: Manuel Nunez , Paul Baker ISBN: 9783642050305 Format: Paperback	$248.16
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating... Read More >>

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Rule Interchange and Applications: International Symposium,...
Author: Adrian Paschke , Guido Governatori ISBN: 9783642049842 Format: Paperback	$219.12
Read More >>

DNA Computing: 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers

DNA Computing: 14th International Meeting on DNA Computing,...
Author: Ashish Goel , Friedrich C. Simmel ISBN: 9783642030758 Format: Paperback	$190.08
The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2-9, 2008. During... Read More >>

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

Adaptive and Natural Computing Algorithms: 9th International...
Author: Ville Kolehmainen , Pekka Toivanen ISBN: 9783642049200 Format: Paperback	$314.16
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles... Read More >>

System Modeling and Optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

System Modeling and Optimization: 23rd IFIP TC 7 Conference,...
Author: Adam Korytowski , Maciej Szymkat ISBN: 9783642048012 Format: Hardback	$578.16
rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on... Read More >>

Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings

Nano-Net: 4th International ICST Conference, Nano-Net...
Author: Alexandre Schmid , Sanjay Goel ISBN: 9783642048494 Format: Paperback	$219.12
Read More >>

Statistical Analysis of Designed Experiments, Third Edition

Statistical Analysis of Designed Experiments, Third...
Author: Helge Toutenburg , Shalabh ISBN: 9781441911476 Format: Hardback	$263.87
This textbook presents the design and analysis of experiments that comprise the aspects of classical theory for... Read More >>

Computational Intelligence and Intelligent Systems: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009

Computational Intelligence and Intelligent Systems:...
Author: Zhenhua Li , Li Zhenhua ISBN: 9783642049613 Format: Paperback	$282.48
Read More >>

Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science
Author: Rudolf Berghammer , Ali Jaoua ISBN: 9783642046384 Format: Paperback	$219.12
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in... Read More >>

Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings

Stochastic Algorithms: Foundations and Applications:...
Author: Osamu Watanabe , Thomas Zeugmann ISBN: 9783642049439 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations... Read More >>

Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings

Algorithmic Decision Theory: First International Conference,...
Author: Francesca Rossi , Alexis Tsoukias ISBN: 9783642044274 Format: Paperback	$250.80
This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision... Read More >>

Approximate Commutative Algebra

Approximate Commutative Algebra
Author: Lorenzo Robbiano , John Abbott ISBN: 9783211993132 Format: Paperback	$366.96
Read More >>

Logic Synthesis for FSM-Based Control Units

Logic Synthesis for FSM-Based Control Units
Author: Alexander Barkalov , Larysa Titarenko ISBN: 9783642043086 Format: Hardback	$340.56
This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm.... Read More >>

Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday

Aspects of Natural Language Processing: Essays Dedicated...
Author: Malgorzata Marciniak , Agnieszka Mykowiecka ISBN: 9783642047343 Format: Paperback	$250.80
Leonard Bolc has played an important role in the Polish computer science community. This Festschrift, published... Read More >>

Hybrid Metaheuristics: 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings

Hybrid Metaheuristics: 6th International Workshop, HM...
Author: Christian Blum , Luca Gaspero ISBN: 9783642049170 Format: Paperback	$190.08
The International Workshop on Hybrid Metaheuristics was established with the aim of providing researchers and scholars... Read More >>

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis:...
Author: Zhiming Liu , Anders P. Ravn ISBN: 9783642047602 Format: Paperback	$250.80
The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected... Read More >>

Comparative Genomics: International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings

Comparative Genomics: International Workshop, RECOMB-CG...
Author: Francesca D. Ciccarelli , István Miklós ISBN: 9783642047435 Format: Paperback	$190.08
As genome-sequencing costs continue their downward spiral, sequencing of closely related organisms has become increasingly... Read More >>

Handbook of Weighted Automata

Handbook of Weighted Automata
Author: Manfred Droste , Werner Kuich ISBN: 9783642014918 Format: Hardback	$419.76
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite... Read More >>

Page 335 of 445 ... 330 331 332 333 334 335 336 337 338 339 ...

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