close
1.

電子ブック
ＥＢ
1. Foundations of Intelligent Systems : 12th International Symposium, ISMIS 2000 Charlotte, NC, USA, October 11–14, 2000 Proceedings
edited by Zbigniew W. Raś, Setsuo Ohsuga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 1932
オンライン: http://dx.doi.org/10.1007/3-540-39963-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Applied Cryptography and Network Security : 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings
edited by Jianying Zhou, Moti Yung
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6123
オンライン: http://dx.doi.org/10.1007/978-3-642-13708-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6081
オンライン: http://dx.doi.org/10.1007/978-3-642-13119-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Fun with Algorithms : 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
edited by Paolo Boldi, Luisa Gargano
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6099
オンライン: http://dx.doi.org/10.1007/978-3-642-13122-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6082
オンライン: http://dx.doi.org/10.1007/978-3-642-13136-3
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Advances in Cryptology – EUROCRYPT 2010 : 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings
edited by Henri Gilbert
出版情報: Berlin, Heidelberg : International Association for Cryptologic Research, 2010
シリーズ名: Lecture Notes in Computer Science ; 6110
オンライン: http://dx.doi.org/10.1007/978-3-642-13190-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Communications and Multimedia Security : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
edited by Bart Decker, Ingrid Schaumüller-Bichl
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6109
オンライン: http://dx.doi.org/10.1007/978-3-642-13241-4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Intelligent Tutoring Systems : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I
edited by Vincent Aleven, Judy Kay, Jack Mostow
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6094
オンライン: http://dx.doi.org/10.1007/978-3-642-13388-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Intelligent Tutoring Systems : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II
edited by Vincent Aleven, Judy Kay, Jack Mostow
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6095
オンライン: http://dx.doi.org/10.1007/978-3-642-13437-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Advances in Knowledge Discovery and Data Mining : 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part I
edited by Mohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6118
オンライン: http://dx.doi.org/10.1007/978-3-642-13657-3
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Advances in Knowledge Discovery and Data Mining : 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part II
edited by Mohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6119
オンライン: http://dx.doi.org/10.1007/978-3-642-13672-6
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Advances in Multidisciplinary Retrieval : First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010. Proceedings
edited by Hamish Cunningham, Allan Hanbury, Stefan Rüger
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6107
オンライン: http://dx.doi.org/10.1007/978-3-642-13084-7
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Advances in Neural Networks - ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
edited by Liqing Zhang, Bao-Liang Lu, James Kwok
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6063
オンライン: http://dx.doi.org/10.1007/978-3-642-13278-0
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Advances in Neural Networks - ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
edited by Liqing Zhang, Bao-Liang Lu, James Kwok
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6064
オンライン: http://dx.doi.org/10.1007/978-3-642-13318-3
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Towards Trustworthy Elections : New Directions in Electronic Voting
edited by David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida
出版情報: Berlin, Heidelberg : IAVOSS/Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6000
オンライン: http://dx.doi.org/10.1007/978-3-642-12980-3
所蔵情報: loading…
16.

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

電子ブック
ＥＢ
17. Post-Quantum Cryptography : Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
edited by Nicolas Sendrier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6061
オンライン: http://dx.doi.org/10.1007/978-3-642-12929-2
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Theory and Applications of Models of Computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6108
オンライン: http://dx.doi.org/10.1007/978-3-642-13562-0
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Future Multimedia Networking : Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
edited by Sherali Zeadally, Eduardo Cerqueira, Marília Curado, Mikołaj Leszczuk
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6157
オンライン: http://dx.doi.org/10.1007/978-3-642-13789-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Digital Mammography : 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings
edited by Joan Martí, Arnau Oliver, Jordi Freixenet, Robert Martí
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6136
オンライン: http://dx.doi.org/10.1007/978-3-642-13666-5
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Intelligence and Security Informatics : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings
edited by Hsinchun Chen, Michael Chau, Shu-hsing Li, Shalini Urs, Srinath Srinivasa, G. Alan Wang
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6122
オンライン: http://dx.doi.org/10.1007/978-3-642-13601-6
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. The Semantic Web: Research and Applications : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I
edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6088
オンライン: http://dx.doi.org/10.1007/978-3-642-13486-9
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
edited by Holger Giese
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6150
オンライン: http://dx.doi.org/10.1007/978-3-642-13556-9
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. The Semantic Web: Research and Applications : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II
edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6089
オンライン: http://dx.doi.org/10.1007/978-3-642-13489-0
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Structural Information and Communication Complexity : 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
edited by Boaz Patt-Shamir, Tınaz Ekim
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6058
オンライン: http://dx.doi.org/10.1007/978-3-642-13284-1
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Persuasive Technology : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings
edited by Thomas Ploug, Per Hasle, Harri Oinas-Kukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6137
オンライン: http://dx.doi.org/10.1007/978-3-642-13226-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by Dave Clarke, Gul Agha
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6116
オンライン: http://dx.doi.org/10.1007/978-3-642-13414-2
所蔵情報: loading…
28.

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

