本文に飛ぶ
国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1950年代
(1)
1960年代
(3)
1970年代
(438)
1980年代
(759)
1990年代
(279)
2000年代
(142)
2010年代
(54)
2020年代
(20)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(1695)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(4)
紙
(1691)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 1,695 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Code clone analysis : research, tools, and practices
Code clone analysis : research, tools, and practices
紙
図書
Katsuro Inoue, Chanchal K. Roy, editors
Springer
[2021]
<M159-D17>
国立国会図書館
Computer arithmetic
Computer arithmetic
紙
図書
editor, Earl E Swartzlander.
World Scientific
[2015]
<M159-D3>
国立国会図書館
Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
紙
図書
Springer
[2015]
<M17-16-615>
国立国会図書館
Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)
Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)
紙
図書
Springer
[2015]
<M17-16-498>
国立国会図書館
2015 24th Australasian software engineering conference : (ASWEC 2015) : Adelaide, SA, Australia : 28 September-1 October 2015 : Australasian software week (ASW) : Sep 2015, Adelaide, Australia.
2015 24th Australasian software engineering conference : (ASWEC 2015) : Adelaide, SA, Australia : 28 September-1 October 2015 : Australasian software week (ASW) : Sep 2015, Adelaide, Australia.
紙
図書
IEEE
[2015]
<M17-17-1875>
国立国会図書館
2015 12th international symposium on programming and systems (ISPS 2015) : Algiers, Algeria : 28-30 April 2015 : ISPS'2015 conference : Apr 2015, Algiers, Algeria.
2015 12th international symposium on programming and systems (ISPS 2015) : Algiers, Algeria : 28-30 April 2015 : ISPS'2015 conference : Apr 2015, Algiers, Algeria.
紙
図書
IEEE
[2015]
<M17-17-1644>
国立国会図書館
2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.
2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.
紙
図書
IEEE
[2015]
<M17-17-1642>
国立国会図書館
2015 IEEE blocks and beyond workshop : (blocks and beyond 2015) : Atlanta, Georgia, USA : 22 October 2015 : B&B 2015 : Oct 2015, Atlanta, GA.
2015 IEEE blocks and beyond workshop : (blocks and beyond 2015) : Atlanta, Georgia, USA : 22 October 2015 : B&B 2015 : Oct 2015, Atlanta, GA.
紙
図書
IEEE
[2015]
<M17-17-153>
国立国会図書館
Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)
Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)
紙
図書
Springer
[2015]
<M17-16-389>
国立国会図書館
2015 44th international conference on parallel processing (ICPP 2015) : Beijing, China : 1-4 September 2015 : Sep 2015, Beijing, China.
2015 44th international conference on parallel processing (ICPP 2015) : Beijing, China : 1-4 September 2015 : Sep 2015, Beijing, China.
紙
図書
IEEE
[2015]
<M17-17-1514>
国立国会図書館
2014 IEEE Central America and Panama convention : (CONCAPAN XXXIV) : Panama City, Panama : 12-14 November 2014 : Nov 2014, Panama City, Panama.
2014 IEEE Central America and Panama convention : (CONCAPAN XXXIV) : Panama City, Panama : 12-14 November 2014 : Nov 2014, Panama City, Panama.
紙
図書
IEEE
[2014]
<M17-16-1045>
国立国会図書館
2014 international conference on embedded software : (EMSOFT 2014) : New Delhi, India : 12-17 October 2014 : Oct 2014, New Delhi, India.
2014 international conference on embedded software : (EMSOFT 2014) : New Delhi, India : 12-17 October 2014 : Oct 2014, New Delhi, India.
紙
図書
IEEE
[2014]
<M17-16-1357>
国立国会図書館
Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)
Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2013.
<M17-13-2119>
国立国会図書館
2013 3rd international workshop on developing tools as plug-ins : (TOPI 2013) : San Francisco, California, USA : 21 May 2013 : May 2013, San Francisco, CA. CFP1398S-ART
2013 3rd international workshop on developing tools as plug-ins : (TOPI 2013) : San Francisco, California, USA : 21 May 2013 : May 2013, San Francisco, CA. CFP1398S-ART
紙
図書
IEEE
c2013.
<M17-14-1353>
国立国会図書館
Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
紙
図書
Springer
c2013.
<M17-13-1622>
国立国会図書館
2013 11th international symposium on programming and systems : (ISPS 2013) : Algiers, Algeria : 22-24 April 2013 : Apr 2013, Algiers, Algeria.
2013 11th international symposium on programming and systems : (ISPS 2013) : Algiers, Algeria : 22-24 April 2013 : Apr 2013, Algiers, Algeria.
紙
図書
IEEE
[2013]
<M17-14-2907>
国立国会図書館
2013 IEEE 37th annual computer software and applications conference : (COMPSAC 2013) : Kyoto, Japan : 22-26 July 2013 : IEEE annual international computer software and applications conference : Jul 2013, Kyoto, Japan. E4986 CFP13061-USB
2013 IEEE 37th annual computer software and applications conference : (COMPSAC 2013) : Kyoto, Japan : 22-26 July 2013 : IEEE annual international computer software and applications conference : Jul 2013, Kyoto, Japan. E4986 CFP13061-USB
紙
図書
IEEE
c2013.
<M17-14-1802>
国立国会図書館
Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)
Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2012.
<M17-13-609>
国立国会図書館
2012 45th annual IEEE/ACM international symposium on microarchitecture workshops : (MICROW 2012) : Vancouver, British Columbia, Canada : 1-5 December 2012 : MICRO-45 workshops : 2012 workshop on hardware and architectural support for security and privacy : workshop on near-threshold computing (WNTC 2012) : MICRO 45 : 1st HASP workshop : Dec 2012, Vancouver, Canada. E4920
2012 45th annual IEEE/ACM international symposium on microarchitecture workshops : (MICROW 2012) : Vancouver, British Columbia, Canada : 1-5 December 2012 : MICRO-45 workshops : 2012 workshop on hardware and architectural support for security and privacy : workshop on near-threshold computing (WNTC 2012) : MICRO 45 : 1st HASP workshop : Dec 2012, Vancouver, Canada. E4920
紙
図書
IEEE
c2012.
<M17-13-3501>
国立国会図書館
Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)
Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)
紙
図書
Springer
c2012.
<M17-13-589>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力
RSS