close
1.

電子ブック
ＥＢ
1. Genetic Programming Theory and Practice IX
edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-1770-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Multiagent System Technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
edited by Franziska Klügl, Sascha Ossowski
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6973
オンライン: http://dx.doi.org/10.1007/978-3-642-24603-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. Algorithmic Decision Theory : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings
edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6992
オンライン: http://dx.doi.org/10.1007/978-3-642-24873-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Distributed Computing : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings
edited by David Peleg
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6950
オンライン: http://dx.doi.org/10.1007/978-3-642-24100-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Rule - Based Modeling and Computing on the Semantic Web : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
edited by Frank Olken, Monica Palmirani, Davide Sottara
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7018
オンライン: http://dx.doi.org/10.1007/978-3-642-24908-2
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. 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…
10.

電子ブック
ＥＢ
10. 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…
11.

電子ブック
ＥＢ
11. Swarm, Evolutionary, and Memetic Computing : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II
edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7077
オンライン: http://dx.doi.org/10.1007/978-3-642-27242-4
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Swarm, Evolutionary, and Memetic Computing : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part I
edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7076
オンライン: http://dx.doi.org/10.1007/978-3-642-27172-4
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Genetic Programming Theory and Practice VIII
edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ; 8
オンライン: http://dx.doi.org/10.1007/978-1-4419-7747-2
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Multiparadigm Constraint Programming Languages
by Petra Hofstedt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17330-1
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. 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…
16.

電子ブック
ＥＢ
16. 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…
17.

電子ブック
ＥＢ
17. 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…
18.

電子ブック
ＥＢ
18. 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…
19.

電子ブック
ＥＢ
19. 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…
20.

電子ブック
ＥＢ
20. 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…
21.

電子ブック
ＥＢ
21. Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6593
オンライン: http://dx.doi.org/10.1007/978-3-642-20282-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6594
オンライン: http://dx.doi.org/10.1007/978-3-642-20267-4
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
edited by Salvador Abreu, Dietmar Seipel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6547
オンライン: http://dx.doi.org/10.1007/978-3-642-20589-7
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
edited by Ron Meyden, Jan-Georg Smaus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6572
オンライン: http://dx.doi.org/10.1007/978-3-642-20674-0
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Experimental Algorithms : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
edited by Panos M. Pardalos, Steffen Rebennack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6630
オンライン: http://dx.doi.org/10.1007/978-3-642-20662-7
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
edited by María Alpuente
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6564
オンライン: http://dx.doi.org/10.1007/978-3-642-20551-4
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
edited by James P. Delgrande, Wolfgang Faber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6645
オンライン: http://dx.doi.org/10.1007/978-3-642-20895-9
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Genetic Programming : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings
edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6621
オンライン: http://dx.doi.org/10.1007/978-3-642-20407-4
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Applications of Evolutionary Computation : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I
edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6624
オンライン: http://dx.doi.org/10.1007/978-3-642-20525-5
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Applications of Evolutionary Computation : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. Şima Uyar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6625
オンライン: http://dx.doi.org/10.1007/978-3-642-20520-0
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
edited by Marcello Balduccini, Tran Cao Son
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6565
オンライン: http://dx.doi.org/10.1007/978-3-642-20832-4
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
edited by Kai Brünnler, George Metcalfe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6793
オンライン: http://dx.doi.org/10.1007/978-3-642-22119-4
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. 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…
34.

電子ブック
ＥＢ
34. Rule-Based Reasoning, Programming, and Applications : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6826
オンライン: http://dx.doi.org/10.1007/978-3-642-22546-8
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. 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…
36.

電子ブック
ＥＢ
36. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6822
オンライン: http://dx.doi.org/10.1007/978-3-642-22723-3
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. 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…
38.

電子ブック
ＥＢ
38. A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
edited by Agostino Dovier, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6125
オンライン: http://dx.doi.org/10.1007/978-3-642-14309-0
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
edited by Jürgen Dix, Cees Witteveen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6251
オンライン: http://dx.doi.org/10.1007/978-3-642-16178-0
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5919
オンライン: http://dx.doi.org/10.1007/978-3-642-14843-9
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. 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…
42.

電子ブック
ＥＢ
42. Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6403
オンライン: http://dx.doi.org/10.1007/978-3-642-16289-3
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. 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…
44.

