close
1.

電子ブック
ＥＢ
1. Ontology-based Application Integration
by Heiko Paulheim
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4614-1430-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Software Architecture : A Comprehensive Framework and Guide for Practitioners
by Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-19736-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Mobile Networks and Management : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers
edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 68
オンライン: http://dx.doi.org/10.1007/978-3-642-21444-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Convergence and Hybrid Information Technology : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings
edited by Geuk Lee, Daniel Howard, Dominik Ślęzak
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 206
オンライン: http://dx.doi.org/10.1007/978-3-642-24106-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings
edited by Markus Nüttgens, Andreas Gadatsch, Karlheinz Kautz, Ingrid Schirmer, Nadine Blinn
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 366
オンライン: http://dx.doi.org/10.1007/978-3-642-24148-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Advanced Computer Science and Information Technology : Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 195
オンライン: http://dx.doi.org/10.1007/978-3-642-24267-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Emerging Research in Web Information Systems and Mining : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
edited by Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 238
オンライン: http://dx.doi.org/10.1007/978-3-642-24273-1
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. ENTERprise Information Systems : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III
edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 221
オンライン: http://dx.doi.org/10.1007/978-3-642-24352-3
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. ENTERprise Information Systems : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II
edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 220
オンライン: http://dx.doi.org/10.1007/978-3-642-24355-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. ENTERprise Information Systems : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I
edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 219
オンライン: http://dx.doi.org/10.1007/978-3-642-24358-5
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. New Studies in Global IT and Business Service Outsourcing : 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers
edited by Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Business Information Processing ; 91
オンライン: http://dx.doi.org/10.1007/978-3-642-24815-3
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. S-BPM ONE - Learning by Doing - Doing by Learning : Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
edited by Werner Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 213
オンライン: http://dx.doi.org/10.1007/978-3-642-23471-2
所蔵情報: loading…
13.

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

電子ブック
ＥＢ
14. Advances in Parallel Distributed Computing : First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011. Proceedings
edited by Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 203
オンライン: http://dx.doi.org/10.1007/978-3-642-24037-9
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Sensor Systems and Software : Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
edited by Gerard Par, Philip Morrow
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 57
オンライン: http://dx.doi.org/10.1007/978-3-642-23583-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Security-Enriched Urban Computing and Smart Grid : Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
edited by Ruay-Shiung Chang, Tai-hoon Kim, Sheng-Lung Peng
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 223
オンライン: http://dx.doi.org/10.1007/978-3-642-23948-9
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Complex Networks : Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
edited by Luciano F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 116
オンライン: http://dx.doi.org/10.1007/978-3-642-25501-4
所蔵情報: loading…
18.

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

電子ブック
ＥＢ
19. Control and Automation, and Energy System Engineering : International Conferences, CA and CES3 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, Adrian Stoica, Byeong-Ho Kang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 256
オンライン: http://dx.doi.org/10.1007/978-3-642-26010-0
所蔵情報: loading…
20.

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

電子ブック
ＥＢ
21. Multimedia, Computer Graphics and Broadcasting : International Conference, MulGraB 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, Part II
edited by Tai-hoon Kim, Hojjat Adeli, William I. Grosky, Niki Pissinou, Timothy K. Shih, Edward J. Rothwell, Byeong-Ho Kang, Seung-Jung Shin
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 263
オンライン: http://dx.doi.org/10.1007/978-3-642-27186-1
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Grid and Distributed Computing : International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau, Byeong-Ho Kang, Javier García Villalba
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 261
オンライン: http://dx.doi.org/10.1007/978-3-642-27180-9
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Innovative Computing Technology : First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
edited by Pit Pichappan, Hojat Ahmadi, Ezendu Ariwa
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 241
オンライン: http://dx.doi.org/10.1007/978-3-642-27337-7
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Building the e-World Ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers
edited by Tomas Skersys, Rimantas Butleris, Lina Nemuraite, Reima Suomi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 353
オンライン: http://dx.doi.org/10.1007/978-3-642-27260-8
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Computer Information Systems – Analysis and Technologies : 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
edited by Nabendu Chaki, Agostino Cortesi
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 245
オンライン: http://dx.doi.org/10.1007/978-3-642-27245-5
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Computational Intelligence and Information Technology : First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
edited by Vinu V Das, Nessy Thankachan
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 250
オンライン: http://dx.doi.org/10.1007/978-3-642-25734-6
所蔵情報: loading…
27.

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

