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

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

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

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

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

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

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

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