Interactive Computation : The New Paradigm /
Contributor(s): Goldin, Dina [editor.] | Smolka, Scott A [editor.] | Wegner, Peter [editor.] | SpringerLink (Online service).
Material type:
BookPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: XV, 487 p. 84 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540348740.Subject(s): Computer science | Computer programming | Computers | User interfaces (Computer systems) | Computer Science | Theory of Computation | Programming Techniques | Models and Principles | User Interfaces and Human Computer InteractionDDC classification: 004.0151 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
E books
|
PK Kelkar Library, IIT Kanpur | Available | EBK450 |
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.
There are no comments for this item.