Theory and Practice of Computation (Record no. 48045)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04875nam a22006497a 4500 |
| 001 - CONTROL NUMBER | |
| control field | sulb-eb0025953 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-SySUS |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20160413122557.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 130602s2013 ja | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9784431544364 |
| -- | 978-4-431-54436-4 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-4-431-54436-4 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.L63 |
| Classification number | QA76.5913 |
| Classification number | QA76.63 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| Subject category code | UYF |
| Source | bicssc |
| Subject category code | COM051000 |
| Source | bisacsh |
| Subject category code | COM036000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1015113 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Theory and Practice of Computation |
| Medium | [electronic resource] : |
| Remainder of title | 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / |
| Statement of responsibility, etc. | edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Tokyo : |
| Name of producer, publisher, distributor, manufacturer | Springer Japan : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 295 p. 130 illus. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Proceedings in Information and Communications Technology, |
| International Standard Serial Number | 1867-2914 ; |
| Volume/sequential designation | 7 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology of Interactions with Intensional Quantitative Semantics -- An Object Calculus with Remote Method Invocation -- A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams -- Some Improvements of Parallel Random Projection for Finding Planted (l, d)-Motifs -- Time after Time: Notes on Delays in Spiking Neural P Systems -- A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles -- A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover's Quantum Search Algorithm -- Design of a Scala-Based Monitoring Server for Web-Based Programming Environments -- Recognizing Historical KANA Texts Using Constraints -- PedInfoSys: An OpenMRS Based Pediatric Information System -- Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations -- Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games -- Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments -- Extensible Network Appliance Platform (e-NAP) -- Marker-Less Gesture and Facial Expression Based Affect Modeling -- Mobile Indoor Positioning Using Wi-fi Localization and Image Processing -- Automated Vehicle Entrance Monitor Using Pattern Recognition via Haar Classifiers -- A Study on Activity Predictive Modeling for Prompt and Delayed Services in Smart Space -- Plagiarism Detection Methods by Similarity and Its Application to Source Codes of C Program. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| Topical term or geographic name as entry element | Computers. |
| Topical term or geographic name as entry element | Computer logic. |
| Topical term or geographic name as entry element | Data mining. |
| Topical term or geographic name as entry element | User interfaces (Computer systems). |
| Topical term or geographic name as entry element | Artificial intelligence. |
| Topical term or geographic name as entry element | Bioinformatics. |
| Topical term or geographic name as entry element | Computer Science. |
| Topical term or geographic name as entry element | Logics and Meanings of Programs. |
| Topical term or geographic name as entry element | Computational Biology/Bioinformatics. |
| Topical term or geographic name as entry element | Theory of Computation. |
| Topical term or geographic name as entry element | Artificial Intelligence (incl. Robotics). |
| Topical term or geographic name as entry element | User Interfaces and Human Computer Interaction. |
| Topical term or geographic name as entry element | Data Mining and Knowledge Discovery. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nishizaki, Shin-ya. |
| Relator term | editor. |
| Personal name | Numao, Masayuki. |
| Relator term | editor. |
| Personal name | Caro, Jaime. |
| Relator term | editor. |
| Personal name | Suarez, Merlin Teodosia. |
| Relator term | editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9784431544357 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Proceedings in Information and Communications Technology, |
| International Standard Serial Number | 1867-2914 ; |
| Volume number/sequential designation | 7 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | |
No items available.