close
1.

電子ブック
ＥＢ
1. Advanced Language Technologies for Digital Libraries : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009
edited by Raffaella Bernardi, Sally Chambers, Björn Gottfried, Frédérique Segond, Ilya Zaihrayeu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6699
オンライン: http://dx.doi.org/10.1007/978-3-642-23160-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. AI*IA 2011: Artificial Intelligence Around Man and Beyond : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
edited by Roberto Pirrone, Filippo Sorbello
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6934
オンライン: http://dx.doi.org/10.1007/978-3-642-23954-0
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Modeling and Using Context : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings
edited by Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6967
オンライン: http://dx.doi.org/10.1007/978-3-642-24279-3
所蔵情報: loading…
5.

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

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

電子ブック
ＥＢ
7. Rough Sets and Knowledge Technology : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings
edited by JingTao Yao, Sheela Ramanna, Guoyin Wang, Zbigniew Suraj
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6954
オンライン: http://dx.doi.org/10.1007/978-3-642-24425-4
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7052
オンライン: http://dx.doi.org/10.1007/978-3-642-24971-6
所蔵情報: loading…
10.

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

電子ブック
ＥＢ
11. Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6877
オンライン: http://dx.doi.org/10.1007/978-3-642-25070-5
所蔵情報: loading…
12.

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

電子ブック
ＥＢ
13. Multidisciplinary Aspects of Time and Time Perception : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers
edited by Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6789
オンライン: http://dx.doi.org/10.1007/978-3-642-21478-3
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Argumentation in Multi-Agent Systems : 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers
edited by Peter McBurney, Iyad Rahwan, Simon Parsons
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6614
オンライン: http://dx.doi.org/10.1007/978-3-642-21940-5
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Information Systems for Indian Languages : International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings
edited by Chandan Singh, Gurpreet Singh Lehal, Jyotsna Sengupta, Dharam Veer Sharma, Vishal Goyal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 139
オンライン: http://dx.doi.org/10.1007/978-3-642-19403-0
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Schema Matching and Mapping
edited by Zohra Bellahsene, Angela Bonifati, Erhard Rahm
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Data-Centric Systems and Applications ;
オンライン: http://dx.doi.org/10.1007/978-3-642-16518-4
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Working with Preferences: Less Is More : Less Is More
by Souhila Kaci
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17280-9
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Conditionals and Modularity in General Logics
by Dov M. Gabbay, Karl Schlechta
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-19068-1
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Vagueness in Communication : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6517
オンライン: http://dx.doi.org/10.1007/978-3-642-18446-8
所蔵情報: loading…
20.

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

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

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

電子ブック
ＥＢ
23. The Evolution of Conceptual Modeling : From a Historical Perspective towards the Future of Conceptual Modeling
edited by Roland Kaschek, Lois Delcambre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6520
オンライン: http://dx.doi.org/10.1007/978-3-642-17505-3
所蔵情報: loading…
24.

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

電子ブック
ＥＢ
25. Computers and Games : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers
edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6515
オンライン: http://dx.doi.org/10.1007/978-3-642-17928-0
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Ludics, Dialogue and Interaction : PRELUDE Project - 2006-2009. Revised Selected Papers
edited by Alain Lecomte, Samuel Tronçon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6505
オンライン: http://dx.doi.org/10.1007/978-3-642-19211-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Language, Games, and Evolution : Trends in Current Research on Language and Game Theory
edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6207
オンライン: http://dx.doi.org/10.1007/978-3-642-18006-4
所蔵情報: loading…
28.

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

電子ブック
ＥＢ
29. Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
edited by Philippe Groote, Markus Egg, Laura Kallmeyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5591
オンライン: http://dx.doi.org/10.1007/978-3-642-20169-1
所蔵情報: loading…
30.

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

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

電子ブック
ＥＢ
32. Formal Concept Analysis : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
edited by Petko Valtchev, Robert Jäschke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6628
オンライン: http://dx.doi.org/10.1007/978-3-642-20514-9
所蔵情報: loading…
33.

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

電子ブック
ＥＢ
34. Rainbow of Computer Science : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
edited by Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6570
オンライン: http://dx.doi.org/10.1007/978-3-642-19391-0
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
edited by Thomas Sturm, Christoph Zengler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6301
オンライン: http://dx.doi.org/10.1007/978-3-642-21046-4
所蔵情報: loading…
36.

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

電子ブック
ＥＢ
37. Language and Automata Theory and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings
edited by Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6638
オンライン: http://dx.doi.org/10.1007/978-3-642-21254-3
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
edited by Harrie Swart
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6663
オンライン: http://dx.doi.org/10.1007/978-3-642-21070-9
所蔵情報: loading…
39.

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

電子ブック
ＥＢ
40. Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6680
オンライン: http://dx.doi.org/10.1007/978-3-642-21350-2
所蔵情報: loading…
41.

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

電子ブック
ＥＢ
42. Inductive Logic Programming : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
edited by Paolo Frasconi, Francesca A. Lisi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6489
オンライン: http://dx.doi.org/10.1007/978-3-642-21295-6
所蔵情報: loading…
43.

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

電子ブック
ＥＢ
44. Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
edited by Sylvain Pogodalla, Jean-Philippe Prost
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6736
オンライン: http://dx.doi.org/10.1007/978-3-642-22221-4
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
edited by Weiru Liu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6717
オンライン: http://dx.doi.org/10.1007/978-3-642-22152-1
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Transactions on Rough Sets XIV
edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6600
オンライン: http://dx.doi.org/10.1007/978-3-642-21563-6
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6700
オンライン: http://dx.doi.org/10.1007/978-3-642-21490-5
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings
edited by Sergei O. Kuznetsov, Dominik Ślęzak, Daryl H. Hepting, Boris G. Mirkin
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6743
オンライン: http://dx.doi.org/10.1007/978-3-642-21881-1
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Knowledge Processing and Data Analysis : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers
edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6581
オンライン: http://dx.doi.org/10.1007/978-3-642-22140-8
所蔵情報: loading…
50.

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

