Theory and Practice of Computation

丛 书 名：Proceedings in Information and Communications Technology

版本说明：1

作     者：Shin-ya Nishizaki Masayuki Numao Jaime Caro Merlin Teodosia Suarez 

I S B N：(纸本) 9784431544357 

出 版 社：Springer Tokyo 

出 版 年：1000年

页      数：XII, 295页

主 题 词：Logics and Meanings of Programs Computational Biology/Bioinformatics Theory of Computation Artificial Intelligence User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery 

摘      要：This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing.