Studies on the Legality of Non-deterministic Behavior in Parallel and Concurrent Programs

The cover of this title could differ from library to library.

Available in National Diet Library

国立国会図書館デジタルコレクション

Digital data available

Check on the publisher's website

Studies on the Legality of Non-deterministic Behavior in Parallel and Concurrent Programs

Persistent ID (NDL): info:ndljp/pid/12319532

Material type: 博士論文

Author: 韓, 吉新ほか

Publisher: -

Publication date: 2021

Material Format: Digital

Capacity, size, etc.: -

Name of awarding university/degree: 早稲田大学,博士(工学)

View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: 早大学位記番号:新9049

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Search by Bookstore

Read in Disability Resources

Other Services
- テキストデータ check it on 国立国会図書館デジタルコレクション

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 博士論文
Title: Studies on the Legality of Non-deterministic Behavior in Parallel and Concurrent Programs
Author/Editor: 韓, 吉新
Han, Jixin
Author Heading: 韓, 吉新
Han, Jixin
Publication Date: 2021
Publication Date (W3CDTF): 2021
Alternative Title: 並列および並行プログラムにおける非決定的動作の正当性に関する研究
Degree grantor/type: 早稲田大学
Date Granted: 2022-02-25
Date Granted (W3CDTF): 2022-02-25
Dissertation Number: 甲第6637号
Degree Type: 博士(工学)
Conferring No. (Dissertation): 甲第6637号
Text Language Code: eng
Target Audience: 一般
Note (General): 早大学位記番号:新9049
Persistent ID (NDL): info:ndljp/pid/12319532
https://dl.ndl.go.jp/pid/12319532
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（自動収集）
Date Accepted (W3CDTF): 2022-09-05T13:46:15+09:00
Date Created (W3CDTF): 2022-07-27
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): http://hdl.handle.net/2065/00088990
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp