{"product_id":"9781441954862","title":"IFIP Advances in Information and Communication Technology: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France\u003c\/h1\u003e \u003ch2\u003eLévy, Jean-Jacques; Mayr, Ernst W.; Mitchell, John  C.\u003c\/h2\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. 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.\u003c\/p\u003e\n\u003cp\u003e\u003c\/p\u003e\n\u003cp\u003eReflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, \u003cstrong\u003eExploring New Frontiers of Theoretical Informatics\u003c\/strong\u003e, is presented in two distinct but interrelated tracks:\u003c\/p\u003e\n\u003cp\u003e-Algorithms, Complexity and Models of Computation, \u003cbr\u003e-Logic, Semantics, Specification and Verification.\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eExploring New Frontiers of Theoretical Informatics\u003c\/strong\u003e 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 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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2011-12-14\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781441954862\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b98989\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 676\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378938437772,"sku":"9781441954862","price":179.1,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781441954862.jpg?v=1779503740","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781441954862","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}