本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1990年代
(3)
2000年代
(5)
2010年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
雑誌
（12）
新聞
和古書・漢籍
博士論文
（1）
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（1）
紙
（13）
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 13 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
Relational semantics of nondeterministic programs
Relational semantics of nondeterministic programs
紙
デジタル
博士論文
障害者向け資料あり
徐良為 [著]
<UT51-99-U202>
インターネットで読める
国立国会図書館
著者標目
徐, 良為
オペレーションズ・リサーチ : 経営の科学
オペレーションズ・リサーチ : 経営の科学
紙
雑誌
雑誌タイトル
日本オペレーションズ・リサーチ学会
1956-
<Z4-108>
国立国会図書館
全国の図書館
このタイトルの巻号
電気学会誌
電気学会誌
紙
雑誌
雑誌タイトル
電気学会
1994-
<Z16-177>
国立国会図書館
全国の図書館
このタイトルの巻号
O plus E : Optics + electronics
O plus E : Optics + electronics
紙
デジタル
雑誌
雑誌タイトル
アドコム・メディア
[1979]-2022
<Z16-1465>
インターネットで読める
国立国会図書館
全国の図書館
このタイトルの巻号
計算機統計学
計算機統計学
紙
記録メディア
雑誌
雑誌タイトル
日本計算機統計学会 編
日本計算機統計学会
1988-
<Z14-1382>
国立国会図書館
全国の図書館
このタイトルの巻号
数学セミナー
数学セミナー
紙
デジタル
雑誌
雑誌タイトル
日本評論社
1991-
<Z15-27>
国立国会図書館
このタイトルの巻号
AIシンポジウム (人工知能学会研究会資料)
AIシンポジウム (人工知能学会研究会資料)
紙
雑誌
雑誌タイトル
人工知能学会
2000-
<Z14-2029>
国立国会図書館
このタイトルの巻号
情報処理学会論文誌
情報処理学会論文誌
紙
雑誌
雑誌タイトル
情報処理学会
1979-2008
<Z14-741>
国立国会図書館
全国の図書館
このタイトルの巻号
検索結果は以上です。
書誌情報を一括出力
RSS