Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1960s
(1)
1970s
(14)
1980s
(25)
1990s
(36)
2000s
(65)
2010s
(12)
2020s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（47）
Periodicals
（102）
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
（2）
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
（1）
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
（3）
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
（24）
Paper
（131）
Microform
Recording Media
（1）
Deselect all
Refiners
Refiners
Search results 154
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
法令工学の実践 国民年金法の述語論理による記述と検証
法令工学の実践 国民年金法の述語論理による記述と検証
Digital
図書
片山, 卓也
JAIST Press
2023-07
p.1-146
Other Libraries in Japan
形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
Paper
図書
片山, 卓也, 北陸先端科学技術大学院大学
2000-2002
<Y151-H12480071>
National Diet Library
平成9年度活動報告書 第2回研究会報告書
平成9年度活動報告書 第2回研究会報告書
Paper
図書
片山, 卓也, 北陸先端科学技術大学
1997-1999
<Y151-ZY290-001>
National Diet Library
平成9-11年度研究成果報告書
平成9-11年度研究成果報告書
Paper
図書
片山, 卓也, 北陸先端科学技術大学院大学
1997-1999
<Y151-ZY290-002>
National Diet Library
法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)
法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)
Paper
図書
片山卓也 編
JAIST Press
2007.9
<A121-J5>
National Diet Library
JAIST-COEシンポジウム : 法令工学の可能性と展望
JAIST-COEシンポジウム : 法令工学の可能性と展望
Digital
文書・図像類
片山, 卓也
2007-09-07
p.1-15
Other Libraries in Japan
JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用
JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用
Digital
文書・図像類
片山, 卓也
2007-09-06
p.1-8
Other Libraries in Japan
法令工学の提案
法令工学の提案
Paper
図書
片山卓也編
JAIST Press
2007.9
Other Libraries in Japan
ソフトウェア工学大事典 普及版
ソフトウェア工学大事典 普及版
Paper
図書
John J.Marciniak [編], 片山卓也, 土居範久, 鳥居宏次 監訳
朝倉書店
2007.6
<M2-H118>
National Diet Library
Other Libraries in Japan
COE Research Monograph Series, Vol. 2 : 法令工学の提案
COE Research Monograph Series, Vol. 2 : 法令工学の提案
Digital
図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良
JAIST Press
2007-09
2
Other Libraries in Japan
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書
Paper
図書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発推進委員会
[2006]
Other Libraries in Japan
形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究
形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究
Paper
図書
研究代表者 片山卓也
[片山卓也]
2003.5
Other Libraries in Japan
属性文法にもとづくソフトウェア自動生成システム構成法の研究
属性文法にもとづくソフトウェア自動生成システム構成法の研究
Paper
図書
片山卓也, 東京工業大学
1986-1988
<Y151-S61420045>
National Diet Library
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書
Paper
図書
[出版者不明]
[2003]
Other Libraries in Japan
発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成９年度～１１年度
発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成９年度～１１年度
Paper
図書
片山卓也 研究代表
片山卓也
２００００３
Other Libraries in Japan
階層的関数型プログラミングのための計算機システムの研究
階層的関数型プログラミングのための計算機システムの研究
Paper
図書
片山卓也, 東京工業大学
1984-1985
<Y151-S59460205>
National Diet Library
発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書 第４回研究会報告書 平成１０年度
発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書 第４回研究会報告書 平成１０年度
Paper
図書
片山卓也 編
片山卓也
１９９９０３
Other Libraries in Japan
ソフトウェア開発方法論
ソフトウェア開発方法論
Paper
図書
プロジェクト・リーダー 片山卓也
[北陸先端科学技術大学院大学情報科学研究科]
2001.3
Other Libraries in Japan
オブジェクト指向リアルタイムシステムのテスト支援環境
オブジェクト指向リアルタイムシステムのテスト支援環境
Paper
文書・図像類
伊藤, 恵, 渡辺, 晴美, 西田, 雅彦, 片山, 卓也
情報処理学会
2000-08-01
オブジェクト指向2000シンポジウム
2000 10
p.49-56
Other Libraries in Japan
発展機構を備えたソフトウェアの構成原理の研究
発展機構を備えたソフトウェアの構成原理の研究
Paper
図書
片山卓也研究代表
[片山卓也]
1998.3
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information
RSS