IFIP Advances in Information and Communication Technology

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

Editors: Lévy, Jean-Jacques, Mayr, Ernst W., Mitchell, John C. (Eds.)

Free Preview

Buy this book

eBook $149.00
price for USA in USD
  • ISBN 978-1-4020-8141-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.99
price for USA in USD
  • ISBN 978-1-4020-8140-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $199.00
price for USA in USD
  • ISBN 978-1-4419-5486-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

Exploring New Frontiers of Theoretical Informatics

Edited by Jean-Jacques Levy, Ernst W. Mayr, and John C. Mitchell

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 four 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).

Table of contents (50 chapters)

Table of contents (50 chapters)

Buy this book

eBook $149.00
price for USA in USD
  • ISBN 978-1-4020-8141-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.99
price for USA in USD
  • ISBN 978-1-4020-8140-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $199.00
price for USA in USD
  • ISBN 978-1-4419-5486-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Exploring New Frontiers of Theoretical Informatics
Book Subtitle
IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France
Editors
  • Jean-Jacques Lévy
  • Ernst W. Mayr
  • John C. Mitchell
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
155
Copyright
2004
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-1-4020-8141-5
DOI
10.1007/b98989
Hardcover ISBN
978-1-4020-8140-8
Softcover ISBN
978-1-4419-5486-2
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XIV, 676
Topics