電子ブック
ＥＢ
44. On the Move to Meaningful Internet Systems: OTM 2010 Workshops : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings
edited by Robert Meersman, Tharam Dillon, Pilar Herrero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6428
オンライン: http://dx.doi.org/10.1007/978-3-642-16961-8
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. 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…
46.

電子ブック
ＥＢ
46. Swarm, Evolutionary, and Memetic Computing : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings
edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6466
オンライン: http://dx.doi.org/10.1007/978-3-642-17563-3
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. 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…
48.

電子ブック
ＥＢ
48. Genetic Programming : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
edited by Anna Isabel Esparcia-Alcazar, Aniko Ekart, Sara Silva, Stephen Dignum, A. ?ima Uyar
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6021
オンライン: http://dx.doi.org/10.1007/978-3-642-12148-7
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. 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…
50.

電子ブック
ＥＢ
50. Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5812
オンライン: http://dx.doi.org/10.1007/978-3-642-11931-6
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. 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…
52.

電子ブック
ＥＢ
52. 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…
53.

電子ブック
ＥＢ
53. 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…
54.

電子ブック
ＥＢ
54. 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…
55.

電子ブック
ＥＢ
55. Self-Organizing Architectures : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
edited by Danny Weyns, Sam Malek, Rogerio Lemos, Jesper Andersson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6090
オンライン: http://dx.doi.org/10.1007/978-3-642-14412-7
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Distributed Computing : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
edited by Nancy A. Lynch, Alexander A. Shvartsman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6343
オンライン: http://dx.doi.org/10.1007/978-3-642-15763-9
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. 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…
58.

電子ブック
ＥＢ
58. Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
edited by Patricia M. Hill, David S. Warren
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5649
オンライン: http://dx.doi.org/10.1007/978-3-642-02846-5
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5348
オンライン: http://dx.doi.org/10.1007/978-3-642-00431-5
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5438
オンライン: http://dx.doi.org/10.1007/978-3-642-00515-2
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Dietmar Seipel, Michael Hanus, Armin Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5437
オンライン: http://dx.doi.org/10.1007/978-3-642-00675-3
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Methods, Models and Tools for Fault Tolerance
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5454
オンライン: http://dx.doi.org/10.1007/978-3-642-00867-2
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Genetic Programming : 12th European Conference, EuroGP 2009 Tubingen, Germany, April 15-17, 2009 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe Falco, Marc Ebner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5481
オンライン: http://dx.doi.org/10.1007/978-3-642-01181-8
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 7th European Conference, EvoBIO 2009 Tubingen, Germany, April 15-17, 2009 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5483
オンライン: http://dx.doi.org/10.1007/978-3-642-01184-9
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Luck, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5386
オンライン: http://dx.doi.org/10.1007/978-3-642-01338-6
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Software Engineering for Self-Adaptive Systems
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Betty H. C. Cheng, Rogerio Lemos, Holger Giese, Paola Inverardi, Jeff Magee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5525
オンライン: http://dx.doi.org/10.1007/978-3-642-02161-9
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Engineering Societies in the Agents World IX : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Alexander Artikis, Gauthier Picard, Laurent Vercouter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5485
オンライン: http://dx.doi.org/10.1007/978-3-642-02562-4
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Artificial Intelligence An International Perspective : An International Perspective
edited by Max Bramer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5640
オンライン: http://dx.doi.org/10.1007/978-3-642-03226-4
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Multiagent System Technologies : 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
edited by Lars Braubach, Wiebe Hoek, Paolo Petta, Alexander Pokahr
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5774
オンライン: http://dx.doi.org/10.1007/978-3-642-04143-3
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
edited by Jens Palsberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5700
オンライン: http://dx.doi.org/10.1007/978-3-642-04164-8
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
edited by Silvio Ghilardi, Roberto Sebastiani
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5749
オンライン: http://dx.doi.org/10.1007/978-3-642-04222-5
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5753
オンライン: http://dx.doi.org/10.1007/978-3-642-04238-6
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
edited by Lluis Godo, Andrea Pugliese
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5785
オンライン: http://dx.doi.org/10.1007/978-3-642-04388-8
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
edited by Martin Giese, Arild Waaler
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5607
オンライン: http://dx.doi.org/10.1007/978-3-642-02716-1
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5495
オンライン: http://dx.doi.org/10.1007/978-3-642-04921-7
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Engineering Societies in the Agents World X : 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
edited by Huib Aldewereld, Virginia Dignum, Gauthier Picard
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5881
オンライン: http://dx.doi.org/10.1007/978-3-642-10203-5
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Doug Lea, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5052
オンライン: http://dx.doi.org/10.1007/978-3-540-68265-3
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
edited by Bertrand Meyer, Jim Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4171
オンライン: http://dx.doi.org/10.1007/978-3-540-69149-5
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4894
オンライン: http://dx.doi.org/10.1007/978-3-540-78469-2
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Probabilistic Inductive Logic Programming : Theory and Applications
edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4911
オンライン: http://dx.doi.org/10.1007/978-3-540-78652-8
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Genetic Programming : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
edited by Michael O’Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcazar, Ivanoe Falco, Antonio
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4971
オンライン: http://dx.doi.org/10.1007/978-3-540-78671-9
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
edited by Elena Marchiori, Jason H. Moore
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4973
オンライン: http://dx.doi.org/10.1007/978-3-540-78757-0
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy King
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 4915
オンライン: http://dx.doi.org/10.1007/978-3-540-78769-3
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
edited by Jacques Garrigue, Manuel V. Hermenegildo
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4989
オンライン: http://dx.doi.org/10.1007/978-3-540-78969-7
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
edited by Jaime Simao Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4870
オンライン: http://dx.doi.org/10.1007/978-3-540-79003-7
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
edited by Michael Luck, Lin Padgham
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4951
オンライン: http://dx.doi.org/10.1007/978-3-540-79488-2
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jose Meseguer, Grigore Ro?u
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5140
オンライン: http://dx.doi.org/10.1007/978-3-540-79980-1
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
edited by Jaime G. Carbonell, J¥org Siekmann, Mehdi Dastani, Amal Fallah Seghrouchni, Joao Leite, Paolo Torroni
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5118
オンライン: http://dx.doi.org/10.1007/978-3-540-85058-8
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Filip ?elezny, Nada Lavra?E
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5194
オンライン: http://dx.doi.org/10.1007/978-3-540-85928-4
所蔵情報: loading…
90.

