Programs, Proofs, Processes Image close
Programs, Proofs, Processes
Programs, Proofs, Processes
Show Hide Adult Content

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Programs, Proofs, Processes

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Theoretical Computer Science and General Issues

See all products in this series

Advances in Self-Organizing Maps
$152.00
Advances in Self-Organizing Maps
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$152.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Wireless Algorithms, Systems, and Applications
$160.00
Wireless Algorithms, Systems, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2006
$330.00
STACS 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Developments in Language Theory
$155.00
Developments in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$154.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$154.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$193.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Algorithms
$157.00
Combinatorial Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Space-Efficient Data Structures, Streams, and Algorithms
$154.00
Space-Efficient Data Structures, Streams, and Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Models of Computation
$152.00
Theory and Applications of Models of Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$162.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Spatial Information Theory
$157.00
Spatial Information Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$476.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$153.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
Unavailable
Sorry, this product is not currently available to order

Description

CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30-July 4 2010 The last few years, starting in 2005 with out inaugural conference in Amst- dam, have seen a development from an informal cooperation via an increasingly established conference series to an association, founded in 2008. While the or- nization formofComputability in Europe (CiE) may havechanged, the scienti?c scope is still the same and as interdisciplinary and innovative as it was six year ago when we held the ?rst conference. CiE aims to promote computabili- related science in its broadest sense, including mathematics, computer science, applications in various natural and engineering sciences (e. g. , physics, biology, computer engineering), and also reaches out to meta-studies such as the history and philosophy of computing. Researchers at CiE conferences wish to advance our theoretical understanding of what can and cannot be computed, by any means of computation. CiE 2010 was the sixth conference of the series, held in a geographically unique anddramatic location,Europe's mostwesterlyoutpost,atthe University ofAzoresinPontaDelgada,Portugal. ThethemeofCiE2010"Programs,Proofs, Processes" points to the usual CiE synergy of computer science, mathematics and logic, with important computability-theoretic connections to science and the real universe. Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines.
Release date NZ
June 17th, 2010
Audience
  • Professional & Vocational
Contributors
  • Edited by Benedikt Lowe
  • Edited by Elvira Mayordomo
  • Edited by Fernando Ferreira
  • Edited by Luis Mendes Gomes
Illustrations
37 Illustrations, black and white; XIV, 450 p. 37 illus.
Pages
450
Dimensions
155x234x25
ISBN-13
9783642139611
Product ID
7219038

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence