1.

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

図書
図書
2. Multi-agent-based simulation VI : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Jaime S. Sichman, Luis Antunes (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3891 . Lecture notes in artificial intelligence
所蔵情報: 図書館
3.

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

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

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

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

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

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

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

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

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

図書
図書
12. Developments in language theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
Masami Ito, Masafumi Toyama (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2450
所蔵情報: 図書館
13.

図書
図書
13. Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: 図書館
14.

図書
図書
14. CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings
Roberto Amadio, Denis Lugiez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2761
所蔵情報: 図書館
15.

図書
図書
15. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003
所蔵情報: 図書館
16.

図書
図書
16. Information and communications security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : proceedings
Sihan Qing, Dieter Gollmann, Jianying Zhou (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2836
所蔵情報: 図書館
17.

図書
図書
17. Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings
Martin Hofmann (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2701
所蔵情報: 図書館
18.

図書
図書
18. Applied cryptography and network security : first International Conference, ACNS 2003, Kunming, China, October 16-19, 2003 : proceedings
Jianying Zhou, Moti Yung, Yongfei Han, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2846
所蔵情報: 図書館
19.

図書
図書
19. Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Lenore D. Zuck ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2575
所蔵情報: 図書館
20.

図書
図書
20. Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Andrew D. Gordon (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2620
所蔵情報: 図書館
21.

図書
図書
21. Energy minimization methods in computer vision and pattern recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003 : proceedings
Anand Rangarajan, Mário Figueiredo, Josiane Zerubia (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2683
所蔵情報: 図書館
22.

図書
図書
22. Topics in Cryptology - CT-RSA 2003 : the Cryptographers' Track at the RSA conference 2003, San Francisco, CA, USA, April 13-17, 2003 : proceedings
Marc Joye (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2612
所蔵情報: 図書館, 研究室
23.

図書
図書
23. 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
所蔵情報: 図書館, 研究室
24.

図書
図書
24. Experimental and efficient algorithms : second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003 : proceedings
Klaus Jansen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2647
所蔵情報: 図書館, 研究室
25.

図書
図書
25. Proceedings of Pan-Yellow-Sea International Workshop on Information Technologies for Network Era : PYIWIT'02
sponsored by Information Processing Society of Japan (IPSJ), Saga University, Institute of Systems and Information Technologies/Kyushu (ISIT)
出版情報: [Tokyo] : [Information Processing Society of Japan], c2002
所蔵情報: 図書館
26.

図書
図書
26. Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: 図書館
27.

図書
図書
27. Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: 図書館
28.

図書
図書
28. Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: 図書館
29.

図書
図書
29. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2297
所蔵情報: 図書館
30.

図書
図書
30. Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures
Giles Barthe ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2395
所蔵情報: 図書館
31.

図書
図書
31. Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Manuel V. Hermenegildo, Germán Puebla (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2477
所蔵情報: 図書館
32.

図書
図書
32. Proceedings : the 43rd annual IEEE symposium on foundations of computer science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing(TCMF)
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: 図書館
33.

図書
図書
33. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: 図書館
34.

図書
図書
34. Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: 図書館, 研究室
35.

図書
図書
35. Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings
Andrea Corradini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2505
所蔵情報: 図書館, 研究室
36.

図書
図書
36. Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
Luca de Alfaro, Stephen Gilmore (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2165
所蔵情報: 図書館
37.

図書
図書
37. Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2202
所蔵情報: 図書館
38.

図書
図書
38. Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2067
所蔵情報: 図書館
39.

図書
図書
39. Proceedings, 42nd IEEE Symposium on Foundations of Computer Science, October 14-17, 2001, Las Vegas, Nevada, USA (:case)
sponsored by IEEE Computer Society Tecnical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: 図書館
40.

図書
図書
40. Unifying Petri nets : advances in Petri nets
Hartmut Ehrig, ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: 図書館
41.

図書
図書
41. Parallel computing technologies : 6th International Conference, PaCT-2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings
Victor Malyshkin (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2127
所蔵情報: 図書館
42.

図書
図書
42. Multi-image analysis : 10th International Workshop on Theoretical Foundations of Computer Vision : Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers
Reinhard Klette ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2032
所蔵情報: 図書館
43.

図書
図書
43. Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
José-Manuel Colom, Maciej Koutny (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2075
所蔵情報: 図書館
44.

図書
図書
44. Handbook of automated reasoning (Elsevier: set - MIT: v. 2)
Alan Robinson and Andrei Voronkov (Eds.)
出版情報: Amsterdam ; New York : Elsevier , Cambridge, US : The MIT Press, c2001
所蔵情報: 図書館
45.

図書
図書
45. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: 図書館
46.

図書
図書
46. Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2090
所蔵情報: 図書館
47.

図書
図書
47. Drawing graphs : methods and models
Michael Kaufmann, Dorothea Wagner (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2025
所蔵情報: 図書館, 研究室
48.

図書
図書
48. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: 図書館
49.

図書
図書
49. Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Gert Smolka (ed.)
出版情報: Berlin : Springer, 2000
シリーズ名: Lecture notes in computer science ; 1782
所蔵情報: 図書館
50.

図書
図書
50. Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Jerzy Tiuryn (ed.)
出版情報: Berlin : Springer, 2000
シリーズ名: Lecture notes in computer science ; 1784
所蔵情報: 図書館
51.

図書
図書
51. Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1755
所蔵情報: 図書館
52.

図書
図書
52. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Roland Backhouse, José Nuno Oliveira (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1837
所蔵情報: 図書館
53.

図書
図書
53. 41st Annual Symposium on Foundations of Computer Science, 12-14 November 2000, Redondo Beach, California : proceedings (: case ; : pbk ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000
所蔵情報: 図書館
54.

図書
図書
54. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: 図書館
55.

図書
図書
55. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Peter G. Clote, Helmut Schwichtenberg (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1862
所蔵情報: 図書館
56.

図書
図書
56. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Didier Bert, Christine Choppy, Peter Mosses (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1827
所蔵情報: 図書館