Mathematical theory of computation books

11103 books were found.

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services:...
Author: Manfred Broy , Ingolf Krüger ISBN: 9783540709299 Format: Paperback	$158.27
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer.... Read More >>

Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

Deontic Logic in Computer Science: 9th International...
Author: Ron van der Meyden , Leendert van der Torre ISBN: 9783540705246 Format: Paperback	$184.67
Presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON... Read More >>

Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings

Implementation and Applications of Automata: 13th International...
Author: Oscar H. Ibarra , Bala Ravikumar ISBN: 9783540708438 Format: Paperback	$184.67
This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as... Read More >>

Scientific and Statistical Database Management: 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings

Scientific and Statistical Database Management: 20th...
Author: Bertram Ludäscher , Nikos Mamoulis ISBN: 9783540694762 Format: Paperback	$261.36
The papers are organized in topical sections on query optimization in scientific databases, privacy, searching and... Read More >>

Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings

Embedded Computer Systems: Architectures, Modeling,...
Author: Mladen Berekovic , Nikitas Dimopoulos ISBN: 9783540705499 Format: Paperback	$184.67
This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling,... Read More >>

Foundations of Web Programming: An Open Source, Cross-platform, Formal Treatment

Foundations of Web Programming: An Open Source, Cross-platform,...
Author: James Smith ISBN: 9780954706616 Format: Hardback	$121.31
This book takes an independent approach to Web programming and shows that it is not necessary to be tied to any... Read More >>

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Rewriting Techniques and Applications: 19th International...
Author: Andrei Voronkov ISBN: 9783540705888 Format: Paperback	$237.47
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and... Read More >>

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Mathematics of Program Construction: 9th International...
Author: Philippe Audebaud , Christine Paulin-Mohring ISBN: 9783540705932 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction,... Read More >>

Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

Conceptual Structures: Knowledge Visualization and Reasoning:...
Author: Peter Eklund , Ollivier Haemmerlé ISBN: 9783540705956 Format: Paperback	$184.67
Read More >>

ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

ECOOP 2008 - Object-Oriented Programming: 22nd European...
Author: Jan Vitek ISBN: 9783540705918 Format: Paperback	$314.16
It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP... Read More >>

Resilient Networks and Services: Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008, Proceedings

Resilient Networks and Services: Second International...
Author: David Hausheer , Schönwälder Jürgen ISBN: 9783540705864 Format: Paperback	$237.47
This volume of the Lecture Notes in Computer Science series contains the papers accepted for presentation at the... Read More >>

Arithmetic of Finite Fields: Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings

Arithmetic of Finite Fields: Second International Workshop,...
Author: Joachim von zur Gathen , José Luis Imana ISBN: 9783540694984 Format: Paperback	$158.27
The papers are organized in topical sections on structures in finite fields, efficient finite field arithmetic,... Read More >>

Computational Science and Its Applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2008:...
Author: Osvaldo Gervasi , Beniamino Murgante ISBN: 9783540698388 Format: Paperback	$472.56
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications,... Read More >>

Computational Science and Its Applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2008:...
Author: Osvaldo Gervasi , Beniamino Murgante ISBN: 9783540698401 Format: Paperback	$472.56
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications,... Read More >>

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Automata, Languages and Programming: 35th International...
Author: Luca Aceto , Ivan Damgaard ISBN: 9783540705826 Format: Paperback	$314.16
The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols... Read More >>

Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs (4th Edition)

Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata,...
Author: Willi-hans Steeb (Univ Of Johannesburg, South Africa) ISBN: 9789812818539 Format: Paperback	$216.48
Offers various techniques and methods used in nonlinear dynamics. This book discusses the concepts and underlying... Read More >>

Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I

Automata, Languages and Programming: 35th International...
Author: Luca Aceto , Ivan Damgaard ISBN: 9783540705741 Format: Paperback	$393.36
Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming,... Read More >>

Biomat 2007 - International Symposium On Mathematical And Computational Biology

Biomat 2007 - International Symposium On Mathematical...
Author: Rubem P Mondaini (Federal Univ Of Rio De Janeiro, Brazil) , Rui Dilao (Inst Superior Tecnico, Portugal) ISBN: 9789812812322 Format: Hardback	$414.16
Contains the contributions of the keynote speakers of the BIOMAT 2007 Symposium, as well as selected contributed... Read More >>

Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs (4th Edition)

Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata,...
Author: Willi-hans Steeb (Univ Of Johannesburg, South Africa) ISBN: 9789812818522 Format: Hardback	$274.56
Offers various techniques and methods used in nonlinear dynamics. This book discusses the concepts and underlying... Read More >>

Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Objects, Components, Models and Patterns: 46th International...
Author: Richard F. Paige , Bertrand Meyer ISBN: 9783540698234 Format: Paperback	$237.47
Read More >>

Algorithm Theory – SWAT 2008: 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings

Algorithm Theory – SWAT 2008: 11th Scandinavian Workshop...
Author: Joachim Gudmundsson ISBN: 9783540699002 Format: Paperback	$237.47
Constitutes the proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg,... Read More >>

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Logic, Language, Information and Computation: 15th International...
Author: Wilfrid Hodges , Ruy de Queiroz ISBN: 9783540699361 Format: Paperback	$184.67
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the... Read More >>

Wireless Sensor and Actor Networks II: Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canada, July 14-15, 2008

Wireless Sensor and Actor Networks II: Proceedings of...
Author: Ali Miri ISBN: 9780387094403 Format: Hardback	$393.36
This book constitutes the refereed proceedings of the IFIP Conference on Wireless Sensors and Actor Networks held... Read More >>

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Theory and Practice of Model Transformations: First...
Author: Antonio Vallecillo , Jeff Gray ISBN: 9783540699262 Format: Paperback	$184.67
Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex... Read More >>

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Computer Aided Verification: 20th International Conference,...
Author: Aarti Gupta , Sharad Malik ISBN: 9783540705437 Format: Paperback	$261.36
Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008,... Read More >>

Page 350 of 445 ... 345 346 347 348 349 350 351 352 353 354 ...

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