Search results for "並行プログラム" | NDL Search | National Diet Library

Jump to main content

Library

National Diet Library Other Libraries in Japan

Available online

Title

Author/Editor

Publisher

Year

yr 〜

yr

1980s(1)1990s(3)2000s(2)

ISBN / ISSN

Call number

Material type Link to Help Page

Books （5）

Periodicals

Newspapers

Japanese and Chinese Old Materials

Doctoral Dissertations

Maps

Musical Scores

Web sites

Online Publications

Electronic Resources

Video Materials

Audio Materials

Standards and Technical Reports

Manuscripts and Images

Periodical article etc

Material Format Link to Help Page

Digital

Paper （5）

Microform

Recording Media

Subject Link to Help Page

Search results 5

Group by title

ソフトウェアの安全性向上のための型理論

Paper図書

小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>

National Diet Library

Subject Heading型システム / プログラム解析 / 割り込み / 並行プログラム / 資源使用法解析 / プログラム等価性 / 双模倣 / ...

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用

Paper図書

程, 京徳, 九州大学1994-1996<Y151-H06452394>

National Diet Library

Subject Heading命令型並行プログラム宣言型並行プログラムプログラム従属性プログラム解析スライシングプログラム...

高度に柔軟なオブジエクト指向開発手法の開発とそれを支援する計算機環境の構築

Paper図書

前川, 守, 電気通信大学1998-2000<Y151-H10480056>

National Diet Library

Subject HeadingEunice97 オブジエクト指向並行プログラム継承異常ソフトウエア開発 CASEツ-ル要求仕様抽出 ...

並行プログラムの従属性理論とその応用に関する基礎的研究

Paper図書

程, 京徳, 九州大学1992-1993<Y151-H04650319>

National Diet Library

Subject Heading並行プログラムプログラム従属性プログラム解析テストデバツグ複雑さ...

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

Paper図書

稲垣, 康善, 名古屋大学1987-<Y151-S62550261>

National Diet Library

Subject Heading並列計算並行プログラム形式的仕様記述 CCS モニタ項書き換え系の意味論抽象...

Reached to the end of result.

RSS

言語：日本語

How to access the materials

National Diet Library Home Page

Contact Us News Privacy Policy Site Policy

© 2024- National Diet Library, Japan.

Page Num.202