close
1.

電子ブック
ＥＢ
1. Open Source Systems: Grounding Research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings
edited by Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 365
オンライン: http://dx.doi.org/10.1007/978-3-642-24418-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Genetic Programming Theory and Practice IX
edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-1770-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
edited by Olivier Temam, Pen-Chung Yew, Binyu Zang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6965
オンライン: http://dx.doi.org/10.1007/978-3-642-24151-2
所蔵情報: 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. Recent Advances in the Message Passing Interface : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6960
オンライン: http://dx.doi.org/10.1007/978-3-642-24449-0
所蔵情報: 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. Software Engineering for Resilient Systems : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
edited by Elena A. Troubitsyna
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6968
オンライン: http://dx.doi.org/10.1007/978-3-642-24124-6
所蔵情報: 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. 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…
12.

電子ブック
ＥＢ
12. Towards a Service-Based Internet : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings
edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6994
オンライン: http://dx.doi.org/10.1007/978-3-642-24755-2
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Multiagent System Technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
edited by Franziska Klügl, Sascha Ossowski
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6973
オンライン: http://dx.doi.org/10.1007/978-3-642-24603-6
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. 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…
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. Model Driven Engineering Languages and Systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
edited by Jon Whittle, Tony Clark, Thomas Kühne
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6981
オンライン: http://dx.doi.org/10.1007/978-3-642-24485-8
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Algorithmic Decision Theory : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings
edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6992
オンライン: http://dx.doi.org/10.1007/978-3-642-24873-3
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Network and Parallel Computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
edited by Erik Altman, Weisong Shi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6985
オンライン: http://dx.doi.org/10.1007/978-3-642-24403-2
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Distributed Computing : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings
edited by David Peleg
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6950
オンライン: http://dx.doi.org/10.1007/978-3-642-24100-0
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Rule - Based Modeling and Computing on the Semantic Web : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
edited by Frank Olken, Monica Palmirani, Davide Sottara
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7018
オンライン: http://dx.doi.org/10.1007/978-3-642-24908-2
所蔵情報: loading…
21.

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

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

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

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

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

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

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

電子ブック
ＥＢ
28. Swarm, Evolutionary, and Memetic Computing : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II
edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7077
オンライン: http://dx.doi.org/10.1007/978-3-642-27242-4
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Swarm, Evolutionary, and Memetic Computing : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part I
edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7076
オンライン: http://dx.doi.org/10.1007/978-3-642-27172-4
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Handbook of Open Source Tools. 1
by Sandeep Koranne
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7719-9
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Genetic Programming Theory and Practice VIII
edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ; 8
オンライン: http://dx.doi.org/10.1007/978-1-4419-7747-2
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Testbeds and Research Infrastructures. Development of Networks and Communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46
オンライン: http://dx.doi.org/10.1007/978-3-642-17851-1
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Object-Oriented Analysis and Design
edited by Sarnath Ramnath, Brahma Dathan
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-84996-522-4
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Explorations in Quantum Computing
by Colin P. Williams
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Texts in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-84628-887-6
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Guide to HTML, JavaScript and PHP : For Scientists and Engineers
by David R. Brooks
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-449-4
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Multiparadigm Constraint Programming Languages
by Petra Hofstedt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17330-1
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Systems, Software and Service Process Improvement : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
edited by Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 172
オンライン: http://dx.doi.org/10.1007/978-3-642-22206-1
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
edited by Ching-Hsien Hsu, Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6083
オンライン: http://dx.doi.org/10.1007/978-3-642-14822-4
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Software Technologies for Embedded and Ubiquitous Systems : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6399
オンライン: http://dx.doi.org/10.1007/978-3-642-16256-5
所蔵情報: loading…
41.

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

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

電子ブック
ＥＢ
43. Distributed Computing and Networking : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
edited by Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6522
オンライン: http://dx.doi.org/10.1007/978-3-642-17679-1
所蔵情報: loading…
44.

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

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

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

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

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

電子ブック
ＥＢ
49. Wireless Sensor Networks : 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings
edited by Pedro José Marrón, Kamin Whitehouse
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6567
オンライン: http://dx.doi.org/10.1007/978-3-642-19186-2
所蔵情報: loading…
50.

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

