close
1.

電子ブック
ＥＢ
1. Computer Science : The Hardware, Software and Heart of It. 1
edited by Edward K. Blum, Alfred V. Aho
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4614-1168-0
所蔵情報: loading…
2.

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

電子ブック
ＥＢ
3. Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
edited by Eran Yahav
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6887
オンライン: http://dx.doi.org/10.1007/978-3-642-23702-7
所蔵情報: loading…
4.

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

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

電子ブック
ＥＢ
6. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
edited by Uli Fahrenberg, Stavros Tripakis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6919
オンライン: http://dx.doi.org/10.1007/978-3-642-24310-3
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Reachability Problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
edited by Giorgio Delzanno, Igor Potapov
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6945
オンライン: http://dx.doi.org/10.1007/978-3-642-24288-5
所蔵情報: loading…
9.

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

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

電子ブック
ＥＢ
11. The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6878
オンライン: http://dx.doi.org/10.1007/978-3-642-23211-4
所蔵情報: loading…
12.

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

電子ブック
ＥＢ
13. Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6953
オンライン: http://dx.doi.org/10.1007/978-3-642-24130-7
所蔵情報: loading…
14.

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

電子ブック
ＥＢ
15. Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
edited by Jurriaan Hage, Marco T. Morazán
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6647
オンライン: http://dx.doi.org/10.1007/978-3-642-24276-2
所蔵情報: loading…
16.

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

電子ブック
ＥＢ
17. Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
edited by Shengchao Qin, Zongyan Qiu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6991
オンライン: http://dx.doi.org/10.1007/978-3-642-24559-6
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
edited by Gul Agha, Olivier Danvy, José Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7000
オンライン: http://dx.doi.org/10.1007/978-3-642-24933-4
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
edited by Burkhart Wolff, Fatiha Zaïdi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 7019
オンライン: http://dx.doi.org/10.1007/978-3-642-24580-0
所蔵情報: loading…
20.

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

電子ブック
ＥＢ
21. Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
edited by Adenilso Simao, Carroll Morgan
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7021
オンライン: http://dx.doi.org/10.1007/978-3-642-25032-3
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Combinatorial Algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
edited by Costas S. Iliopoulos, William F. Smyth
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7056
オンライン: http://dx.doi.org/10.1007/978-3-642-25011-8
所蔵情報: loading…
23.

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

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

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

電子ブック
ＥＢ
26. Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
edited by Hongseok Yang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7078
オンライン: http://dx.doi.org/10.1007/978-3-642-25318-8
所蔵情報: loading…
27.

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

電子ブック
ＥＢ
28. Proofs and Algorithms : An Introduction to Logic and Computability
by Gilles Dowek
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-121-9
所蔵情報: loading…
29.

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

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

電子ブック
ＥＢ
31. e-Business and Telecommunications : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
edited by Mohammad S. Obaidat, Joaquim Filipe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 130
オンライン: http://dx.doi.org/10.1007/978-3-642-20077-9
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Quaternions for Computer Graphics
by John Vince
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-760-0
所蔵情報: loading…
33.

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

電子ブック
ＥＢ
34. Computational Logic and Set Theory : Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-808-9
所蔵情報: loading…
35.

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

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

電子ブック
ＥＢ
37. Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
edited by Radhia Cousot, Matthieu Martel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6337
オンライン: http://dx.doi.org/10.1007/978-3-642-15769-1
所蔵情報: loading…
38.

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

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

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

電子ブック
ＥＢ
41. Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
edited by Bernhard Beckert, Claude Marché
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6528
オンライン: http://dx.doi.org/10.1007/978-3-642-18070-5
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6501
オンライン: http://dx.doi.org/10.1007/978-3-642-18123-8
所蔵情報: loading…
43.

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

電子ブック
ＥＢ
44. Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6491
オンライン: http://dx.doi.org/10.1007/978-3-642-18023-1
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
edited by Ranjit Jhala, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6538
オンライン: http://dx.doi.org/10.1007/978-3-642-18275-4
所蔵情報: loading…
46.

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

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

