Amazon cover image
Image from Amazon.com

Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner.

Contributor(s): Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: XV, 487 p. 84 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540348740
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.0151 23
LOC classification:
  • QA75.5-76.95
Online resources:
Contents:
Turing, Computing and Communication -- Computing and Interaction -- Principles of Interactive Computation -- Theory -- A Theory of System Interaction: Components, Interfaces, and Services -- Verification of Open Systems -- A Theory of Interactive Computation -- Online Algorithms -- Interactive Algorithms 2005 with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From Information-Centric to Experiential Environments -- Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach -- New Directions -- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science -- Coordination -- Social Interaction, Knowledge, and Social Software -- Interaction, Computation, and Education.
In: Springer eBooks
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Turing, Computing and Communication -- Computing and Interaction -- Principles of Interactive Computation -- Theory -- A Theory of System Interaction: Components, Interfaces, and Services -- Verification of Open Systems -- A Theory of Interactive Computation -- Online Algorithms -- Interactive Algorithms 2005 with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From Information-Centric to Experiential Environments -- Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach -- New Directions -- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science -- Coordination -- Social Interaction, Knowledge, and Social Software -- Interaction, Computation, and Education.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email:
librarian@alfaisal.edu