Foundations of Computer Science (The 2014 Worldcomp International Conference Proceedings)

個数:

Foundations of Computer Science (The 2014 Worldcomp International Conference Proceedings)

  • 在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
    通常6~9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合がございます。
    2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 190 p.
  • 言語 ENG
  • 商品コード 9781601322708
  • DDC分類 004

Full Description

Foundations of Computer Science is a compendium of articles and papers that were presented at FCS '14, an international conference that serves researchers, scholars, professionals, students, and academicians.

Selected topics include:

Graph Based Methods and Applications + Related Issues
Algorithms + Finite State Machine + Computational Science + Languages and Systems
Quantum Computing
Posters
Late Breaking Papers and Position Papers: Foundations of Computer Science

Contents

Session: Graph Based Methods and Applications + Related Issues
1) Asynchronous P Systems for Uniform Graph Partitioning and Related Graph Problems
2) Math Words and their Dendrograms
3) Improved Computing Performance for Algorithm Finding the Shortest Path in Extended Graph
Session: Algorithms + Finite State Machine + Computational Science + Languages And Systems
1) A Tail Recursive Scheme for Exact Real Number Computation Based on LRT, GMP and FC++
2) Tackling Sequences From Prudent Self-Avoiding Walks
3) Model-based Automated Testing using a Record-Replay Mechanism
4) Counting Lattice Paths and Walks with Several Step Vectors
5) Fixed Share Scheduling via Dynamic Weight Adjustment in Proportional Share Scheduling Systems
SESSION: QUANTUM COMPUTING
1) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 1
2) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 2
3) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 3
4) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 4
5) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 5
6) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 1
7) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 2
8) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 3
9) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 4
10) Quantum-Identity Equivalents of the Orhtmodularity Law in Quantum Logic: Part 5
11) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 1
12) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 2
13) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 3
14) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 4
15) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 5
SESSION: POSTERS
1) A Study on the Public Opinion on the Issue of Cost Sharing in Higher Education in Taiwan
Session: Late Breaking Papers and Position Papers: Foundations Of Computer Science
1) Evolving Systems
2) Control Operators vs. Graph Logic Model
3) Concrete State Machine Language (CSML)

最近チェックした商品