close
1.

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

電子ブック
ＥＢ
2. Algorithmic Learning Theory : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6925
オンライン: http://dx.doi.org/10.1007/978-3-642-24412-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic and Its Applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
edited by Mohua Banerjee, Anil Seth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6521
オンライン: http://dx.doi.org/10.1007/978-3-642-18026-2
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
edited by Karem A. Sakallah, Laurent Simon
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6695
オンライン: http://dx.doi.org/10.1007/978-3-642-21581-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6714
オンライン: http://dx.doi.org/10.1007/978-3-642-21341-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Developments in Language Theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
edited by Giancarlo Mauri, Alberto Leporati
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6795
オンライン: http://dx.doi.org/10.1007/978-3-642-22321-1
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Unconventional Computation : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6079
オンライン: http://dx.doi.org/10.1007/978-3-642-13523-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Algorithmic Learning Theory : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6331
オンライン: http://dx.doi.org/10.1007/978-3-642-16108-7
所蔵情報: loading…
11.

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

電子ブック
ＥＢ
12. Finite-State Methods and Natural Language Processing : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
edited by Anssi Yli-Jyra, Andras Kornai, Jacques Sakarovitch, Bruce Watson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6062
オンライン: http://dx.doi.org/10.1007/978-3-642-14684-8
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Developments in Language Theory : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6224
オンライン: http://dx.doi.org/10.1007/978-3-642-14455-4
所蔵情報: loading…
14.

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

電子ブック
ＥＢ
15. Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martin-Vide
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6031
オンライン: http://dx.doi.org/10.1007/978-3-642-13089-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
edited by Sebastian Link, Henri Prade
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5956
オンライン: http://dx.doi.org/10.1007/978-3-642-11829-6
所蔵情報: loading…
17.

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

電子ブック
ＥＢ
18. Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
edited by Angelo Oddi, Francois Fages, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5655
オンライン: http://dx.doi.org/10.1007/978-3-642-03251-6
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised 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, Aditya Ghose, Guido Governatori, Ramakoti Sadananda
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5044
オンライン: http://dx.doi.org/10.1007/978-3-642-01639-4
所蔵情報: loading…
20.

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

電子ブック
ＥＢ
21. Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5065
オンライン: http://dx.doi.org/10.1007/978-3-540-68679-8
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Francois Fages, Francesca Rossi, Sylvain Soliman
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5129
オンライン: http://dx.doi.org/10.1007/978-3-540-89812-2
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers
edited by
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4651
オンライン: http://dx.doi.org/10.1007/978-3-540-73817-6
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Recent Advances in Constraints (vol. 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2005 Uppsala Sweden June 20-222005 Revised Selected and Invite
Hnich Brahim ; Fages Francois ; Rossi Francesca ; Carlsson Mats ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3978
オンライン: http://dx.doi.org/10.1007/11754602
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Finite-State Methods and Natural Language Processing : 5th International Workshop FSMNLP 2005 Helsinki Finland September 1-2 2005. Revised Papers
edited by Anssi Yli-Jyr- Lauri Karttunen Juhani Karhum-ki
出版情報: Berlin Heidelberg : Springer-Verlag Berlin/Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence ; 4002
オンライン: http://dx.doi.org/10.1007/11780885
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 : 2nd International Joint Conference 10th Ibero-American Conference on AI 18th Brazilian AI Symposium Ribeirao Preto Brazil October 23-27 2006
edited by Jaim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4140
オンライン: http://dx.doi.org/10.1007/11874850
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
Fages, Francois ; Petcu, Adrian ; Faltings, Boi ; Rossi, Francesca ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3419
オンライン: http://dx.doi.org/10.1007/b106890
所蔵情報: loading…