電子ブック
ＥＢ
51. Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6548
オンライン: http://dx.doi.org/10.1007/978-3-642-19595-2
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Search Computing : Trends and Developments
edited by Stefano Ceri, Marco Brambilla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6585
オンライン: http://dx.doi.org/10.1007/978-3-642-19668-3
所蔵情報: loading…
53.

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

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

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

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

電子ブック
ＥＢ
57. Reconfigurable Computing: Architectures, Tools and Applications : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
edited by Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek El-Ghazawi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6578
オンライン: http://dx.doi.org/10.1007/978-3-642-19475-7
所蔵情報: loading…
58.

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

電子ブック
ＥＢ
59. Transactions on Pattern Languages of Programming II : Special Issue on Applying Patterns
edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6510
オンライン: http://dx.doi.org/10.1007/978-3-642-19432-0
所蔵情報: loading…
60.

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

電子ブック
ＥＢ
61. Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6593
オンライン: http://dx.doi.org/10.1007/978-3-642-20282-7
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6594
オンライン: http://dx.doi.org/10.1007/978-3-642-20267-4
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
edited by Salvador Abreu, Dietmar Seipel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6547
オンライン: http://dx.doi.org/10.1007/978-3-642-20589-7
所蔵情報: loading…
64.

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

電子ブック
ＥＢ
65. Experimental Algorithms : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
edited by Panos M. Pardalos, Steffen Rebennack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6630
オンライン: http://dx.doi.org/10.1007/978-3-642-20662-7
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
edited by María Alpuente
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6564
オンライン: http://dx.doi.org/10.1007/978-3-642-20551-4
所蔵情報: loading…
67.

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

電子ブック
ＥＢ
68. Genetic Programming : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings
edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6621
オンライン: http://dx.doi.org/10.1007/978-3-642-20407-4
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Applications of Evolutionary Computation : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I
edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6624
オンライン: http://dx.doi.org/10.1007/978-3-642-20525-5
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Advances in Grid and Pervasive Computing : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
edited by Jukka Riekki, Mika Ylianttila, Minyi Guo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6646
オンライン: http://dx.doi.org/10.1007/978-3-642-20754-9
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Applications of Evolutionary Computation : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. Şima Uyar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6625
オンライン: http://dx.doi.org/10.1007/978-3-642-20520-0
所蔵情報: loading…
72.

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

電子ブック
ＥＢ
73. Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
edited by Wolfgang Meuter, Gruia-Catalin Roman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6721
オンライン: http://dx.doi.org/10.1007/978-3-642-21464-6
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. OpenMP in the Petascale Era : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings
edited by Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6665
オンライン: http://dx.doi.org/10.1007/978-3-642-21487-5
所蔵情報: loading…
75.

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

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

電子ブック
ＥＢ
77. Top Productivity through Software Reuse : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
edited by Klaus Schmid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6727
オンライン: http://dx.doi.org/10.1007/978-3-642-21347-2
所蔵情報: loading…
78.

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

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

電子ブック
ＥＢ
80. End-User Development : Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings
edited by Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6654
オンライン: http://dx.doi.org/10.1007/978-3-642-21530-8
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Managing the Dynamics of Networks and Services : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6734
オンライン: http://dx.doi.org/10.1007/978-3-642-21484-4
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Structures de données et méthodes formelles
by Marc Guyomard
出版情報: Paris : Springer Paris, 2011
シリーズ名: Collection Télécom ;
オンライン: http://dx.doi.org/10.1007/978-2-8178-0200-8
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. A Primer on Scientific Programming with Python. 2nd Edition
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-18366-9
所蔵情報: 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. 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…
91.

電子ブック
ＥＢ
91. Euro-Par 2010 Parallel Processing Workshops : HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers
edited by Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Martino, Michael Alexander
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6586
オンライン: http://dx.doi.org/10.1007/978-3-642-21878-1
所蔵情報: loading…
92.

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

電子ブック
ＥＢ
93. Rule-Based Reasoning, Programming, and Applications : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6826
オンライン: http://dx.doi.org/10.1007/978-3-642-22546-8
所蔵情報: loading…
94.

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

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

電子ブック
ＥＢ
96. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6852
オンライン: http://dx.doi.org/10.1007/978-3-642-23400-2
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6853
オンライン: http://dx.doi.org/10.1007/978-3-642-23397-5
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6822
オンライン: http://dx.doi.org/10.1007/978-3-642-22723-3
所蔵情報: loading…
99.

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

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