Skip to main content

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

  • Book
  • © 2002

Overview

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 96)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (49 chapters)

  1. Algorithms, Complexity and Models of Computation

    1. Contributed Papers

  2. Logic, Semantics, Specification and Verification

    1. Invited Papers

    2. Contributed Papers

Editors and Affiliations

  • Universidad de Chile, Chile

    Ricardo Baeza-Yates

  • Università di Pisa, Italy

    Ugo Montanari

  • Carleton University, Canada

    Nicola Santoro

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Publish with us