電子ブック
ＥＢ
51. Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6824
オンライン: http://dx.doi.org/10.1007/978-3-642-22673-1
所蔵情報: loading…
52.

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

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

電子ブック
ＥＢ
54. Logic, Language, and Computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6618
オンライン: http://dx.doi.org/10.1007/978-3-642-22303-7
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Conceptual Structures for Discovering Knowledge : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings
edited by Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6828
オンライン: http://dx.doi.org/10.1007/978-3-642-22688-5
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6803
オンライン: http://dx.doi.org/10.1007/978-3-642-22438-6
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
by Łukasz Kaiser
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6810
オンライン: http://dx.doi.org/10.1007/978-3-642-22807-0
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Artificial General Intelligence : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
edited by Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6830
オンライン: http://dx.doi.org/10.1007/978-3-642-22887-2
所蔵情報: loading…
59.

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

電子ブック
ＥＢ
60. Semantics in Data and Knowledge Bases : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
edited by Klaus-Dieter Schewe, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6834
オンライン: http://dx.doi.org/10.1007/978-3-642-23441-5
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Machine Learning and Data Mining in Pattern Recognition : 7th International Conference, MLDM 2011, New York, NY, USA, August 30 – September 3, 2011. Proceedings
edited by Petra Perner
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6871
オンライン: http://dx.doi.org/10.1007/978-3-642-23199-5
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011. Proceedings, Part I
edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6911
オンライン: http://dx.doi.org/10.1007/978-3-642-23780-5
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II
edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6912
オンライン: http://dx.doi.org/10.1007/978-3-642-23783-6
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part III
edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6913
オンライン: http://dx.doi.org/10.1007/978-3-642-23808-6
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Fuzzy Logic and Applications : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings
edited by Anna Maria Fanelli, Witold Pedrycz, Alfredo Petrosino
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6857
オンライン: http://dx.doi.org/10.1007/978-3-642-23713-3
所蔵情報: loading…
66.

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

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

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

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

電子ブック
ＥＢ
70. Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6158
オンライン: http://dx.doi.org/10.1007/978-3-642-13962-8
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Computational Intelligence for Knowledge-Based Systems Design : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings
edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6178
オンライン: http://dx.doi.org/10.1007/978-3-642-14049-5
所蔵情報: loading…
72.

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

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

電子ブック
ＥＢ
74. Grammatical Inference: Theoretical Results and Applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings
edited by José M. Sempere, Pedro García
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6339
オンライン: http://dx.doi.org/10.1007/978-3-642-15488-1
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
edited by Tomi Janhunen, Ilkka Niemelä
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6341
オンライン: http://dx.doi.org/10.1007/978-3-642-15675-5
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6042
オンライン: http://dx.doi.org/10.1007/978-3-642-14287-1
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Rough Set and Knowledge Technology : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6401
オンライン: http://dx.doi.org/10.1007/978-3-642-16248-0
所蔵情報: loading…
78.

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

電子ブック
ＥＢ
79. Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
edited by Jürgen Dix, Michael Fisher, Peter Novák
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6214
オンライン: http://dx.doi.org/10.1007/978-3-642-16867-3
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday
edited by Simon Siegler, Nathan Wasser
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6463
オンライン: http://dx.doi.org/10.1007/978-3-642-17172-7
所蔵情報: loading…
81.

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

電子ブック
ＥＢ
82. Sanskrit Computational Linguistics : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
edited by Girish Nath Jha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6465
オンライン: http://dx.doi.org/10.1007/978-3-642-17528-2
所蔵情報: loading…
83.

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

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

電子ブック
ＥＢ
85. Formal Concept Analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
edited by Leonard Kwuida, Bar?? Sertkaya
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5986
オンライン: http://dx.doi.org/10.1007/978-3-642-11928-6
所蔵情報: loading…
86.

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

電子ブック
ＥＢ
87. Conceptual Structures: From Information to Intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings
edited by Madalina Croitoru, Sebastien Ferre, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6208
オンライン: http://dx.doi.org/10.1007/978-3-642-14197-3
所蔵情報: loading…
88.

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

電子ブック
ＥＢ
89. Transactions on Rough Sets XII
edited by James F. Peters, Andrzej Skowron, Roman S?owi?ski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6190
オンライン: http://dx.doi.org/10.1007/978-3-642-14467-7
所蔵情報: loading…
90.

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

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

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

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

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

電子ブック
ＥＢ
95. Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
edited by Guido Governatori, Giovanni Sartor
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6181
オンライン: http://dx.doi.org/10.1007/978-3-642-14183-6
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6198
オンライン: http://dx.doi.org/10.1007/978-3-642-14165-2
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers
edited by Norbert E. Fuchs
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5972
オンライン: http://dx.doi.org/10.1007/978-3-642-14418-9
所蔵情報: loading…
98.

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

電子ブック
ＥＢ
99. Argumentation in Multi-Agent Systems : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6057
オンライン: http://dx.doi.org/10.1007/978-3-642-12805-9
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Advances in Computer Games : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
edited by H. Jaap Herik, Pieter Spronck
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6048
オンライン: http://dx.doi.org/10.1007/978-3-642-12993-3
所蔵情報: loading…