MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02866nam a2200229Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250520102719.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250520s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789814612876 |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA 75.5 .T44 2015 |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Theory and practice of computation proceedings of workshop on computation / |
| Statement of responsibility, etc. |
edited by Shin-ya Nishizaki, Masuyuki Numao, Jaime D.L Caro, and Merlin Teodosia C. Suarez |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Singapore : |
| Name of publisher, distributor, etc. |
World Scientific Publishing Company, |
| Date of publication, distribution, etc. |
c2015 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 253 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
USD2400 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Call-by-name evaluation of RPC and RMI calculi -- Notes in delays and bisimulations of spiking neural P systems using SNP algebra -- Probing the hardness of the approximate gene cluster discovery problem (AGCDP) -- Weak bisimulation between two biogeochemical cycles -- A simulation of transition P systems in weighted spiking neural P systems -- Robustness analysis on human-made faults in procedural manuals --Compositional construction of group-wide meta-level architectures -- An application programming interface for the communication and storage protocol for the TALA empathic space -- An object-oriented language for parameterised reactive system specification based on linear temporal logic -- Building policies for supportive feedback in self-directed learning scenarios -- Data collection with prioritization for wireless sensor networks -- Health information search personalization with semantic network user model -- Learning English words via animations and making sentences using an etymological memorization method -- A serious game stimulating children's interest in chemical bonding -- Development of a visual debugger for C implemented in JavaScript -- Flash code with dual modes of encoding -- Ranking analysis of battle result of board game strategy in Java programming exercise -- Distributed inference to support inter-subjective empathic computing. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
COMPUTER SCIENCE |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Nishizaki, Shin-ya ;Numao, Masuyuki ;Caro, Jaime D.L ;Suarez, Merlin Teodosia C. |
| Relator term |
editor;editor;editor;editor |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
Books |
