This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines — Diliman, and De La Salle University. The proceedings provides a comprehensive view of the current development of fundamental research in formal method, programming language and programming development environment, bioinformatics, empathic and intelligent systems, and computing gaming in Japan and the Philippines.
Les mer
This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation.
Programming Language Theory; Formal Method; Formal Systems for Biology; Programming Development Environment; Empathic Computing; Serious Games; Encoding; Intelligent Computation;
Produktdetaljer
ISBN
9789814612876
Publisert
2014-11-05
Utgiver
Vendor
World Scientific Publishing Co Pte Ltd
Aldersnivå
U, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
268
Redaktør