close
1.

電子ブック
ＥＢ
1. Software Reliability Assessment with OR Applications
by P.K. Kapur, Hoang Pham, A. Gupta, P.C. Jha
出版情報: London : Springer London : Imprint: Springer, 2011
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-204-9
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction
2. Software Reliability Growth Models
3. Imperfect Debugging Testing Efficiency Software Reliability Growth Models
4. Testing-Coverage and Testing-Domain Models
5. Change Point Models
6
Unification of SRGM
7. Artificial Neural Networks Based SRGM
8. SRGM Using SDE
9. Discrete SRGM
10. Software Release Time Decision Problems Introduction
11. Allocation Problems at Unit Level Testing
12. Fault Tolerant Systems
1. Introduction
2. Software Reliability Growth Models
3. Imperfect Debugging Testing Efficiency Software Reliability Growth Models
2.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
19. Business Process Model and Notation : Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings
edited by Remco Dijkman, Jörg Hofstetter, Jana Koehler
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Business Information Processing ; 95
オンライン: http://dx.doi.org/10.1007/978-3-642-25160-3
所蔵情報: loading…
20.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
99. Business Process Modeling Notation : Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings
edited by Jan Mendling, Matthias Weidlich, Mathias Weske
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Business Information Processing ; 67
オンライン: http://dx.doi.org/10.1007/978-3-642-16298-5
所蔵情報: loading…
100.

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