国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(8)
2000年代
(10)
2010年代
(4)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(11)
雑誌
(8)
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(3)
紙
(19)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 22 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
形式的仕様に基づくソフトウェアテスト手法の研究
形式的仕様に基づくソフトウェアテスト手法の研究
紙
図書
劉少英, 法政大学 [著]
[劉少英]
2006-2007
<Y151-H18500027>
国立国会図書館
ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
デジタル
文書・図像類
劉, 少英, LIU, Shaoying
2019-05-28
科学研究費助成事業 研究成果報告書
p.1-6
全国の図書館
ジョークで学ぶ「大人の中国語」
ジョークで学ぶ「大人の中国語」
紙
図書
劉少英, 李成達 著
東京図書出版
2013.7
<Y48-L57>
国立国会図書館
全国の図書館
Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境
Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境
紙
図書
劉, 少英, 広島市立大学
1996-1998
<Y151-H08044167>
国立国会図書館
Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
紙
図書
劉, 少英 (Liu, Shaoying) , 法政大学
1999-2001
<Y151-H11694173>
国立国会図書館
Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
紙
図書
劉, 少英 (Liu, Shaoying) , 法政大学
1999-2001
<Y151-H11680368>
国立国会図書館
FM ISEE : 形式的手法と知的ソフトウェア工学環境プロジェクトにおける発表論文集
FM ISEE : 形式的手法と知的ソフトウェア工学環境プロジェクトにおける発表論文集
紙
図書
研究者代表 劉少英
[広島市立大学]
1998.3
全国の図書館
草書異部同形大字典
草書異部同形大字典
紙
図書
劉少英編著 ; 沈鵬校訂
北京図書館出版社
1998.5
全国の図書館
ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
紙
図書
近代科学社
2015.11
<M159-L802>
国立国会図書館
全国の図書館
信頼性の高い視覚的物体追跡をめざして
信頼性の高い視覚的物体追跡をめざして
デジタル
博士論文
程, 子一
2023-09-25
インターネットで読める
全国の図書館
量子プログラムのバグの特定と検出
量子プログラムのバグの特定と検出
デジタル
博士論文
趙, 鵬展
2023-09-25
インターネットで読める
全国の図書館
コンピュータソフトウェア
コンピュータソフトウェア
紙
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
国立国会図書館
全国の図書館
日中学術シンポジウム「21世紀の科学と技術」並びに第2回全日本中国人博士協会シンポジウム講演論文集
日中学術シンポジウム「21世紀の科学と技術」並びに第2回全日本中国人博士協会シンポジウム講演論文集
紙
図書
日中学術シンポジウム実行委員会 編
全日本中国人博士協会
1999.9
<M21-G131>
国立国会図書館
日本ソフトウェア科学会大会論文集
日本ソフトウェア科学会大会論文集
紙
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-2019
<Z14-1245>
国立国会図書館
全国の図書館
北海道教育大学紀要 人文科学・社会科学編
北海道教育大学紀要 人文科学・社会科学編
紙
雑誌
北海道教育大学 編
北海道教育大学
1998-2022
<Z22-98>
国立国会図書館
全国の図書館
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2001 8 (レクチャーノート/ソフトウェア学 ; 26)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2001 8 (レクチャーノート/ソフトウェア学 ; 26)
紙
図書
杉山安洋, 藤田ハミド 編
近代科学社
2001.11
<M159-G186>
国立国会図書館
全国の図書館
北海道教育大学紀要 第1部 A 人文科学編
北海道教育大学紀要 第1部 A 人文科学編
紙
雑誌
北海道教育大学 編
北海道教育大学
1966-1998
<Z22-98>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
紙
図書
鯵坂恒夫, 満田成紀 編
近代科学社
2003.11
<M159-H504>
国立国会図書館
全国の図書館
検索結果は以上です。
書誌情報を一括出力