電子ブック

ＥＢ
90. Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter J. Stuckey
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5202
オンライン: http://dx.doi.org/10.1007/978-3-540-85958-1
所蔵情報: loading…
91.

電子ブック

ＥＢ
91. Engineering Societies in the Agents World VIII : 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Alexander Artikis, Gregory M. P. O’Hare, Kostas Stathis, George Vouros
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4995
オンライン: http://dx.doi.org/10.1007/978-3-540-87654-0
所蔵情報: loading…
92.

電子ブック

ＥＢ
92. Parallel Problem Solving from Nature ?EPPSN X : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gunter Rudolph, Thomas Jansen, Simon Lucas, Carlo Poloni, Nicola Beume
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5199
オンライン: http://dx.doi.org/10.1007/978-3-540-87700-4
所蔵情報: loading…
93.

電子ブック

ＥＢ
93. Diagrammatic Representation and Inference : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Gem Stapleton, John Howse, John Lee
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5223
オンライン: http://dx.doi.org/10.1007/978-3-540-87730-1
所蔵情報: loading…
94.

電子ブック

ＥＢ
94. Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Steffen Holldobler, Carsten Lutz, Heinrich Wansing
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5293
オンライン: http://dx.doi.org/10.1007/978-3-540-87803-2
所蔵情報: loading…
95.

電子ブック

ＥＢ
95. Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal P?chou?ek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5244
オンライン: http://dx.doi.org/10.1007/978-3-540-87805-6
所蔵情報: loading…
96.

電子ブック

ＥＢ
96. Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5295
オンライン: http://dx.doi.org/10.1007/978-3-540-87873-5
所蔵情報: loading…
97.

電子ブック

ＥＢ
97. Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5138
オンライン: http://dx.doi.org/10.1007/978-3-540-87881-0
所蔵情報: loading…
98.

電子ブック

ＥＢ
98. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5330
オンライン: http://dx.doi.org/10.1007/978-3-540-89439-1
所蔵情報: loading…
99.

電子ブック

ＥＢ
99. Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5366
オンライン: http://dx.doi.org/10.1007/978-3-540-89982-2
所蔵情報: loading…
100.

電子ブック

ＥＢ
100. Constraint Handling Rules : Current Research Topics
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Fruhwirth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computer Science ; 5388
オンライン: http://dx.doi.org/10.1007/978-3-540-92243-8
所蔵情報: loading…