Theory and practice of computation : 2nd workshop on computation: theory and practice, Manila, The Philippines, September 2012, proceedings

• Material Type: 図書
• ISBN: 978-4-431-54435-7
• ISSN (series): 1867-2914
• Title: Theory and practice of computation : 2nd workshop on computation: theory and practice, Manila, The Philippines, September 2012, proceedings
• Author/Editor: Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez editors
• Series Title: Proceedings in information and communications technology : PICT ; 7
• Author Heading: 西崎, 真也 ニシザキ, シンヤ ( 01095990 )Authorities; 沼尾, 正行 ヌマオ, マサユキ ( 001111600 )Authorities; Caro, Jaime ( 001111605 )Authorities
• Publication, Distribution, etc.: Tokyo : Springer
• Publication Date: c2013
• Publication Date (W3CDTF): 2013
• Extent: 294p
• Size: 24cm
• Place of Publication (Country Code): JP
• Text Language Code: eng
• NDLC: M18
• Target Audience: 一般
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M18-B1281
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 024647107; http://id.ndl.go.jp/bib/024647107
• National Bibliography No. (JPNO): 22277759
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: On generating soft real-time programs for non-real-time environments / Ilankaikone Senthooran, Takuo Watanabe 著A formal ontology of interactions with ...