電子ブック
ＥＢ
29. Medical Biometrics : Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings
edited by David Zhang, Milan Sonka
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6165
オンライン: http://dx.doi.org/10.1007/978-3-642-13923-9
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Advances in Swarm Intelligence : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II
edited by Ying Tan, Yuhui Shi, Kay Chen Tan
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6146
オンライン: http://dx.doi.org/10.1007/978-3-642-13498-2
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Advances in Swarm Intelligence : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I
edited by Ying Tan, Yuhui Shi, Kay Chen Tan
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6145
オンライン: http://dx.doi.org/10.1007/978-3-642-13495-1
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Advances in Geometric Modeling and Processing : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
edited by Bernard Mourrain, Scott Schaefer, Guoliang Xu
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6130
オンライン: http://dx.doi.org/10.1007/978-3-642-13411-1
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Integer Programming and Combinatorial Optimization : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
edited by Friedrich Eisenbrand, F. Bruce Shepherd
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6080
オンライン: http://dx.doi.org/10.1007/978-3-642-13036-6
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
edited by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6039
オンライン: http://dx.doi.org/10.1007/978-3-642-13338-1
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Image Analysis and Recognition : 7th International Conference, ICIAR 2010, Póvoa de Varzin, Portugal, June 21-23, 2010, Proceedings, Part II
edited by Aurélio Campilho, Mohamed Kamel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6112
オンライン: http://dx.doi.org/10.1007/978-3-642-13775-4
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Algorithm Theory - SWAT 2010 : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
edited by Haim Kaplan
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6139
オンライン: http://dx.doi.org/10.1007/978-3-642-13731-0
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Languages and Compilers for Parallel Computing : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5898
オンライン: http://dx.doi.org/10.1007/978-3-642-13374-9
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Hybrid Artificial Intelligence Systems : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I
edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian
出版情報: Berlin, Heidelberg : Springer-Verlag Berliln Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6076
オンライン: http://dx.doi.org/10.1007/978-3-642-13769-3
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Hybrid Artificial Intelligence Systems : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II
edited by Emilio Corchado, Manuel Graña Romay, Alexandre Manhaes Savio
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6077
オンライン: http://dx.doi.org/10.1007/978-3-642-13803-4
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
edited by Farid Ablayev, Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6072
オンライン: http://dx.doi.org/10.1007/978-3-642-13182-0
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
edited by Andrea Lodi, Michela Milano, Paolo Toth
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6140
オンライン: http://dx.doi.org/10.1007/978-3-642-13520-0
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Image Analysis and Recognition : 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I
edited by Aurélio Campilho, Mohamed Kamel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6111
オンライン: http://dx.doi.org/10.1007/978-3-642-13772-3
所蔵情報: loading…
44.

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

電子ブック
ＥＢ
45. User Modeling, Adaptation, and Personalization : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings
edited by Paul Bra, Alfred Kobsa, David Chin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6075
オンライン: http://dx.doi.org/10.1007/978-3-642-13470-8
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Distributed Computing in Sensor Systems : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6131
オンライン: http://dx.doi.org/10.1007/978-3-642-13651-1
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Product-Focused Software Process Improvement : 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
edited by M. Ali Babar, Matias Vierimaa, Markku Oivo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6156
オンライン: http://dx.doi.org/10.1007/978-3-642-13792-1
所蔵情報: loading…
48.

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

