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. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. Topics in cryptology - CT-RSA 2014 : the Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014 : proceedings
Josh Benaloh (ed.)
出版情報: Cham : Springer, c2014
シリーズ名: Lecture notes in computer science ; 8366 . LNCS sublibrary ; SL 4. Security and cryptology
所蔵情報: loading…
9.

図書
図書
9. Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
10.

図書
図書
10. Foundations of genetic algorithms : 8th International Workshop, FOGA 2005 Aizu-Wakamatsu City, Japan, January 5-9, 2005 : revised selected papers
Alden H. Wright ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3469
所蔵情報: loading…
11.

図書
図書
11. Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Moshe Y. Vardi, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2850 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
13.

図書
図書
13. Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Geoff Sutcliffe, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3835 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Cryptographic hardware and embedded systems - CHES 2005 : 7th International Workshop, Edinburgh, UK, August 29-September 1, 2005 : proceedings
Josyula R. Rao, Berk Sunar (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3659
所蔵情報: loading…
15.

図書
図書
15. Advances in cryptology - EUROCRYPT 2006 : 24th [i.e. 25th] Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28-June 1, 2006 : proceedings
Serge Vaudenay (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4004
所蔵情報: loading…
16.

図書
図書
16. Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Miki Hermann, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4246 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

図書
図書
17. Multivariate public key cryptosystems
Jintai Ding, Jason E. Gower, Dieter S. Schmidt
出版情報: New York : Springer, c2006
シリーズ名: Advances in information security ; 25
所蔵情報: loading…
18.

図書
図書
18. Advances in cryptology - ASIACRYPT 2006 : 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006 : proceedings
Xuejia Lai, Kefei Chen (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4284
所蔵情報: loading…
19.

図書
図書
19. Provable security : 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13 - 15, 2010 : proceedings
Swee-Huay Heng, Kaoru Kurosawa (eds.)
出版情報: Berlin ; Heidelberg ; New York, NY : Springer, 2010
シリーズ名: Lecture notes in computer science ; 6402
所蔵情報: loading…
20.

図書
図書
20. Information theoretic security : 4th international conference, ICITS 2009, Shizuoka, Japan, December 3 - 6, 2009 : revised selected papers
Kaoru Kurosawa (ed.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 5973
所蔵情報: loading…
21.

図書
図書
21. Principles and practice of constraint programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
Christian Bessiere (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4741
所蔵情報: loading…
22.

図書
図書
22. Conceptual modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006 : proceedings
David W. Embley, Antoni Olivé, Sudha Ram (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4215
所蔵情報: loading…
23.

図書
図書
23. Principles and practice of constraint programing : 19th international conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, proceedings (pbk.)
Christian Schulte (ed.)
出版情報: Heidelberg : Springer, c2013
シリーズ名: Lecture notes in computer science ; 8124 . LNCS sublibrary ; SL 2. Programming and software engineering
所蔵情報: loading…
24.

図書
図書
24. Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12 2012 : proceedings (pbk.)
Michela Milano (ed.)
出版情報: Heidelberg : Springer, c2012
シリーズ名: Lecture notes in computer science ; 7514 . LNCS sublibrary ; SL 2. Programming and software engineering
所蔵情報: loading…
25.

図書
図書
25. Foundations of data quality management (: pbk)
Wenfei Fan, Floris Geerts
出版情報: [San Rafael, Calif.] : Morgan & Craypool, c2012
シリーズ名: Synthesis lectures on data management ; #29
所蔵情報: loading…
26.

図書
図書
26. Advances in cryptology - EUROCRYPT 2013 : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques Athens, Greece, May 26-30, 2013 : proceedings
Thomas Johansson, Phong Q. Nguyen (eds.)
出版情報: Heidelberg : Springer, c2013
シリーズ名: Lecture notes in computer science ; 7881. LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
27.

図書
図書
27. Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint [i.e. Constraint] Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers
Francisco Azevedo ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4651 . Lecture notes in artificial intelligence
所蔵情報: loading…
28.

図書
図書
28. Theory of cryptography : fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008 : proceedings
Ran Canetti (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 4948
所蔵情報: loading…
29.

図書
図書
29. Security and Cryptography for Networks : 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008 : proceedings
Rafail Ostrovsky, Roberto De Prisco, Ivan Visconti (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5229
所蔵情報: loading…
30.

図書
図書
30. 2008 49th Annual Symposium on Foundations of Computer Science : Philadelphia, Pennsylvania 25-28 October 2008
Symposium on Foundations of Computer Science
出版情報: Piscataway, NJ : The Institute of Electrical and Electronics Engineers, Inc., c2008
所蔵情報: loading…
31.

図書
図書
31. Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…
32.

図書
図書
32. Logic for programming, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5330 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Advances in cryptology -- ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings
Mitsuru Matsui (ed.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5912 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
34.

図書
図書
34. Cryptology and network security : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings
Juan A. Garay, Atsuko Miyaji, Akira Otsuka (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5888
所蔵情報: loading…
35.

図書
図書
35. Information theoretic security : third International conference, ICITS 2008 Calgary, Canada, August 10-13, 2008 : proceedings
Reihaneh Safavi-Naini (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5155
所蔵情報: loading…
36.

図書
図書
36. Principles and practice of constraint programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008 : proceedings
Peter J. Stuckey (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5202
所蔵情報: loading…
37.

図書
図書
37. Process mining : data science in action. 2nd ed
Wil van der Aalst
出版情報: Heidelberg : Springer, c2016
所蔵情報: loading…
38.

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

図書
図書
39. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Matthias Baaz, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence
所蔵情報: loading…
40.

図書
図書
40. 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
所蔵情報: loading…
41.

図書
図書
41. Proceedings : Eighteenth National Conference on Artificial Intelligence (AAAI-02) : Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI-02)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : [Distributed by] MIT Press, c2002
所蔵情報: loading…
42.

図書
図書
42. 38th Annual Meeting of the Association for Computational Linguistics : Proceedings of the Conference : 1-8 October 2000 Hong Kong
Association for Computational Linguistics (U.S.). Meeting
出版情報: [Morristown, N.J.] : Association for Computational Linguistics , San Francisco : Morgan Kaufmann, c2000
所蔵情報: loading…
43.

図書
図書
43. Proceedings : seventh International Conference on Database Systems for Advanced Applications : April 18-21, 2001, Hong Kong, SAR, China
International Symposium on Database Systems for Advanced Applications
出版情報: Los Alamitos : IEEE Computer Society, c2001
所蔵情報: loading…
44.

図書
図書
44. Information visualization in data mining and knowledge discovery
edited by Usama Fayyad, Georges G. Grinstein, Andreas Wierse
出版情報: San Francisco ; Tokyo : Morgan Kaufmann Publishers, c2002
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
45.

図書
図書
45. Principles of data mining (: hc)
David Hand, Heikki Mannila, Padhraic Smyth
出版情報: Cambridge, Mass. : MIT Press, c2001
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
46.

図書
図書
46. Proceedings : Seventeenth National Conference on Artificial Intelligence (AAAI-2000) : Twelfth Innovative Applications of Artificial Intelligence Conference (IAAI-2000)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : MIT Press, c2000
所蔵情報: loading…
47.

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

図書
図書
48. Exploratory image databases : content-based retrieval
Simone Santini
出版情報: San Diego : Academic Press, c2001
シリーズ名: Academic Press series in communications, networking, and multimedia
所蔵情報: loading…
49.

図書
図書
49. The Object data standard : ODMG 3.0
edited by R.G.G. Cattell, Douglas K. Barry ; contributors Mark Berler ... [et al.]
出版情報: San Francisco, Calif. : Morgan Kaufmann Publishers, c2000
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
50.

図書
図書
50. Conformance checking : relating processes and models
Josep Carmona et al.
出版情報: Cham : Springer Nature Switzerland, c2018
所蔵情報: loading…