close
1.

電子ブック
ＥＢ
1. Software Engineering, Business Continuity, and Education : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 257
オンライン: http://dx.doi.org/10.1007/978-3-642-27207-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
edited by Leszek A. Maciaszek, Pericles Loucopoulos
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 230
オンライン: http://dx.doi.org/10.1007/978-3-642-23391-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Software Architecture : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
edited by Ivica Crnkovic, Volker Gruhn, Matthias Book
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6903
オンライン: http://dx.doi.org/10.1007/978-3-642-23798-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering Techniques : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 4980
オンライン: http://dx.doi.org/10.1007/978-3-642-22386-0
所蔵情報: loading…
5.

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

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

電子ブック
ＥＢ
7. 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…
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. Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
edited by Tevfik Bultan, Pao-Ann Hsiung
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6996
オンライン: http://dx.doi.org/10.1007/978-3-642-24372-1
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
edited by Danny Weyns, Marie-Pierre Gleizes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6788
オンライン: http://dx.doi.org/10.1007/978-3-642-22636-6
所蔵情報: loading…
12.

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

電子ブック
ＥＢ
13. Conceptual Modeling – ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6998
オンライン: http://dx.doi.org/10.1007/978-3-642-24606-7
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7041
オンライン: http://dx.doi.org/10.1007/978-3-642-24690-6
所蔵情報: loading…
15.

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

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

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

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

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

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

電子ブック
ＥＢ
21. Specification of Software Systems. 2nd Edition
by V.S. Alagar, K. Periyasamy
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Texts in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-277-3
所蔵情報: loading…
22.

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

電子ブック
ＥＢ
23. Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6100
オンライン: http://dx.doi.org/10.1007/978-3-642-16277-0
所蔵情報: loading…
24.

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

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

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

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

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

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

電子ブック
ＥＢ
30. Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6405
オンライン: http://dx.doi.org/10.1007/978-3-642-19237-1
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Software Language Engineering : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
edited by Brian Malloy, Steffen Staab, Mark Brand
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6563
オンライン: http://dx.doi.org/10.1007/978-3-642-19440-5
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6038
オンライン: http://dx.doi.org/10.1007/978-3-642-19208-1
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6504
オンライン: http://dx.doi.org/10.1007/978-3-642-19583-9
所蔵情報: loading…
34.

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

電子ブック
ＥＢ
35. Fundamental Approaches to Software Engineering : 14th International Conference, FASE 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 Dimitra Giannakopoulou, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6603
オンライン: http://dx.doi.org/10.1007/978-3-642-19811-3
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Programming Languages and Systems : 20th European Symposium on Programming, ESOP 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 Gilles Barthe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6602
オンライン: http://dx.doi.org/10.1007/978-3-642-19718-5
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 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 Parosh Aziz Abdulla, K. Rustan M. Leino
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6605
オンライン: http://dx.doi.org/10.1007/978-3-642-19835-9
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6617
オンライン: http://dx.doi.org/10.1007/978-3-642-20398-5
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6619
オンライン: http://dx.doi.org/10.1007/978-3-642-20715-0
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Models in Software Engineering : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
edited by Juergen Dingel, Arnor Solberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6627
オンライン: http://dx.doi.org/10.1007/978-3-642-21210-9
所蔵情報: loading…
42.

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

電子ブック
ＥＢ
43. Modelling Foundations and Applications : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6698
オンライン: http://dx.doi.org/10.1007/978-3-642-21470-7
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
edited by Frank Alexander Kraemer, Peter Herrmann
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6598
オンライン: http://dx.doi.org/10.1007/978-3-642-21652-7
所蔵情報: loading…
45.

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
54. Transactions on Aspect-Oriented Software Development VIII
edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6580
オンライン: http://dx.doi.org/10.1007/978-3-642-22031-9
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. ECOOP 2011 – Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
edited by Mira Mezini
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6813
オンライン: http://dx.doi.org/10.1007/978-3-642-22655-7
所蔵情報: loading…
56.

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

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

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