電子ブック
ＥＢ
49. Requirements Engineering: Foundation for Software Quality : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
edited by Roel Wieringa, Anne Persson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6182
オンライン: http://dx.doi.org/10.1007/978-3-642-14192-8
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More : 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. Supinski
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6132
オンライン: http://dx.doi.org/10.1007/978-3-642-13217-9
所蔵情報: loading…
51.

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

電子ブック
ＥＢ
52. Aging Friendly Technology for Health and Independence : 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings
edited by Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6159
オンライン: http://dx.doi.org/10.1007/978-3-642-13778-5
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Euro-Par 2009 – Parallel Processing Workshops : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
edited by Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6043
オンライン: http://dx.doi.org/10.1007/978-3-642-14122-5
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Analytical and Stochastic Modeling Techniques and Applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
edited by Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6148
オンライン: http://dx.doi.org/10.1007/978-3-642-13568-2
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Multi-Agent-Based Simulation X : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
edited by Gennaro Tosto, H. Dyke Parunak
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5683
オンライン: http://dx.doi.org/10.1007/978-3-642-13553-8
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Networked Services and Applications - Engineering, Control and Management : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
edited by Finn Arve Aagesen, Svein Johan Knapskog
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6164
オンライン: http://dx.doi.org/10.1007/978-3-642-13971-0
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Agent and Multi-Agent Systems: Technologies and Applications : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II
edited by Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6071
オンライン: http://dx.doi.org/10.1007/978-3-642-13541-5
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. The Role of Digital Libraries in a Time of Global Change : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings
edited by Gobinda Chowdhury, Chris Koo, Jane Hunter
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6102
オンライン: http://dx.doi.org/10.1007/978-3-642-13654-2
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Artifical Intelligence and Soft Computing : 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II
edited by Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6114
オンライン: http://dx.doi.org/10.1007/978-3-642-13232-2
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Artificial Intelligence and Soft Computing : 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I
edited by Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6113
オンライン: http://dx.doi.org/10.1007/978-3-642-13208-7
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Learning and Intelligent Optimization : 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
edited by Christian Blum, Roberto Battiti
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6073
オンライン: http://dx.doi.org/10.1007/978-3-642-13800-3
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Natural Language Processing and Information Systems : 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings
edited by Christina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun Preece, Haijiang Li
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6177
オンライン: http://dx.doi.org/10.1007/978-3-642-13881-2
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Advances in Computer Science and Information Technology : AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
edited by Tai-hoon Kim, Hojjat Adeli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6059
オンライン: http://dx.doi.org/10.1007/978-3-642-13577-4
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Information, Security and Cryptology – ICISC 2009 : 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers
edited by Donghoon Lee, Seokhie Hong
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5984
オンライン: http://dx.doi.org/10.1007/978-3-642-14423-3
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Graphics Recognition. Achievements, Challenges, and Evolution : 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers
edited by Jean-Marc Ogier, Wenyin Liu, Josep Lladós
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6020
オンライン: http://dx.doi.org/10.1007/978-3-642-13728-0
所蔵情報: loading…
66.

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

