Mathematical theory of computation books

11103 books were found.

Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II

Neural Information Processing: 16th International Conference,...
Author: Chi-Sing Leung , Minho Lee ISBN: 9783642106828 Format: Paperback	$409.20
th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing... Read More >>

Computer Arithmetic and Verilog HDL Fundamentals

Computer Arithmetic and Verilog HDL Fundamentals
Author: Joseph Cavanagh (Santa Clara University, California, USA) ISBN: 9781439811245 Format: Hardback	$389.00
Verilog Hardware Description Language (HDL) is the state-of-the-art method for designing digital and computer systems.... Read More >>

Grid Generation Methods

Grid Generation Methods
Author: Vladimir D. Liseikin ISBN: 9789048129119 Format: Hardback	$314.16
This is a fully revised and updated second edition of the introduction to structured and unstructured grid methods... Read More >>

Computerlinguistik und Sprachtechnologie: Eine Einführung

Computerlinguistik und Sprachtechnologie: Eine Einführung...
Author: Kai-Uwe Carstensen , Christian Ebert ISBN: 9783827420237 Format: Hardback	$211.07
Read More >>

Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic
Author: Ernst-Erich Doberkat ISBN: 9783642029943 Format: Hardback	$261.36
Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning... Read More >>

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Formal Methods and Software Engineering: 11th International...
Author: Karin Breitman , Ana Cavalcanti ISBN: 9783642103728 Format: Paperback	$345.84
Formal methods for development of computer systems have been extensively studied over the years. The now long-established... Read More >>

Mathematics for Multimedia

Mathematics for Multimedia
Author: Mladen Victor Wickerhauser ISBN: 9780817648794 Format: Hardback	$184.67
This book examines tools used to create application software for multimedia signal processing and communication.... Read More >>

Learning Deep Architectures for AI

Learning Deep Architectures for AI
Author: Yoshua Bengio ISBN: 9781601982940 Format: Paperback	$237.60
Read More >>

Transactions on Petri Nets and Other Models of Concurrency III

Transactions on Petri Nets and Other Models of Concurrency...
Author: Kurt Jensen , Jonathan Billington ISBN: 9783642048548 Format: Paperback	$258.72
This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other... Read More >>

The Pillars of Computation Theory: State, Encoding, Nondeterminism

The Pillars of Computation Theory: State, Encoding,...
Author: Arnold L. Rosenberg ISBN: 9780387096384 Format: Paperback	$158.27
The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate... Read More >>

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian...
Author: Marcel Vinícius Medeiros Oliveira , Jim Woodcock ISBN: 9783642104510 Format: Paperback	$219.12
Read More >>

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers

Combinatorial Algorithms: 20th International Workshop,...
Author: Jiri Fiala , Jan Kratochvil ISBN: 9783642102165 Format: Paperback	$250.80
The topics dealt with are algorithms and data structures, applications, combinatorial enumeration, combinatorial... Read More >>

AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings

AI 2009: Advances in Artificial Intelligence: 22nd Australasian...
Author: Ann Nicholson , Xiaodong Li ISBN: 9783642104381 Format: Paperback	$345.84
This book constitutes the refereed proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence,... Read More >>

Combinatorial Image Analysis: 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings

Combinatorial Image Analysis: 13th International Workshop,...
Author: Petra Wiederhold , Reneta P. Barneva ISBN: 9783642102080 Format: Paperback	$250.80
This volume constitutes the refereed proceedings of the 13th International Workshop on Combinatorial Image Analysis,... Read More >>

Middleware 2009: ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings

Middleware 2009: ACM/IFIP/USENIX, 10th International...
Author: Valérie Issarny , Brian F. Cooper ISBN: 9783642104442 Format: Paperback	$250.80
This tenth edition includes papers on next-generation pl- forms (such as stream systems, pervasive systems and cloud... Read More >>

Selected Areas in Cryptography: 16th International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

Selected Areas in Cryptography: 16th International Workshop,...
Author: Michael J. Jacobson, Jr. , Vincent Rijmen ISBN: 9783642054433 Format: Paperback	$250.80
Constitutes the selected papers of the 16th Annual International Workshop on Selected Areas in Cryptography, SAC... Read More >>

Performance Evaluation and Benchmarking: Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

Performance Evaluation and Benchmarking: Transaction...
Author: Raghunath Nambiar , Meikel Poess ISBN: 9783642104237 Format: Paperback	$190.08
As a result, the TPC held its First Conference on Performance Evaluation and Benchmarking (TPCTC 2009) on August... Read More >>

Optical Supercomputing: Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings

Optical Supercomputing: Second International Workshop,...
Author: Shlomi Dolev , Mihai Oltean ISBN: 9783642104411 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the The Second International Workshop on Optical SuperComputing,... Read More >>

Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings

Modeling Decisions for Artificial Intelligence: 6th...
Author: Yasuo Narukawa , Masahiro Inuiguchi ISBN: 9783642048197 Format: Paperback	$219.12
This book constitutes the proceedings of the 6th International Conference on Modeling Decisions for Artificial Intelligence,... Read More >>

Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Advances in Software Engineering: International Conference,...
Author: Changhoon Lee , Wai-Chi Fang ISBN: 9783642102417 Format: Paperback	$221.76
As software engineering (SE) becomes specialized and fragmented, it is easy to lose sight that many topics in SE... Read More >>

Software Process and Product Measurement: International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Software Process and Product Measurement: International...
Author: Alain Abran , René Braungarten ISBN: 9783642054143 Format: Paperback	$219.12
This book constitutes the refereed proceedings of two joint events - the International Workshop on Software Measurement,... Read More >>

e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers

e-Business and Telecommunications: International Conference,...
Author: Joaquim Filipe , Mohammad S. Obaidat ISBN: 9783642051968 Format: Paperback	$314.16
th This book contains the best papers of the 5 International Conference on e-Business and Telecommunications (ICETE),... Read More >>

Kryptologie: Algebraische Methoden und Algorithmen

Kryptologie: Algebraische Methoden und Algorithmen
Author: Christian Karpfinger , Hubert Kiechle ISBN: 9783834808844 Format: Paperback	$105.57
Read More >>

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

Knowledge Representation for Agents and Multi-Agent...
Author: John-Jules Meyer , Jan M. Broersen ISBN: 9783642053009 Format: Paperback	$190.08
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge... Read More >>

Conceptual Modeling - ER 2009: 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings

Conceptual Modeling - ER 2009: 28th International Conference...
Author: Alberto H. F. Laender , Silvana Castano ISBN: 9783642048395 Format: Paperback	$282.48
Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such... Read More >>

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

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