close
1.

図書
図書
1. Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Franz Baader, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Recent advances in constraints : joint ERCIM/CoLognet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Boi Faltings ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3419 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Barry O'Sullivan (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2627 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Advances in cryptology - EUROCRPYT [i.e. EUROCRYPT] 2003 : International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003 : proceedings
Eli Biham (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2656
所蔵情報: loading…
5.

図書
図書
5. Information security and privacy : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004 : proceedings
Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3108
所蔵情報: loading…
6.

図書
図書
6. Proceedings : Nineteenth National Conference on Artificial Intelligence (AAAI-04) : Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : [Distributed by] MIT Press, c2004
所蔵情報: loading…
7.

図書
図書
7. 基本的な実装テクニック
ジョン・ビエガ, マット・メシエ著 ; 光田秀訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社(発売), 2004.9
シリーズ名: C/C++セキュアプログラミングクックブック ; volume 1
所蔵情報: loading…
8.

図書
図書
8. Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings
Ronald Cramer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3494
所蔵情報: loading…
9.

図書
図書
9. Information security and privacy : 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003 : proceedings
Rei Safavi-Naini, Jennifer Seberry (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2727
所蔵情報: loading…
10.

図書
図書
10. レポート作成のためのコンピュータリテラシー. 第3版
椎原正次著
出版情報: 東京 : ムイスリ出版, 2015.3
所蔵情報: loading…