国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
明治
(3)
大正
(4)
~1940年代
(2)
1950年代
(6)
1960年代
(20)
1970年代
(171)
1980年代
(195)
1990年代
(179)
2000年代
(341)
2010年代
(404)
2020年代
(73)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(1341)
雑誌
新聞
和古書・漢籍
博士論文
(26)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(39)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(69)
紙
(1320)
マイクロ
(20)
記録メディア
(1)
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 1,406 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
距離空間における次元、距離及び計算可能性理論に関する研究
距離空間における次元、距離及び計算可能性理論に関する研究
紙
図書
服部泰直, 島根大学 [著]
[服部泰直]
2004-2005
<Y151-H16540066>
国立国会図書館
形式群の岩澤理論の探究
形式群の岩澤理論の探究
紙
図書
中島匠一, 学習院大学 [著]
[中島匠一]
2000-2003
<Y151-H12640038>
国立国会図書館
Unschooling : exploring learning beyond the classroom (Palgrave studies in alternative education)
Unschooling : exploring learning beyond the classroom (Palgrave studies in alternative education)
紙
図書
Gina Riley
Palgrave Macmillan
[2020]
<FA61-D2>
国立国会図書館
全国の図書館
複雑系におけるギブス性の崩壊と相転移現象
複雑系におけるギブス性の崩壊と相転移現象
紙
図書
由利美智子, 北海道大学 [著]
[由利美智子]
2005-2006
<Y151-H17540132>
国立国会図書館
件名
.../ Multifractal
formalism
/ Weak Gibbs measure / Large ...
社会的ジレンマにおける制度デザインと社会関係資本に関する研究
社会的ジレンマにおける制度デザインと社会関係資本に関する研究
紙
図書
長谷川計二, 関西学院大学 [著]
[長谷川計二]
2003-2004
<Y151-H15530358>
国立国会図書館
Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)
Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)
紙
図書
Springer
[2018]
<M17-20-853>
国立国会図書館
Cross-border shadow education and critical pedagogy : questioning neoliberal and parochial orders in Singapore (Palgrave studies on global policy and critical futures in education)
Cross-border shadow education and critical pedagogy : questioning neoliberal and parochial orders in Singapore (Palgrave studies on global policy and critical futures in education)
紙
図書
Glenn Toh
Palgrave Macmillan
[2022]
<FB56-D14>
国立国会図書館
Cross-bordering dynamics in education and lifelong learning : a perspective from non-formal education (Routledge series on schools and schooling in asia)
Cross-bordering dynamics in education and lifelong learning : a perspective from non-formal education (Routledge series on schools and schooling in asia)
紙
図書
edited by Hideki Maruyama.
Routledge
2020.
<FH1-D1>
国立国会図書館
2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016 : 14th ACM-IEEE international conference on formal methods and models for system design : Nov 2016, Kanpur, India.
2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016 : 14th ACM-IEEE international conference on formal methods and models for system design : Nov 2016, Kanpur, India.
紙
図書
IEEE
[2016]
<M17-18-456>
国立国会図書館
Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)
Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)
紙
図書
Springer
[2014]
<M17-15-1479>
国立国会図書館
The handbook of informal language learning (Blackwell handbooks in linguistics)
The handbook of informal language learning (Blackwell handbooks in linguistics)
紙
図書
edited by Mark Dressman and Randall William Sadler
Wiley-Blackwell
2020
<KE29-D18>
国立国会図書館
全国の図書館
The Sage encyclopedia of out-of-school learning
The Sage encyclopedia of out-of-school learning
紙
図書
editor, Kylie Peppler.
SAGE Reference
[2017]
<F2-B120>
国立国会図書館
全国の図書館
Developments in language theory : 18th international conference, DLT 2014 : Ekaterinburg, Russia, August 26-29, 2014 : proceedings : Aug 2014, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 8633)
Developments in language theory : 18th international conference, DLT 2014 : Ekaterinburg, Russia, August 26-29, 2014 : proceedings : Aug 2014, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 8633)
紙
図書
Springer
[2014]
<M17-15-734>
国立国会図書館
Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)
Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)
紙
図書
Springer
[2015]
<M17-16-379>
国立国会図書館
2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.
2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.
紙
図書
IEEE
[2015]
<M17-17-913>
国立国会図書館
Laboring and learning (Geographies of children and young people ; volume 10) (Springer reference)
Laboring and learning (Geographies of children and young people ; volume 10) (Springer reference)
紙
図書
Tatek Abebe, Johanna Waters, editors, Tracey Skelton, editor-in-chief.
Springer
[2017]
<FA51-B110>
国立国会図書館
全国の図書館
FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings : FM-2014 : FM week : Singapore event : May 2014, Singapore. (Lecture Notes in Computer Science ; 8442)
FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings : FM-2014 : FM week : Singapore event : May 2014, Singapore. (Lecture Notes in Computer Science ; 8442)
紙
図書
Springer
[2014]
<M17-15-1351>
国立国会図書館
2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.
2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.
紙
図書
IEEE
[2016]
<M17-18-457>
国立国会図書館
Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)
Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)
紙
図書
Springer
[2015]
<M17-16-575>
国立国会図書館
Linguistics meets literature : more on the grammar of Emily Dickinson (Trends in linguistics. Studies and monographs ; volume 329)
Linguistics meets literature : more on the grammar of Emily Dickinson (Trends in linguistics. Studies and monographs ; volume 329)
紙
図書
Matthias Bauer, Sigrid Beck, Susanne Riecker, Saskia Brockmann, Angelika Zirker, Nadine Bade, Carmen Dörge, Julia Braun
De Gruyter Mouton
[2020]
<KS239-D21>
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力