1.

図書
図書
1. The calculus of computation : decision procedures with applications to verification
Aaron R. Bradley, Zohar Manna
出版情報: Berlin : Springer, c2007
所蔵情報: 図書館
2.

図書
図書
2. Applied cryptography and network security : second International Conference, ACNS 2004, Yellow Mountain, China, June, 8-11, 2004 : proceedings
Markus Jakobsson, Moti Yung, Jianying Zhou (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3089
所蔵情報: 図書館
3.

図書
図書
3. CONCUR 2004 - concurrency theory : 15th International Conference, London, UK, August 31-September 3, 2004 : proceedings
Philippa Gardner, Nobuko Yoshida (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3170
所蔵情報: 図書館
4.

図書
図書
4. Selected areas in cryptography : 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003 : revised papers
Mitsuru Matsui, Robert Zuccherato (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3006
所蔵情報: 図書館
5.

図書
図書
5. Computer vision -- ECCV 2004 : 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004 : proceedings (pt. 1 - pt. 4)
Tomáš Pajdla, Jiří Matas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3021-3024
所蔵情報: 図書館
6.

図書
図書
6. Probabilistic and statistical methods in cryptology : an introduction by selected topics
Daniel Neuenschwander
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3028
所蔵情報: 図書館
7.

図書
図書
7. Public key infrastructure : first European PKI Workshop : research and applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004 : proceedings
Sokratis K. Katsikas, Stefanos Gritzalis, Javier Lopez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3093
所蔵情報: 図書館
8.

図書
図書
8. Financial cryptography : 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004 : revised papers
Ari Juels (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3110
所蔵情報: 図書館
9.

図書
図書
9. 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
所蔵情報: 図書館
10.

図書
図書
10. List decoding of error-correcting codes : winning thesis of the 2002 ACM doctoral dissertation competition
Venkatesan Guruswami
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3282
所蔵情報: 図書館