close
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
29. Data Management in Grid and Peer-to-Peer Systmes : Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings
edited by Abdelkader Hameurlain, Franck Morvan, A Min Tjoa
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6265
オンライン: http://dx.doi.org/10.1007/978-3-642-15108-8
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Transactions on Computational Collective Intelligence I
edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6220
オンライン: http://dx.doi.org/10.1007/978-3-642-15034-0
所蔵情報: loading…
31.

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

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

電子ブック
ＥＢ
33. Incentives, Overlays, and Economic Traffic Control : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
edited by Burkhard Stiller, Tobias Hoßfeld, George D. Stamoulis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6236
オンライン: http://dx.doi.org/10.1007/978-3-642-15485-0
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Evolvable Systems: From Biology to Hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6274
オンライン: http://dx.doi.org/10.1007/978-3-642-15323-5
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Recent Advances in the Message Passing Interface : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings
edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6305
オンライン: http://dx.doi.org/10.1007/978-3-642-15646-5
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
edited by Krishnendu Chatterjee, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6246
オンライン: http://dx.doi.org/10.1007/978-3-642-15297-9
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Software Product Lines: Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
edited by Jan Bosch, Jaejoon Lee
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6287
オンライン: http://dx.doi.org/10.1007/978-3-642-15579-6
所蔵情報: loading…
38.

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

電子ブック
ＥＢ
39. Multiple Access Communications : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings
edited by Alexey Vinel, Boris Bellalta, Claudio Sacchi, Andrey Lyakhov, Miklós Telek, Miquel Oliver
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6235
オンライン: http://dx.doi.org/10.1007/978-3-642-15428-7
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
edited by Jürgen Dix, Cees Witteveen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6251
オンライン: http://dx.doi.org/10.1007/978-3-642-16178-0
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Intelligent Virtual Agents : 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings
edited by Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6356
オンライン: http://dx.doi.org/10.1007/978-3-642-15892-6
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Network and Parallel Computing : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
edited by Chen Ding, Zhiyuan Shao, Ran Zheng
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6289
オンライン: http://dx.doi.org/10.1007/978-3-642-15672-4
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
edited by Tomi Janhunen, Ilkka Niemelä
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6341
オンライン: http://dx.doi.org/10.1007/978-3-642-15675-5
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Advances in Multimedia Information Processing - PCM 2010 : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I
edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6297
オンライン: http://dx.doi.org/10.1007/978-3-642-15702-8
所蔵情報: loading…
45.

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

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

電子ブック
ＥＢ
47. Cooperative Design, Visualization, and Engineering : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings
edited by Yuhua Luo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6240
オンライン: http://dx.doi.org/10.1007/978-3-642-16066-0
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6084
オンライン: http://dx.doi.org/10.1007/978-3-642-15640-3
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Collaboration and Technology : 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings
edited by Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6257
オンライン: http://dx.doi.org/10.1007/978-3-642-15714-1
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Database and XML Technologies : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
edited by Mong Li Lee, Jeffrey Xu Yu, Zohra Bellahsène, Rainer Unland
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6309
オンライン: http://dx.doi.org/10.1007/978-3-642-15684-7
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Web Reasoning and Rule Systems : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
edited by Pascal Hitzler, Thomas Lukasiewicz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6333
オンライン: http://dx.doi.org/10.1007/978-3-642-15918-3
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
edited by Asit Dan, Frédéric Gittler, Farouk Toumani
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6275
オンライン: http://dx.doi.org/10.1007/978-3-642-16132-2
所蔵情報: loading…
53.

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

電子ブック
ＥＢ
54. Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6042
オンライン: http://dx.doi.org/10.1007/978-3-642-14287-1
所蔵情報: loading…
55.

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

電子ブック
ＥＢ
56. Objects and Databases : Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings
edited by Alan Dearle, Roberto V. Zicari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6348
オンライン: http://dx.doi.org/10.1007/978-3-642-16092-9
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
edited by Jaco Pol, Michael Weber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6349
オンライン: http://dx.doi.org/10.1007/978-3-642-16164-3
所蔵情報: loading…
58.

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

電子ブック
ＥＢ
59. Graph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6372
オンライン: http://dx.doi.org/10.1007/978-3-642-15928-2
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6394
オンライン: http://dx.doi.org/10.1007/978-3-642-16145-2
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
出版情報: Berlin, Heidelberg : Springer-Verlag, 2010
シリーズ名: Lecture Notes in Computer Science ; 6395
オンライン: http://dx.doi.org/10.1007/978-3-642-16129-2
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5919
オンライン: http://dx.doi.org/10.1007/978-3-642-14843-9
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
edited by Dominique Méry, Stephan Merz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6396
オンライン: http://dx.doi.org/10.1007/978-3-642-16265-7
所蔵情報: loading…
64.

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