電子ブック
ＥＢ
67. Agent and Multi-Agent Systems: Technologies and Applications : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I
edited by Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6070
オンライン: http://dx.doi.org/10.1007/978-3-642-13480-7
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Advanced Information Systems Engineering : 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
edited by Barbara Pernici
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6051
オンライン: http://dx.doi.org/10.1007/978-3-642-13094-6
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
edited by Claude Bolduc, Jules Desharnais, Béchir Ktari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6120
オンライン: http://dx.doi.org/10.1007/978-3-642-13321-3
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Combinatorial Pattern Matching : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings
edited by Amihood Amir, Laxmi Parida
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6129
オンライン: http://dx.doi.org/10.1007/978-3-642-13509-5
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Unconventional Computation : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6079
オンライン: http://dx.doi.org/10.1007/978-3-642-13523-1
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Rough Sets and Current Trends in Computing : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings
edited by Marcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6086
オンライン: http://dx.doi.org/10.1007/978-3-642-13529-3
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Smart Graphics : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings
edited by Robyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6133
オンライン: http://dx.doi.org/10.1007/978-3-642-13544-6
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6154
オンライン: http://dx.doi.org/10.1007/978-3-642-13678-8
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Image and Signal Processing : 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings
edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6134
オンライン: http://dx.doi.org/10.1007/978-3-642-13681-8
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Information Processing in Computer-Assisted Interventions : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
edited by Nassir Navab, Pierre Jannin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6135
オンライン: http://dx.doi.org/10.1007/978-3-642-13711-2
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Arithmetic of Finite Fields : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings
edited by M. Anwar Hasan, Tor Helleseth
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6087
オンライン: http://dx.doi.org/10.1007/978-3-642-13797-6
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Articulated Motion and Deformable Objects : 6th International Conference, AMDO 2010, Port d’Andratx, Mallorca, Spain, July 7-9, 2010. Proceedings
edited by Francisco J. Perales, Robert B. Fisher
出版情報: Berlin, Heidelberg : Springer-Verlg Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6169
オンライン: http://dx.doi.org/10.1007/978-3-642-14061-7
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
edited by Agostino Dovier, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6125
オンライン: http://dx.doi.org/10.1007/978-3-642-14309-0
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Algorithmic Aspects in Information and Management : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
edited by Bo Chen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6124
オンライン: http://dx.doi.org/10.1007/978-3-642-14355-7
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Scientific and Statistical Database Management : 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings
edited by Michael Gertz, Bertram Ludäscher
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6187
オンライン: http://dx.doi.org/10.1007/978-3-642-13818-8
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Fast Software Encryption : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
edited by Seokhie Hong, Tetsu Iwata
出版情報: Berlin, Heidelberg : International Association for Cryptologic Research, 2010
シリーズ名: Lecture Notes in Computer Science ; 6147
オンライン: http://dx.doi.org/10.1007/978-3-642-13858-4
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Artifical Evolution : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers
edited by Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5975
オンライン: http://dx.doi.org/10.1007/978-3-642-14156-0
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Transactions on Data Hiding and Multimedia Security V
edited by Yun Q. Shi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6010
オンライン: http://dx.doi.org/10.1007/978-3-642-14298-7
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6158
オンライン: http://dx.doi.org/10.1007/978-3-642-13962-8
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
edited by Burkhard Stiller, Filip Turck
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6155
オンライン: http://dx.doi.org/10.1007/978-3-642-13986-4
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Advances in Data Mining. Applications and Theoretical Aspects : 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings
edited by Petra Perner
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6171
オンライン: http://dx.doi.org/10.1007/978-3-642-14400-4
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Computing and Combinatorics : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings
edited by My T. Thai, Sartaj Sahni
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6196
オンライン: http://dx.doi.org/10.1007/978-3-642-14031-0
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Computers Helping People with Special Needs : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings
edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer
出版情報: Berlin, Heidelberg : Springer-Verlag Berliln Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6179
オンライン: http://dx.doi.org/10.1007/978-3-642-14097-6
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Computers Helping People with Special Needs : 12th International Conference, ICCHP 2010, Vienna, Austria, July14-16, 2010, Proceedings, Part II
edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6180
オンライン: http://dx.doi.org/10.1007/978-3-642-14100-3
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6167
オンライン: http://dx.doi.org/10.1007/978-3-642-14128-7
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Trust and Trustworthy Computing : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings
edited by Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6101
オンライン: http://dx.doi.org/10.1007/978-3-642-13869-0
所蔵情報: loading…
93.

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

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

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

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

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

電子ブック
ＥＢ
98. Computational Intelligence for Knowledge-Based Systems Design : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings
edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6178
オンライン: http://dx.doi.org/10.1007/978-3-642-14049-5
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Cryptographic Hardware and Embedded Systems, CHES 2010 : 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
edited by Stefan Mangard, François-Xavier Standaert
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6225
オンライン: http://dx.doi.org/10.1007/978-3-642-15031-9
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
edited by Erwin Schoitsch
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6351
オンライン: http://dx.doi.org/10.1007/978-3-642-15651-9
所蔵情報: loading…