Description

Book Synopsis
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.

Table of Contents
Programming Language Theory; Formal Method; Formal Systems for Biology; Programming Development Environment; Empathic Computing; Serious Games; Encoding; Intelligent Computation;

Theory And Practice Of Computation - Proceedings

    Product form

    £90.25

    Includes FREE delivery

    RRP £95.00 – you save £4.75 (5%)

    Order before 4pm today for delivery by Sat 27 Jun 2026.

    A Hardback by Shin-ya Nishizaki, Masayuki Numao, Jaime D L Caro

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Theory And Practice Of Computation - Proceedings by Shin-ya Nishizaki

      Publisher: World Scientific Publishing Co Pte Ltd
      Publication Date: 05/11/2014
      ISBN13: 9789814612876, 978-9814612876
      ISBN10: 9814612871

      Description

      Book Synopsis
      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.

      Table of Contents
      Programming Language Theory; Formal Method; Formal Systems for Biology; Programming Development Environment; Empathic Computing; Serious Games; Encoding; Intelligent Computation;

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account