電子ブック
ＥＢ
65. Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
edited by Peter Csaba Ölveczky
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6381
オンライン: http://dx.doi.org/10.1007/978-3-642-16310-4
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
edited by Christian G. Fermüller, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6397
オンライン: http://dx.doi.org/10.1007/978-3-642-16242-8
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6403
オンライン: http://dx.doi.org/10.1007/978-3-642-16289-3
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. On the Move to Meaningful Internet Systems, OTM 2010 : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II
edited by Robert Meersman, Tharam Dillon, Pilar Herrero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6427
オンライン: http://dx.doi.org/10.1007/978-3-642-16949-6
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
edited by Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6253
オンライン: http://dx.doi.org/10.1007/978-3-642-16505-4
所蔵情報: loading…
70.

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

電子ブック
ＥＢ
71. Web Information Systems and Mining : International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
edited by Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6318
オンライン: http://dx.doi.org/10.1007/978-3-642-16515-3
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Modelling Autonomic Communication Environments : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
edited by Rob Brennan, Joel Fleck, Sven Meer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6473
オンライン: http://dx.doi.org/10.1007/978-3-642-16836-9
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6320
オンライン: http://dx.doi.org/10.1007/978-3-642-16527-6
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Algorithms for Sensor Systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
edited by Christian Scheideler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6451
オンライン: http://dx.doi.org/10.1007/978-3-642-16988-5
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Advances in Conceptual Modeling – Applications and Challenges : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6413
オンライン: http://dx.doi.org/10.1007/978-3-642-16385-2
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6435
オンライン: http://dx.doi.org/10.1007/978-3-642-16573-3
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6319
オンライン: http://dx.doi.org/10.1007/978-3-642-16530-6
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Current Trends in Web Engineering : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
edited by Florian Daniel, Federico Michele Facca
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6385
オンライン: http://dx.doi.org/10.1007/978-3-642-16985-4
所蔵情報: loading…
79.

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

電子ブック
ＥＢ
80. The Smart Internet : Current Research and Future Applications
edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6400
オンライン: http://dx.doi.org/10.1007/978-3-642-16599-3
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Autonomic and Trusted Computing : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6407
オンライン: http://dx.doi.org/10.1007/978-3-642-16576-4
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
edited by Jürgen Dix, Michael Fisher, Peter Novák
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6214
オンライン: http://dx.doi.org/10.1007/978-3-642-16867-3
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Ambient Intelligence : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6439
オンライン: http://dx.doi.org/10.1007/978-3-642-16917-5
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday
edited by Simon Siegler, Nathan Wasser
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6463
オンライン: http://dx.doi.org/10.1007/978-3-642-17172-7
所蔵情報: loading…
85.

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

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

電子ブック
ＥＢ
87. On the Move to Meaningful Internet Systems: OTM 2010 : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
edited by Robert Meersman, Tharam Dillon, Pilar Herrero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6426
オンライン: http://dx.doi.org/10.1007/978-3-642-16934-2
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. On the Move to Meaningful Internet Systems: OTM 2010 Workshops : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings
edited by Robert Meersman, Tharam Dillon, Pilar Herrero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6428
オンライン: http://dx.doi.org/10.1007/978-3-642-16961-8
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
edited by Shengchao Qin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6445
オンライン: http://dx.doi.org/10.1007/978-3-642-16690-7
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5765
オンライン: http://dx.doi.org/10.1007/978-3-642-17322-6
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Transactions on Computational Collective Intelligence II
edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6450
オンライン: http://dx.doi.org/10.1007/978-3-642-17155-0
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
edited by Jin Song Dong, Huibiao Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6447
オンライン: http://dx.doi.org/10.1007/978-3-642-16901-4
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Simulation, Modeling, and Programming for Autonomous Robots : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
edited by Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6472
オンライン: http://dx.doi.org/10.1007/978-3-642-17319-6
所蔵情報: loading…
94.

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

電子ブック
ＥＢ
95. Knowledge Engineering and Management by the Masses : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
edited by Philipp Cimiano, H. Sofia Pinto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6317
オンライン: http://dx.doi.org/10.1007/978-3-642-16438-5
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Human-Centred Software Engineering : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir
出版情報: Berlin, Heidelberg : IFIP International Federation of Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6409
オンライン: http://dx.doi.org/10.1007/978-3-642-16488-0
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Smart Sensing and Context : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings
edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6446
オンライン: http://dx.doi.org/10.1007/978-3-642-16982-3
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. From Active Data Management to Event-Based Systems and More : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
edited by Kai Sachs, Ilia Petrov, Pablo Guerrero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6462
オンライン: http://dx.doi.org/10.1007/978-3-642-17226-7
所蔵情報: loading…
99.

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

電子ブック
ＥＢ
100. Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6418
オンライン: http://dx.doi.org/10.1007/978-3-642-16612-9
所蔵情報: loading…