電子ブック
ＥＢ
48. Implementation and Application of Automata : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
edited by Michael Domaratzki, Kai Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6482
オンライン: http://dx.doi.org/10.1007/978-3-642-18098-9
所蔵情報: loading…
49.

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

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

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

電子ブック
ＥＢ
52. Foundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 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 Martin Hofmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6604
オンライン: http://dx.doi.org/10.1007/978-3-642-19805-2
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Compiler Construction : 20th International Conference, CC 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 Jens Knoop
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6601
オンライン: http://dx.doi.org/10.1007/978-3-642-19861-8
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
edited by Jim Davies, Leila Silva, Adenilso Simao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6527
オンライン: http://dx.doi.org/10.1007/978-3-642-19829-8
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Theory and Practice of Algorithms in (Computer) Systems : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
edited by Alberto Marchetti-Spaccamela, Michael Segal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6595
オンライン: http://dx.doi.org/10.1007/978-3-642-19754-3
所蔵情報: loading…
56.

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

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

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

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

電子ブック
ＥＢ
60. Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
edited by Mitsunori Ogihara, Jun Tarui
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6648
オンライン: http://dx.doi.org/10.1007/978-3-642-20877-5
所蔵情報: loading…
61.

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

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

電子ブック
ＥＢ
63. Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
edited by Lev D. Beklemishev, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6642
オンライン: http://dx.doi.org/10.1007/978-3-642-20920-8
所蔵情報: loading…
64.

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

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

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

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

電子ブック
ＥＢ
68. Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
edited by Roberto Bruni, Juergen Dingel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6722
オンライン: http://dx.doi.org/10.1007/978-3-642-21461-5
所蔵情報: loading…
69.

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

電子ブック
ＥＢ
70. Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
edited by Marco Bernardo, Valérie Issarny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6659
オンライン: http://dx.doi.org/10.1007/978-3-642-21455-4
所蔵情報: loading…
71.

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

電子ブック
ＥＢ
72. Computer Science – Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
edited by Alexander Kulikov, Nikolay Vereshchagin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6651
オンライン: http://dx.doi.org/10.1007/978-3-642-20712-9
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6690
オンライン: http://dx.doi.org/10.1007/978-3-642-21691-6
所蔵情報: loading…
74.

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

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

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

電子ブック
ＥＢ
77. Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
edited by Luca Aceto, Monika Henzinger, Jiří Sgall
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6756
オンライン: http://dx.doi.org/10.1007/978-3-642-22012-8
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
edited by Michael Butler, Wolfram Schulte
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6664
オンライン: http://dx.doi.org/10.1007/978-3-642-21437-0
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
edited by Franz Winkler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6742
オンライン: http://dx.doi.org/10.1007/978-3-642-21493-6
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
edited by Jozef Kelemen, Alica Kelemenová
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6610
オンライン: http://dx.doi.org/10.1007/978-3-642-20000-7
所蔵情報: loading…
81.

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

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

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

電子ブック
ＥＢ
84. Theory and Practice of Model Transformations : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
edited by Jordi Cabot, Eelco Visser
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6707
オンライン: http://dx.doi.org/10.1007/978-3-642-21732-6
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
edited by Martin Gogolla, Burkhart Wolff
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6706
オンライン: http://dx.doi.org/10.1007/978-3-642-21768-5
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
edited by Lars M. Kristensen, Laure Petrucci
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6709
オンライン: http://dx.doi.org/10.1007/978-3-642-21834-7
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
edited by Sven Apel, Ethan Jackson
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6708
オンライン: http://dx.doi.org/10.1007/978-3-642-22045-6
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Objects, Models, Components, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
edited by Judith Bishop, Antonio Vallecillo
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6705
オンライン: http://dx.doi.org/10.1007/978-3-642-21952-8
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
edited by Alexander Romanovsky, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6652
オンライン: http://dx.doi.org/10.1007/978-3-642-21338-0
所蔵情報: loading…
90.

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

電子ブック
ＥＢ
91. Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
edited by Alex Groce, Madanlal Musuvathi
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6823
オンライン: http://dx.doi.org/10.1007/978-3-642-22306-8
所蔵情報: loading…
92.

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
100. Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6807
オンライン: http://dx.doi.org/10.1007/978-3-642-22256-6
所蔵情報: loading…