Cover Image

Foundations of information technology in the era of network and mobile computing : IFIP 17th World Computer Congress--TC1 stream/2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada /

Show other versions (1)

Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions...

Full description

Bibliographic Details
Corporate Authors: IFIP World Computer Congress Montréal, Québec, SpringerLink (Online service), IFIP International Conference on Theoretical Computer Science
Other Authors: Baeza-Yates, R. (Ricardo), Montanari, U. (Ugo), Santoro, N. (Nicola), 1951-
Format: Conference Proceeding eBook
Language:English
Published: Boston : Kluwer Academic Publishers, [2002]
Series:International Federation for Information Processing (Series) ; 96.
Subjects:
Information technology > Congresses.
Computer networks > Congresses.
Mobile computing > Congresses.
Computer networks.
Information technology.
Mobile computing.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montral, Qubec, Canada in August 2002.
Physical Description:1 online resource (xiv, 612 pages) : illustrations.
Bibliography:Includes bibliographical references and index.
ISBN:9780387356082 (electronic bk.)
0387356088 (electronic bk.)