{"product_id":"exploring-new-frontiers-of-theoretical-informatics-ifip-18th-world-computer-congress-tc1-3rd-international-conference-on-theoretical-computer-science-9781441954862","title":"Exploring New Frontiers of Theoretical Informatics: Ifip 18th World Computer Congress Tc1 3rd International Conference on Theoretical Computer Science","description":"\u003cp\u003e • Author(s): Jean-Jacques Lévy\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eExploring New Frontiers of Theoretical Informatics\u003c\/p\u003e \u003cp\u003eEdited by Jean-Jacques Levy, Ernst W. Mayr, and John C. Mitchell\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eIn 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.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eTo 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.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eReflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, \u003cem\u003eExploring New Frontiers of Theoretical Informatics\u003c\/em\u003e is presented in two distinct but interrelated tracks: \u003c\/p\u003e \u003cp\u003e-Algorithms, Complexity and Models of Computation, \u003cbr\u003e-Logic, Semantics, Specification and Verification. \u003c\/p\u003e \u003cp\u003e\u003cem\u003eExploring New Frontiers of Theoretical Informatics\u003c\/em\u003e 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 3\u003csup\u003erd\u003c\/sup\u003e IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18\u003csup\u003eth\u003c\/sup\u003e World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP).\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45274444071063,"sku":"9781441954862","price":11015.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781441954862.webp?v=1769279940","url":"https:\/\/atlanticbooks.com\/products\/exploring-new-frontiers-of-theoretical-informatics-ifip-18th-world-computer-congress-tc1-3rd-international-conference-on-theoretical-computer-science-9781441954862","provider":"Atlantic Books","version":"1.0","type":"link"}