 |
|
|
Item Details
| Title:
|
MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE
5TH CONFERENCE ON COMPUTABILITY IN EUROPE, CIE 2009, HEIDELBERG, GERMANY, JULY 19-24, 2009 ; PROCEEDINGS |
| By: |
Klaus Ambos-Spies (Editor), Benedikt Lowe (Editor), Wolfgang Merkle (Editor) |
| Format: |
Paperback |
| List price:
|
£90.00 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
3642030726 |
| ISBN 13: |
9783642030727 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
9 July, 2009 |
| Series: |
Lecture Notes in Computer Science / Theoretical Computer Science and General No. 5635 |
| Pages: |
524 |
| Synopsis: |
CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19-24, 2009 After several years of research activity, the informal cooperation "C- putability in Europe" decided to take a more formal status at their meeting in Athens in June 2008: the Association for Computability in Europe was founded to promote the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science, and applications in va- ous natural and engineering sciences such as physics and biology, including the promotion of the study of philosophy and history of computing as it relates to questionsofcomputability. As mentioned,this associationbuilds ontheinformal network of European scientists working on computability theory that had been supporting the conference series CiE-CS overthe years,and nowbecame its new home. The aims of the conference series remain unchanged: to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines.Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory or relativity. Computations may be very general, depending on the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|