跳到内容
关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.

Interactive computation : the new paradigm
关闭预览资料

Interactive computation : the new paradigm

著者: Dina Q Goldin; Scott A Smolka; Peter Wegner
出版商: Berlin ; New York : Springer, ©2006.
版本/格式: 图书 : 英语查看所有的版本和格式
评估:

正在检索评估和评论的资料...  

 

在图书馆查找

正在检索... 正在查找有这资料的图书馆...

详细书目

材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Dina Q Goldin; Scott A Smolka; Peter Wegner
ISBN: 9783540346661 354034666X
OCLC号码: 71747738
描述: xiv, 487 p. : ill. ; 24 cm.
内容: Turing, Computing and Communication / Robin Milner -- Computing and Interaction / Farhad Arbab -- Principles of Interactive Computation / Dina Goldin, Peter Wegner -- Part II Theory: A Theory of System Interaction: Components, -- Interfaces, and Services / Manfred Broy -- Verification of Open Systems / Orna Kupferman, Moshe Y. Vardi -- A Theory of Interactive Computation / Jan van Leeuwen, Jiri Wiedermann -- Online Algorithms / Susanne Albers -- Interactive Algorithms 2005 with Added Appendix / Yuri Gurevich -- Computability Logic: A Formal Theory of Interaction / Giorgi Japaridze -- Part III Applications: Human-Computer Interaction / Michel Beaudouin-Lafon -- Modeling Web Interactions and Errors / Shriram Krishnamurthi ...[et al.] -- Composition of Interacting Computations / Farhad Arbab -- From Information-Centric to Experiential Environments / Rahul Singh, Ramesh Jain -- 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: The Multidisciplinary Patterns of Interaction from Sciences to Computer Science / Andrea Omicini, Alessandro Ricci, Mirko Viroli -- Coordination / Peter J. Denning, Thomas W. Malone -- Social Interaction, Knowledge, and Social Software / Eric Pacuit, Rohit Parikh -- Interaction, Computation, and Education / Lynn Andrea Stein.
责任: Dina Goldin, Scott A. Smolka, Peter Wegner (eds.).
更多信息:

评论

正在检索WorldCat中的评论...
正在检索EMRO中的评论...
正在检索weRead中的评论...
正在获取GoodReads评论...
正在检索Amazon中的评论...

标签

争取是第一个!

相似资料

确认申请

您可能已经申请过这份资料。如果还想继续进行,请选确认。