close
1.

電子ブック
ＥＢ
1. Software Engineering, Business Continuity, and Education : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 257
オンライン: http://dx.doi.org/10.1007/978-3-642-27207-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6814
オンライン: http://dx.doi.org/10.1007/978-3-642-22359-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
edited by Sven-Bodo Scholz, Olaf Chitil
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5836
オンライン: http://dx.doi.org/10.1007/978-3-642-24452-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
edited by Danny Weyns, Marie-Pierre Gleizes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6788
オンライン: http://dx.doi.org/10.1007/978-3-642-22636-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Conceptual Modeling – ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6998
オンライン: http://dx.doi.org/10.1007/978-3-642-24606-7
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7041
オンライン: http://dx.doi.org/10.1007/978-3-642-24690-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
edited by Werner Kuich, George Rahonis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7020
オンライン: http://dx.doi.org/10.1007/978-3-642-24897-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
edited by Jean-Pierre Jouannaud, Zhong Shao
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7086
オンライン: http://dx.doi.org/10.1007/978-3-642-25379-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Implementation and Application of Functional Languages : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
edited by Marco T. Morazán, Sven-Bodo Scholz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6041
オンライン: http://dx.doi.org/10.1007/978-3-642-16478-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
edited by Michael Johnson, Dusko Pavlovic
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6486
オンライン: http://dx.doi.org/10.1007/978-3-642-17796-5
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
edited by Ricardo Rocha, John Launchbury
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6539
オンライン: http://dx.doi.org/10.1007/978-3-642-18378-2
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6038
オンライン: http://dx.doi.org/10.1007/978-3-642-19208-1
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
edited by Javier Larrosa, Barry O’Sullivan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6384
オンライン: http://dx.doi.org/10.1007/978-3-642-19486-3
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
edited by Gilles Barthe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6602
オンライン: http://dx.doi.org/10.1007/978-3-642-19718-5
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
edited by Parosh Aziz Abdulla, K. Rustan M. Leino
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6605
オンライン: http://dx.doi.org/10.1007/978-3-642-19835-9
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6619
オンライン: http://dx.doi.org/10.1007/978-3-642-20715-0
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
edited by Julio Mariño
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6559
オンライン: http://dx.doi.org/10.1007/978-3-642-20775-4
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
edited by Ganesh Gopalakrishnan, Shaz Qadeer
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6806
オンライン: http://dx.doi.org/10.1007/978-3-642-22110-1
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
edited by Herbert Kuchen
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6816
オンライン: http://dx.doi.org/10.1007/978-3-642-22531-4
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6898
オンライン: http://dx.doi.org/10.1007/978-3-642-22863-6
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Principles and Practice of Constraint Programming – CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
edited by Jimmy Lee
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6876
オンライン: http://dx.doi.org/10.1007/978-3-642-23786-7
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6092
オンライン: http://dx.doi.org/10.1007/978-3-642-13238-4
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
edited by Claude Bolduc, Jules Desharnais, Béchir Ktari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6120
オンライン: http://dx.doi.org/10.1007/978-3-642-13321-3
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
edited by Paul Gastin, François Laroussinie
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6269
オンライン: http://dx.doi.org/10.1007/978-3-642-15375-4
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Principles and Practice of Constraint Programming – CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
edited by David Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6308
オンライン: http://dx.doi.org/10.1007/978-3-642-15396-9
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
edited by Christian G. Fermüller, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6397
オンライン: http://dx.doi.org/10.1007/978-3-642-16242-8
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6412
オンライン: http://dx.doi.org/10.1007/978-3-642-16373-9
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
edited by Shengchao Qin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6445
オンライン: http://dx.doi.org/10.1007/978-3-642-16690-7
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
edited by Edmund M. Clarke, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6355
オンライン: http://dx.doi.org/10.1007/978-3-642-17511-4
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Service Research Challenges and Solutions for the Future Internet : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6500
オンライン: http://dx.doi.org/10.1007/978-3-642-17599-2
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
edited by Santiago Escobar
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5979
オンライン: http://dx.doi.org/10.1007/978-3-642-11999-6
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
edited by Andrew Butterfield
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5713
オンライン: http://dx.doi.org/10.1007/978-3-642-14521-6
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
edited by Danny Schreye
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6037
オンライン: http://dx.doi.org/10.1007/978-3-642-12592-8
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
edited by Tayssir Touili, Byron Cook, Paul Jackson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6174
オンライン: http://dx.doi.org/10.1007/978-3-642-14295-6
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
edited by Anuj Dawar, Helmut Veith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6247
オンライン: http://dx.doi.org/10.1007/978-3-642-15205-4
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
edited by Javier Esparza, Rupak Majumdar
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6015
オンライン: http://dx.doi.org/10.1007/978-3-642-12002-2
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Programming Languages and Systems : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
edited by Andrew D. Gordon
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6012
オンライン: http://dx.doi.org/10.1007/978-3-642-11957-6
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
edited by Matthias Blume, Naoki Kobayashi, German Vidal
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6009
オンライン: http://dx.doi.org/10.1007/978-3-642-12251-4
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
by Gabriele Puppis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5955
オンライン: http://dx.doi.org/10.1007/978-3-642-11881-4
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
edited by Matt Kaufmann, Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6172
オンライン: http://dx.doi.org/10.1007/978-3-642-14052-5
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6245
オンライン: http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6217
オンライン: http://dx.doi.org/10.1007/978-3-642-15057-9
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5948
オンライン: http://dx.doi.org/10.1007/978-3-642-11355-0
所蔵情報: loading…