電子ブック
ＥＢ
59. CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Modelling Foundations and Applications : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6138
オンライン: http://dx.doi.org/10.1007/978-3-642-13595-8
所蔵情報: loading…
61.

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

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

電子ブック
ＥＢ
63. Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6092
オンライン: http://dx.doi.org/10.1007/978-3-642-13238-4
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Research into Practice – Reality and Gaps : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
edited by George T. Heineman, Jan Kofron, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6093
オンライン: http://dx.doi.org/10.1007/978-3-642-13821-8
所蔵情報: loading…
65.

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

電子ブック
ＥＢ
66. New Modeling Concepts for Today’s Software Processes : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6195
オンライン: http://dx.doi.org/10.1007/978-3-642-14347-2
所蔵情報: 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. 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…
69.

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

電子ブック
ＥＢ
70. Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
edited by Benoît Baudry, Eric Wohlstadter
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6144
オンライン: http://dx.doi.org/10.1007/978-3-642-14046-4
所蔵情報: loading…
71.

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

電子ブック
ＥＢ
72. ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
edited by Theo D’Hondt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6183
オンライン: http://dx.doi.org/10.1007/978-3-642-14107-2
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
edited by Paul Gastin, François Laroussinie
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6269
オンライン: http://dx.doi.org/10.1007/978-3-642-15375-4
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Software Architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
edited by Muhammad Ali Babar, Ian Gorton
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6285
オンライン: http://dx.doi.org/10.1007/978-3-642-15114-9
所蔵情報: loading…
75.

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

電子ブック
ＥＢ
76. Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
edited by Marko Eekelen, Olha Shkaravska
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6324
オンライン: http://dx.doi.org/10.1007/978-3-642-15331-0
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
edited by Richard Hull, Jan Mendling, Stefan Tai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6336
オンライン: http://dx.doi.org/10.1007/978-3-642-15618-2
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
edited by Stefan Kowalewski, Marco Roveri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6371
オンライン: http://dx.doi.org/10.1007/978-3-642-15898-8
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Transactions on Aspect-Oriented Software Development VII : A Common Case Study for Aspect-Oriented Modeling
edited by Shmuel Katz, Mira Mezini, Jörg Kienzle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6210
オンライン: http://dx.doi.org/10.1007/978-3-642-16086-8
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6342
オンライン: http://dx.doi.org/10.1007/978-3-642-15784-4
所蔵情報: loading…
81.

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

電子ブック
ＥＢ
82. Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
edited by Ahmed Bouajjani, Wei-Ngan Chin
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6252
オンライン: http://dx.doi.org/10.1007/978-3-642-15643-4
所蔵情報: loading…
83.

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

電子ブック
ＥＢ
84. Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
edited by María J. Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6373
オンライン: http://dx.doi.org/10.1007/978-3-642-16054-7
所蔵情報: loading…
85.

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

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

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

電子ブック
ＥＢ
88. Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6412
オンライン: http://dx.doi.org/10.1007/978-3-642-16373-9
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6416
オンライン: http://dx.doi.org/10.1007/978-3-642-16561-0
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6415
オンライン: http://dx.doi.org/10.1007/978-3-642-16558-0
所蔵情報: loading…
91.

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

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

電子ブック
ＥＢ
93. Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6286
オンライン: http://dx.doi.org/10.1007/978-3-642-17071-3
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Architecting Dependable Systems VII
edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6420
オンライン: http://dx.doi.org/10.1007/978-3-642-17245-8
所蔵情報: loading…
95.

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

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

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

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

電子ブック
ＥＢ
99. Service Research Challenges and Solutions for the Future Internet : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6500
オンライン: http://dx.doi.org/10.1007/978-3-642-17599-2
所蔵情報: loading…
100.

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