国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(1)
1980年代
(2)
1990年代
(26)
2000年代
(14)
2010年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(48)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(48)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 48 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Touch of class : learning to program well with objects and contracts Corr. print
Touch of class : learning to program well with objects and contracts Corr. print
紙
図書
Bertrand Meyer
Springer-Verlag
2013, c2009
全国の図書館
Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
紙
図書
Bertrand Meyer, Jim Woodcock (eds.)
Springer
c2008
全国の図書館
Software engineering approaches for offshore and outsourced development : third international conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings
Software engineering approaches for offshore and outsourced development : third international conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings
紙
図書
Olly Gotel, Mathai Joseph, Bertrand Meyer (eds.)
Springer
c2009
全国の図書館
オブジェクト指向入門 : 方法論・実践 第2版
オブジェクト指向入門 : 方法論・実践 第2版
紙
図書
バートランド・メイヤー著 ; 酒匂寛訳
翔泳社
2008.8
全国の図書館
Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers
Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers
紙
図書
Yuri Gurevich, Bertrand Meyer (eds.)
Springer
c2007
全国の図書館
Software engineering approaches for offshore and outsourced development : First International Conference, SEAFOOD 2007 Zurich, Switzerland, February 5-6, 2007 : revised papers
Software engineering approaches for offshore and outsourced development : First International Conference, SEAFOOD 2007 Zurich, Switzerland, February 5-6, 2007 : revised papers
紙
図書
Bertrand Meyer, Mathai Joseph (eds.)
Springer
c2007
全国の図書館
Dependable systems : software, computing, networks : research results of the DICS program
Dependable systems : software, computing, networks : research results of the DICS program
紙
図書
Jürg Kohlas, Bertrand Meyer, André Schiper (eds.)
Springer Berlin
c2006
全国の図書館
オブジェクト指向入門 : 原則・コンセプト 第2版
オブジェクト指向入門 : 原則・コンセプト 第2版
紙
図書
バートランド・メイヤー著 ; 酒匂寛訳
翔泳社
2007.1
全国の図書館
Empirical software engineering and verification : international summer schools, LASER 2008-2010 : Elba Island, Italy : revised tutorial lectures : LASER summer school : ------. (Lecture Notes in Computer Science ; 7007. Tutorial)
Empirical software engineering and verification : international summer schools, LASER 2008-2010 : Elba Island, Italy : revised tutorial lectures : LASER summer school : ------. (Lecture Notes in Computer Science ; 7007. Tutorial)
紙
図書
Springer
c2012.
<M17-12-2113>
国立国会図書館
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions. : Oct 2005, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4171. State-of-the-Art Survey)
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions. : Oct 2005, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4171. State-of-the-Art Survey)
紙
図書
Springer
c2008.
<M17-09-409>
国立国会図書館
Proceedings, 39th International Conference and Exhibition on Technology of Object-oriented Languages and Systems : TOOLS 39, 29 July-3 August, 2001, Santa Barbara, California, USA
Proceedings, 39th International Conference and Exhibition on Technology of Object-oriented Languages and Systems : TOOLS 39, 29 July-3 August, 2001, Santa Barbara, California, USA
紙
図書
edited by Qiaoyun Li... [et al.]
IEEE Computer Society
c2001
全国の図書館
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007 : Zurich, Switzerland, February 5-6, 2007 : revised papers. : SEAFOOD events : Feb 2007, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4716)
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007 : Zurich, Switzerland, February 5-6, 2007 : revised papers. : SEAFOOD events : Feb 2007, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4716)
紙
図書
Springer
c2007.
<M17-08-108>
国立国会図書館
Tests and proofs : first international conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers. : Feb 2007, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4454)
Tests and proofs : first international conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers. : Feb 2007, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4454)
紙
図書
Springer
c2007.
<M17-07-2773>
国立国会図書館
Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)
Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)
紙
図書
Springer
c2012.
<M17-13-1522>
国立国会図書館
Object-oriented software construction 2nd ed
Object-oriented software construction 2nd ed
紙
図書
Bertrand Meyer
Prentice Hall
c1997
全国の図書館
Proceedings, technology of object-oriented languages and systems : TOOLS 32, 22-25 November, 1999, Melbourne, Australia
Proceedings, technology of object-oriented languages and systems : TOOLS 32, 22-25 November, 1999, Melbourne, Australia
紙
図書
edited by Christine Mingins, Bertrand Meyer ; sponsored by Monash University, Interactive Software Engineering
IEEE Computer Society
c1999
全国の図書館
Proceedings : technology of object-oriented languages and systems, TOOLS 25, November 24-28, 1997, Melbourne, Australia
Proceedings : technology of object-oriented languages and systems, TOOLS 25, November 24-28, 1997, Melbourne, Australia
紙
図書
edited by Christine Mingins, Roger Duke, and Bertrand Meyer ; sponsored by Interactive Software Engineering, Inc.
IEEE Computer Society
1998
全国の図書館
Proceedings, 36th International Conference on Technology of Object-Oriented Languages and Systems : TOOLS-Asia 2000, October 30-November 4,2000, Xi'an, China :case
Proceedings, 36th International Conference on Technology of Object-Oriented Languages and Systems : TOOLS-Asia 2000, October 30-November 4,2000, Xi'an, China :case
紙
図書
Sponsored by National Natural Science Foundation of China ... [et al.] ; [editors, Jian Chen, Ping chen, and Bertrand Meyer]
IEEE Computer Society
2000
全国の図書館
Proceedings, technology of object-oriented languages and systems : TOOLS 31, Nanjing, P.R. China, 22-25 September, 1999
Proceedings, technology of object-oriented languages and systems : TOOLS 31, Nanjing, P.R. China, 22-25 September, 1999
紙
図書
edited by Jian Chen, Jian Lu, Bertrand Meyer ; sponsors: National Natural Science Foundation of China ... [et al.]
IEEE Computer Society
c1999
全国の図書館
Proceedings : technology of object-oriented languages, TOOLS 24, September, 1997, Beijung, China
Proceedings : technology of object-oriented languages, TOOLS 24, September, 1997, Beijung, China
紙
図書
edited by Jian Chen, ...[et al.]; sponsored by National Natural Science Foundation of China (NSFC), ... [et al.]
IEEE Computer Society
1998
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力