Mathematical theory of computation books

11085 books were found.

A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

A Parallel Algorithm Synthesis Procedure for High-Performance...

Author: Ian N. Dunn ,  Gerard G.L. Meyer
ISBN: 9781461346586
Format: Paperback
$290.37

This, coupled with the fact that parallel computer architectures rarely last more than a couple of years, makes...  Read More >>

A Theory of Objects

A Theory of Objects

Author: Martin Abadi ,  Luca Cardelli
ISBN: 9781461264453
Format: Paperback
$659.97

This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows...  Read More >>

Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012, Proceedings

Computational Methods in Systems Biology: 10th International...

Author: David Gilbert ,  Monika Heiner
ISBN: 9783642336355
Format: Paperback
$145.17

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational...  Read More >>

Conceptual Modeling: 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding

Conceptual Modeling: 31st International Conference on...

Author: Paolo Atzeni ,  David Cheung
ISBN: 9783642340017
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012,...  Read More >>

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings

Principles and Practice of Constraint Programming -...

Author: Michela Milano
ISBN: 9783642335570
Format: Paperback
$290.37

Constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles...  Read More >>

Enhancing the Power of the Internet

Enhancing the Power of the Internet

Author: Masoud Nikravesh ,  Ben Azvine
ISBN: 9783642536298
Format: Paperback
$448.77

This book presents reports from the forefront of soft computing in the Internet industry and covers important topics...  Read More >>

Intelligent Information Processing VI: 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings

Intelligent Information Processing VI: 7th IFIP TC 12...

Author: Zhongzhi Shi ,  David Leake
ISBN: 9783642328909
Format: Hardback
$290.37

This book constitutes the refereed proceedings of the 7th IFIP TC 12 International Conference on Intelligent Information...  Read More >>

Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics

Applied Interval Analysis: With Examples in Parameter...

Author: Luc Jaulin ,  Michel Kieffer
ISBN: 9781447110675
Format: Paperback
$290.37

At the core of many engineering problems is the solution of sets of equa­ tions and inequalities, and the optimization...  Read More >>

Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

Computer Safety, Reliability, and Security: SAFECOMP...

Author: Frank Ortmeier ,  Peter Daniel
ISBN: 9783642336744
Format: Paperback
$116.41

Constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference...  Read More >>

Towards Advanced Data Analysis by Combining Soft Computing and Statistics

Towards Advanced Data Analysis by Combining Soft Computing...

Author: Christian Borgelt ,  María Ángeles Gil
ISBN: 9783642302770
Format: Hardback
$448.77

Soft computing, as an engineering science, and statistics, as a classical branch of mathematics, emphasize different...  Read More >>

Ordering Block Designs: Gray Codes, Universal Cycles and Configuration Orderings

Ordering Block Designs: Gray Codes, Universal Cycles...

Author: Megan Dewar ,  Brett Stevens
ISBN: 9781461443247
Format: Hardback
$184.67

The study of combinatorial block designs is a vibrant area of combinatorial mathematics with connections to finite...  Read More >>

Abdominal Imaging -Computational and Clinical Applications: International Workshop, CCAAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Proceedings

Abdominal Imaging -Computational and Clinical Applications:...

Author: Hiroyuki Yoshida ,  David Hawkes
ISBN: 9783642336119
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the International Workshop CCAAI 2012, held in Nice, France, in...  Read More >>

Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Theory and Practice of Natural Computing: First International...

Author: Adrian-Horia Dediu ,  Carlos Martín-Vide
ISBN: 9783642338595
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the First International Conference, TPNC 2012, held in Tarragona,...  Read More >>

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International...

Author: George Eleftherakis ,  Mike Hinchey
ISBN: 9783642338250
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and...  Read More >>

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba...

Author: V.S. Subrahmanian ,  Aaron Mannes
ISBN: 9781461447689
Format: Hardback
$343.17

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba provides an in-depth look at Web intelligence, and how...  Read More >>

Organization Structure: Cybernetic Systems Foundation

Organization Structure: Cybernetic Systems Foundation...

Author: Yasuhiko Takahara ,  Mihajlo Mesarovic
ISBN: 9781461379447
Format: Paperback
$145.17

Organization Structure: Cybernetic Systems Foundation utilizes a cybernetic systems framework for the study of organizations...  Read More >>

Artificial Immune Systems: 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings

Artificial Immune Systems: 11th International Conference,...

Author: Carlos A. Coello-Coello ,  Julie Greensmith
ISBN: 9783642337567
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems,...  Read More >>

Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Graph Transformation: 6th International Conference,...

Author: Hartmut Ehrig ,  Gregor Engels
ISBN: 9783642336539
Format: Paperback
$145.17

 Read More >>

An Introduction to Conditional Random Fields

An Introduction to Conditional Random Fields

Author: Charles Sutton ,  Andrew McCallum
ISBN: 9781601985729
Format: Paperback
$224.40

 Read More >>

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings

Model Driven Engineering Languages and Systems: 15th...

Author: Robert B. France ,  Jürgen Kazmeier
ISBN: 9783642336652
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering...  Read More >>

Computational Intelligence for Multimedia Understanding: International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers

Computational Intelligence for Multimedia Understanding:...

Author: Emanuele Salerno ,  A. Enis Cetin
ISBN: 9783642324352
Format: Paperback
$108.65

The papers cover the following topics: multisensor systems, multimodal analysis, crossmodel data analysis and clustering,...  Read More >>

Belief Revision in Non-Classical Logics

Belief Revision in Non-Classical Logics

Author: Márcio Moretto Ribeiro
ISBN: 9781447141853
Format: Paperback
$145.17

 Read More >>

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Author: Zohar Manna ,  Amir Pnueli
ISBN: 9781461287018
Format: Paperback
$316.77

The family of reactive systems includes many classes of programs whose correct and reliable construction is con­...  Read More >>

Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings

Stabilization, Safety, and Security of Distributed Systems:...

Author: Andréa W. Richa ,  Christian Scheideler
ISBN: 9783642335358
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and...  Read More >>

New Frontiers in Artificial Intelligence: JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers

New Frontiers in Artificial Intelligence: JSAI-isAI...

Author: Manabu Okumura ,  Daisuke Bekki
ISBN: 9783642320897
Format: Paperback
$145.17

This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List