 |
|
|
Item Details
| Title:
|
EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS
IFIP 18TH WORLD COMPUTER CONGRESS TC1 3RD INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE (TCS2004) 22-27 AUGUST 2004 TOULOUSE, FRANCE |
| By: |
Jean-Jacques Levy (Editor), Ernst Mayr (Editor), John C. Mitchell (Editor) |
| Format: |
Hardback |
| List price:
|
£72.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
1402081405 |
| ISBN 13: |
9781402081408 |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
1 July, 2004 |
| Edition: |
18th 2004 ed. |
| Series: |
IFIP Advances in Information and Communication Technology 155 |
| Pages: |
676 |
| Description: |
Reflecting the topics and interests within the theoretical computer science community, this book is presented in two interrelated tracks: Algorithms, Complexity and Models of Computation, and Logic, Semantics, Specification and Verification. It contains papers presented at the 3rd IFIP International Conference on Theoretical Computer Science. |
| Synopsis: |
In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving, interactive systems, there is need of radically new foundational ideas and principles; there is need to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction; and there is need to develop effective principles for building and analyzing such systems.Reflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, Exploring New Frontiers of Theoretical Informatics, is presented in two distinct but interrelated tracks:-Algorithms, Complexity and Models of Computation, -Logic, Semantics, Specification and Verification.Exploring New Frontiers of Theoretical Informatics contains 46 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 3rd IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18th World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP). |
| Illustrations: |
XIV, 676 p. |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| 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.
|
|
|
|