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 (IFIP Advances in Information and Communication Technology)

Baeza-Yates, Ricardo (Editor) / Montanari, Ugo (Editor) / Santoro, Nicola (Editor)

ISBN 10: 147575275X / ISBN 13: 9781475752755

Published by Springer, 2013

About this Item

628 pages. 9.30x6.20x1.40 inches. In Stock. Seller Inventory # x-147575275X

Bibliographic Details

Title: Foundations of Information Technology in the...

Publisher: Springer

Publication Date: 2013

Binding: Paperback

Condition: Brand New

About this title

Synopsis:

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 Montréal, Québec, Canada in August 2002.