電子ブック
ＥＢ
28. Information Computing and Applications : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
edited by Chunfeng Liu, Jincai Chang, Aimin Yang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 243
オンライン: http://dx.doi.org/10.1007/978-3-642-27503-6
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Information Computing and Applications : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
edited by Chunfeng Liu, Jincai Chang, Aimin Yang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 244
オンライン: http://dx.doi.org/10.1007/978-3-642-27452-7
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
edited by Claudio Sacchi, Boris Bellalta, Alexey Vinel, Christian Schlegel, Fabrizio Granelli, Yan Zhang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6886
オンライン: http://dx.doi.org/10.1007/978-3-642-23795-9
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
edited by Martin Wirsing, Matthias Hölzl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6582
オンライン: http://dx.doi.org/10.1007/978-3-642-20401-2
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6894
オンライン: http://dx.doi.org/10.1007/978-3-642-24270-0
所蔵情報: loading…
33.

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

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

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

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

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

電子ブック
ＥＢ
38. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6951
オンライン: http://dx.doi.org/10.1007/978-3-642-24154-3
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Computational Logistics : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6971
オンライン: http://dx.doi.org/10.1007/978-3-642-24264-9
所蔵情報: loading…
40.

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

電子ブック
ＥＢ
41. Artificial Intelligence and Computational Intelligence : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7002
オンライン: http://dx.doi.org/10.1007/978-3-642-23881-9
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Artificial Intelligence and Computational Intelligence : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7003
オンライン: http://dx.doi.org/10.1007/978-3-642-23887-1
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Artificial Intelligence and Computational Intelligence : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7004
オンライン: http://dx.doi.org/10.1007/978-3-642-23896-3
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Web Information Systems and Mining : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
edited by Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6987
オンライン: http://dx.doi.org/10.1007/978-3-642-23971-7
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Web Information Systems and Mining : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
edited by Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6988
オンライン: http://dx.doi.org/10.1007/978-3-642-23982-3
所蔵情報: loading…
46.

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

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

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

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

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

電子ブック
ＥＢ
51. Web Information System Engineering – WISE 2011 : 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
edited by Athman Bouguettaya, Manfred Hauswirth, Ling Liu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6997
オンライン: http://dx.doi.org/10.1007/978-3-642-24434-6
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Collaboration and Technology : 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
edited by Adriana S. Vivacqua, Carl Gutwin, Marcos R. S. Borges
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6969
オンライン: http://dx.doi.org/10.1007/978-3-642-23801-7
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Model and Data Engineering : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
edited by Ladjel Bellatreche, Filipe Mota Pinto
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6918
オンライン: http://dx.doi.org/10.1007/978-3-642-24443-8
所蔵情報: loading…
54.

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

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

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

電子ブック
ＥＢ
57. Towards a Service-Based Internet. ServiceWave 2010 Workshops : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
edited by Michel Cezon, Yaron Wolfsthal
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6569
オンライン: http://dx.doi.org/10.1007/978-3-642-22760-8
所蔵情報: loading…
58.

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

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

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

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

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

電子ブック
ＥＢ
63. Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7017
オンライン: http://dx.doi.org/10.1007/978-3-642-24669-2
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7016
オンライン: http://dx.doi.org/10.1007/978-3-642-24650-0
所蔵情報: loading…
65.

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

電子ブック
ＥＢ
66. Advances in Conceptual Modeling. Recent Developments and New Directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
edited by Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6999
オンライン: http://dx.doi.org/10.1007/978-3-642-24574-9
所蔵情報: loading…
67.

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

