close
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
33. Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
edited by Rex Page, Zoltán Horváth, Viktória Zsók
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6546
オンライン: http://dx.doi.org/10.1007/978-3-642-22941-1
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
edited by Gwen Salaün, Bernhard Schätz
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6959
オンライン: http://dx.doi.org/10.1007/978-3-642-24431-5
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by John Hatcliff, Elena Zucca
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6117
オンライン: http://dx.doi.org/10.1007/978-3-642-13464-7
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
edited by Johan Lilius, Wojciech Penczek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6128
オンライン: http://dx.doi.org/10.1007/978-3-642-13675-7
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
edited by Jorge Real, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6106
オンライン: http://dx.doi.org/10.1007/978-3-642-13550-7
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
edited by Jan Vitek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6141
オンライン: http://dx.doi.org/10.1007/978-3-642-13953-6
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
edited by Gordon Fraser, Angelo Gargantini
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6143
オンライン: http://dx.doi.org/10.1007/978-3-642-13977-2
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
edited by Laurence Tratt, Martin Gogolla
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6142
オンライン: http://dx.doi.org/10.1007/978-3-642-13688-7
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
edited by Krishnendu Chatterjee, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6246
オンライン: http://dx.doi.org/10.1007/978-3-642-15297-9
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
edited by Jaco Pol, Michael Weber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6349
オンライン: http://dx.doi.org/10.1007/978-3-642-16164-3
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
edited by Dominique Méry, Stephan Merz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6396
オンライン: http://dx.doi.org/10.1007/978-3-642-16265-7
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
edited by Peter Csaba Ölveczky
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6381
オンライン: http://dx.doi.org/10.1007/978-3-642-16310-4
所蔵情報: loading…
46.

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

電子ブック
ＥＢ
47. Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6435
オンライン: http://dx.doi.org/10.1007/978-3-642-16573-3
所蔵情報: loading…
48.

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

電子ブック
ＥＢ
49. Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5765
オンライン: http://dx.doi.org/10.1007/978-3-642-17322-6
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6418
オンライン: http://dx.doi.org/10.1007/978-3-642-16612-9
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
edited by Kazunori Ueda
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6461
オンライン: http://dx.doi.org/10.1007/978-3-642-17164-2
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6299
オンライン: http://dx.doi.org/10.1007/978-3-642-17685-2
所蔵情報: loading…
53.

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

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

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

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

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

電子ブック
ＥＢ
58. Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6153
オンライン: http://dx.doi.org/10.1007/978-3-642-14335-9
所蔵情報: loading…
59.

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

電子ブック
ＥＢ
60. Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6300
オンライン: http://dx.doi.org/10.1007/978-3-642-15025-8
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6014
オンライン: http://dx.doi.org/10.1007/978-3-642-12032-9
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
edited by Matthias Blume, Naoki Kobayashi, German Vidal
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6009
オンライン: http://dx.doi.org/10.1007/978-3-642-12251-4
所蔵情報: loading…
63.

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

電子ブック
ＥＢ
64. Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5930
オンライン: http://dx.doi.org/10.1007/978-3-642-11512-7
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
edited by Matt Kaufmann, Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6172
オンライン: http://dx.doi.org/10.1007/978-3-642-14052-5
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
edited by Antonin Ku?era, Igor Potapov
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6227
オンライン: http://dx.doi.org/10.1007/978-3-642-15349-5
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Testing ? Practice and Research Techniques : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
edited by Leonardo Bottaci, Gordon Fraser
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6303
オンライン: http://dx.doi.org/10.1007/978-3-642-15585-7
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6245
オンライン: http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6217
オンライン: http://dx.doi.org/10.1007/978-3-642-15057-9
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
edited by Manuel Carro, Ricardo Pena
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5937
オンライン: http://dx.doi.org/10.1007/978-3-642-11503-5
所蔵情報: loading…