Login

Goldin, Dina

Interactive Computation

Goldin, Dina - Interactive Computation, ebook

104,45€

Ebook, PDF with Adobe DRM
ISBN: 9783540348740
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I.Introduction

1. Turing, Computing and Communication
Robin Milner

2. Computing and Interaction
Farhad Arbab

3. Principles of Interactive Computation
Dina Goldin, Peter Wegner

Part II.Theory

4. A Theory of System Interaction: Components, Interfaces, and Services
Manfred Broy

5. Verification of Open Systems
Orna Kupferman, Moshe Y. Vardi

6. A Theory of Interactive Computation
Jan Leeuwen, Jirí Wiedermann

7. Online Algorithms
Susanne Albers

8. Interactive Algorithms 2005 with Added Appendix
Yuri Gurevich

9. Computability Logic: A Formal Theory of Interaction
Giorgi Japaridze

Part III.Applications

10. Human-Computer Interaction
Michel Beaudouin-Lafon

11. Modeling Web Interactions and Errors
Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen

12. Composition of Interacting Computations
Farhad Arbab

13. From Information-Centric to Experiential Environments
Rahul Singh, Ramesh Jain

14. Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach
Chris Barrett, Stephen Eubank, Madhav Marathe

Part IV.New Directions

15. The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Andrea Omicini, Alessandro Ricci, Mirko Viroli

16. Coordination
Peter J. Denning, Thomas W. Malone

17. Social Interaction, Knowledge, and Social Software
Eric Pacuit, Rohit Parikh

18. Interaction, Computation, and Education
Lynn Andrea Stein

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
 
 
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783540348740

Similar titles