電子ブック
ＥＢ
68. On the Move to Meaningful Internet Systems: OTM 2011 : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I
edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7044
オンライン: http://dx.doi.org/10.1007/978-3-642-25109-2
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. On the Move to Meaningful Internet Systems: OTM 2011 : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II
edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7045
オンライン: http://dx.doi.org/10.1007/978-3-642-25106-1
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. On the Move to Meaningful Internet Systems: OTM 2011 Workshops : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings
edited by Robert Meersman, Tharam Dillon, Pilar Herrero
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7046
オンライン: http://dx.doi.org/10.1007/978-3-642-25126-9
所蔵情報: loading…
71.

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

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

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

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

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

電子ブック
ＥＢ
76. Agents in Principle, Agents in Practice : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7047
オンライン: http://dx.doi.org/10.1007/978-3-642-25044-6
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Ambient Intelligence : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings
edited by David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben J. A. Kröse
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7040
オンライン: http://dx.doi.org/10.1007/978-3-642-25167-2
所蔵情報: loading…
78.

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

電子ブック
ＥＢ
79. Service-Oriented Computing : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings
edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7084
オンライン: http://dx.doi.org/10.1007/978-3-642-25535-9
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Internet and Network Economics : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
edited by Ning Chen, Edith Elkind, Elias Koutsoupias
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7090
オンライン: http://dx.doi.org/10.1007/978-3-642-25510-6
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Future Generation Information Technology : Third International Conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Dominik Slezak, Frode Eika Sandnes, Xiaofeng Song, Kyo-il Chung, Kirk P. Arnett
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7105
オンライン: http://dx.doi.org/10.1007/978-3-642-27142-7
所蔵情報: loading…
82.

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

電子ブック
ＥＢ
83. Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings
edited by Fabio Kon, Anne-Marie Kermarrec
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 7049
オンライン: http://dx.doi.org/10.1007/978-3-642-25821-3
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Information Computing and Applications : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
edited by Baoxiang Liu, Chunlai Chai
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7030
オンライン: http://dx.doi.org/10.1007/978-3-642-25255-6
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Principles of Distributed Systems : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
edited by Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7109
オンライン: http://dx.doi.org/10.1007/978-3-642-25873-2
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Smart Card Research and Advanced Applications : 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers
edited by Emmanuel Prouff
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 7079
オンライン: http://dx.doi.org/10.1007/978-3-642-27257-8
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges : IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
edited by Karin Anna Hummel, Helmut Hlavacs, Wilfried Gansterer
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6821
オンライン: http://dx.doi.org/10.1007/978-3-642-25575-5
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Handbook of Conceptual Modeling : Theory, Practice, and Research Challenges
edited by David W. Embley, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-15865-0
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Requirements Engineering
by Elizabeth Hull, Ken Jackson, Jeremy Dick
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-405-0
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. The Future of Software Engineering
edited by Sebastian Nanz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-15187-3
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. The Seductive Computer : Why IT Systems Always Fail
by Derek Partridge
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-498-2
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Advances in Systems Safety : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
edited by Chris Dale, Tom Anderson
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-133-2
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Grids, Clouds and Virtualization
edited by Massimo Cafaro, Giovanni Aloisio
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Computer Communications and Networks ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-049-6
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Power Electronics and Instrumentation Engineering : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 102
オンライン: http://dx.doi.org/10.1007/978-3-642-15739-4
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Information Computing and Applications : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 105
オンライン: http://dx.doi.org/10.1007/978-3-642-16336-4
所蔵情報: loading…
96.

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

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

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

電子ブック
ＥＢ
99. Introduction to Software Process Improvement
by Gerard O'Regan
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-172-1
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Advances in Computer Science and Information Technology : First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
edited by Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 131
オンライン: http://dx.doi.org/10.1007/978-3-642-17857-3
所蔵情報: loading…