離散構造処理系の基盤アルゴリズムの研究

Call No. (NDL): Y151-H15H05711
Bibliographic ID of National Diet Library: 029344022

Material type: 図書

Author: 湊真一, 京都大学 [著]

Publisher: [湊真一]

Publication date: 2015-2019

Material Format: Paper

Capacity, size, etc.: 5冊

NDC: -

View All

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書書誌のタイトルは科学研究費助成事業の研究課題名のため、資料に表示されているタイトルと異なる場合がある

Accompanying material：: CD-ROM 5枚

Search by Bookstore

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.

Paper

Material Type: 図書
Title: 離散構造処理系の基盤アルゴリズムの研究
Title Transcription: リサンコウゾウショリケイノキバンアルゴリズムノケンキュウ
Author/Editor: 湊真一, 京都大学 [著]
Author Heading: 著者：湊, 真一ミナト, シンイチ ( 01159274 )Authorities
著者：京都大学キョウトダイガク ( 00289990 )Authorities
Publication, Distribution, etc.: [湊真一]
Publication Date: 2015-2019
2016.6-2020.8
Extent: 5冊
Accompanying material: CD-ROM 5枚
Additional Title: 研究種目基盤研究(S)
Place of Publication (Country Code): JP
Text Language Code: jpn
Content Type: テキスト
Media Type: 機器不用
Carrier Type: 冊子
Subject Heading: アルゴリズム / 離散構造 / 演算処理系 / 列挙 / 索引化 / 離散構造処理系 / 二分決定グラフ / ZDD / 列挙アルゴリズム / データ構造 / BDD / グラフアルゴリズム / 網羅的解析
NDLC: Y151
Target Audience: 一般
Note (General): 文部科学省科学研究費補助金研究成果報告書
書誌のタイトルは科学研究費助成事業の研究課題名のため、資料に表示されているタイトルと異なる場合がある
Research Project No. of Grants-in-Aid for Scientific Research: 15H05711
Holding library: 国立国会図書館
Call No.: Y151-H15H05711
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 029344022
http://id.ndl.go.jp/bib/029344022
Bibliographic Record Category (NDL): 214