国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(1)
1970年代
(14)
1980年代
(25)
1990年代
(36)
2000年代
(65)
2010年代
(12)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(47)
雑誌
(102)
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(1)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(3)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(24)
紙
(131)
マイクロ
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 154 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
法令工学の実践 国民年金法の述語論理による記述と検証
法令工学の実践 国民年金法の述語論理による記述と検証
デジタル
図書
片山, 卓也
JAIST Press
2023-07
p.1-146
全国の図書館
形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
紙
図書
片山, 卓也, 北陸先端科学技術大学院大学
2000-2002
<Y151-H12480071>
国立国会図書館
平成9年度活動報告書 第2回研究会報告書
平成9年度活動報告書 第2回研究会報告書
紙
図書
片山, 卓也, 北陸先端科学技術大学
1997-1999
<Y151-ZY290-001>
国立国会図書館
平成9-11年度研究成果報告書
平成9-11年度研究成果報告書
紙
図書
片山, 卓也, 北陸先端科学技術大学院大学
1997-1999
<Y151-ZY290-002>
国立国会図書館
法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)
法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)
紙
図書
片山卓也 編
JAIST Press
2007.9
<A121-J5>
国立国会図書館
JAIST-COEシンポジウム : 法令工学の可能性と展望
JAIST-COEシンポジウム : 法令工学の可能性と展望
デジタル
文書・図像類
片山, 卓也
2007-09-07
p.1-15
全国の図書館
JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用
JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用
デジタル
文書・図像類
片山, 卓也
2007-09-06
p.1-8
全国の図書館
法令工学の提案
法令工学の提案
紙
図書
片山卓也編
JAIST Press
2007.9
全国の図書館
ソフトウェア工学大事典 普及版
ソフトウェア工学大事典 普及版
紙
図書
John J.Marciniak [編], 片山卓也, 土居範久, 鳥居宏次 監訳
朝倉書店
2007.6
<M2-H118>
国立国会図書館
全国の図書館
COE Research Monograph Series, Vol. 2 : 法令工学の提案
COE Research Monograph Series, Vol. 2 : 法令工学の提案
デジタル
図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良
JAIST Press
2007-09
2
全国の図書館
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書
紙
図書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発推進委員会
[2006]
全国の図書館
形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究
形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究
紙
図書
研究代表者 片山卓也
[片山卓也]
2003.5
全国の図書館
属性文法にもとづくソフトウェア自動生成システム構成法の研究
属性文法にもとづくソフトウェア自動生成システム構成法の研究
紙
図書
片山卓也, 東京工業大学
1986-1988
<Y151-S61420045>
国立国会図書館
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書
紙
図書
[出版者不明]
[2003]
全国の図書館
階層的関数型プログラミングのための計算機システムの研究
階層的関数型プログラミングのための計算機システムの研究
紙
図書
片山卓也, 東京工業大学
1984-1985
<Y151-S59460205>
国立国会図書館
発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成9年度~11年度
発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成9年度~11年度
紙
図書
片山卓也 研究代表
片山卓也
200003
全国の図書館
発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書 第4回研究会報告書 平成10年度
発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書 第4回研究会報告書 平成10年度
紙
図書
片山卓也 編
片山卓也
199903
全国の図書館
ソフトウェア開発方法論
ソフトウェア開発方法論
紙
図書
プロジェクト・リーダー 片山卓也
[北陸先端科学技術大学院大学情報科学研究科]
2001.3
全国の図書館
オブジェクト指向リアルタイムシステムのテスト支援環境
オブジェクト指向リアルタイムシステムのテスト支援環境
紙
文書・図像類
伊藤, 恵, 渡辺, 晴美, 西田, 雅彦, 片山, 卓也
情報処理学会
2000-08-01
オブジェクト指向2000シンポジウム
2000 10
p.49-56
全国の図書館
発展機構を備えたソフトウェアの構成原理の研究
発展機構を備えたソフトウェアの構成原理の研究
紙
図書
片山卓也研究代表
[片山卓也]
1998.3
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力