close
1.

電子ブック
ＥＢ
1. Human-in-the-Loop Simulations : Methods and Practice
edited by Ling Rothrock, S. Narayanan
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-883-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Markov Decision Processes and the Belief-Desire-Intention Model : Bridging the Gap for Autonomous Agents
by Gerardo I. Simari, Simon D. Parsons
出版情報: New York, NY : The Author(s), 2011
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-1472-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Engineering Applications of Neural Networks : 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I
edited by Lazaros Iliadis, Chrisina Jayne
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 363
オンライン: http://dx.doi.org/10.1007/978-3-642-23957-1
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Evolutionary Game Design
by Cameron Browne
出版情報: London : Cameron Browne, 2011
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2179-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control
by Christian Kirches
出版情報: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
オンライン: http://dx.doi.org/10.1007/978-3-8348-8202-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Research and Education in Robotics - EUROBOT 2010 : International Conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, Revised Selected Papers
edited by David Obdržálek, Achim Gottscheber
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 156
オンライン: http://dx.doi.org/10.1007/978-3-642-27272-1
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Parallel Computing Technologies : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
edited by Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6873
オンライン: http://dx.doi.org/10.1007/978-3-642-23178-0
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Intelligent Virtual Agents : 10th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings
edited by Hannes Högni Vilhjálmsson, Stefan Kopp, Stacy Marsella, Kristinn R. Thórisson
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6895
オンライン: http://dx.doi.org/10.1007/978-3-642-23974-8
所蔵情報: loading…
10.

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

電子ブック
ＥＢ
11. Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions : International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings
edited by Anant Madabhushi, Jason Dowling, Henkjan Huisman, Dean Barratt
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6963
オンライン: http://dx.doi.org/10.1007/978-3-642-23944-1
所蔵情報: loading…
12.

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

電子ブック
ＥＢ
13. KI 2011: Advances in Artificial Intelligence : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
edited by Joscha Bach, Stefan Edelkamp
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7006
オンライン: http://dx.doi.org/10.1007/978-3-642-24455-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Algorithmic Game Theory : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings
edited by Giuseppe Persiano
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6982
オンライン: http://dx.doi.org/10.1007/978-3-642-24829-0
所蔵情報: loading…
15.

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

電子ブック
ＥＢ
16. Progress in Artificial Intelligence : 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011. Proceedings
edited by Luis Antunes, H. Sofia Pinto
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7026
オンライン: http://dx.doi.org/10.1007/978-3-642-24769-9
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Motion in Games : 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings
edited by Jan M. Allbeck, Petros Faloutsos
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7060
オンライン: http://dx.doi.org/10.1007/978-3-642-25090-3
所蔵情報: loading…
18.

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

電子ブック
ＥＢ
19. Neural Information Processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I
edited by Bao-Liang Lu, Liqing Zhang, James Kwok
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7062
オンライン: http://dx.doi.org/10.1007/978-3-642-24955-6
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Neural Information Processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part II
edited by Bao-Liang Lu, Liqing Zhang, James Kwok
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7063
オンライン: http://dx.doi.org/10.1007/978-3-642-24958-7
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Neural Information Processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part III
edited by Bao-Liang Lu, Liqing Zhang, James Kwok
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7064
オンライン: http://dx.doi.org/10.1007/978-3-642-24965-5
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Handbook of Mobile Ad Hoc Networks for Mobility Models. 1
by Radhika Ranjan Roy
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6050-4
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Triadic Game Design : Balancing Reality, Meaning and Play
by Casper Harteveld
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-157-8
所蔵情報: loading…
24.

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

電子ブック
ＥＢ
25. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 344
オンライン: http://dx.doi.org/10.1007/978-3-642-18333-1
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 345
オンライン: http://dx.doi.org/10.1007/978-3-642-18336-2
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 347
オンライン: http://dx.doi.org/10.1007/978-3-642-18369-0
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Social Media Modeling and Computing
edited by Steven C.H. Hoi, Jiebo Luo, Susanne Boll, Dong Xu, Rong Jin, Irwin King
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-436-4
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Biomedical Engineering Systems and Technologies : Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
edited by Ana Fred, Joaquim Filipe, Hugo Gamboa
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 127
オンライン: http://dx.doi.org/10.1007/978-3-642-18472-7
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Model-Based Software Performance Analysis
by Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-13621-4
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics
by Gianni Campion
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series on Touch and Haptic Systems ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-576-7
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Research and Education in Robotics - EUROBOT 2011 : International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
edited by David Obdržálek, Achim Gottscheber
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 161
オンライン: http://dx.doi.org/10.1007/978-3-642-21975-7
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
edited by Denis Cavallucci, Roland Guio, Gaetano Cascini
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 355
オンライン: http://dx.doi.org/10.1007/978-3-642-22182-8
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Advanced Research on Computer Education, Simulation and Modeling : International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
edited by Song Lin, Xiong Huang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 176
オンライン: http://dx.doi.org/10.1007/978-3-642-21802-6
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Advanced Research on Computer Education, Simulation and Modeling : International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
edited by Song Lin, Xiong Huang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 175
オンライン: http://dx.doi.org/10.1007/978-3-642-21783-8
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Haptic Interaction with Deformable Objects : Modelling VR Systems for Textiles
by Guido Böttcher
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series on Touch and Haptic Systems ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-935-2
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
edited by Radhia Cousot, Matthieu Martel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6337
オンライン: http://dx.doi.org/10.1007/978-3-642-15769-1
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6100
オンライン: http://dx.doi.org/10.1007/978-3-642-16277-0
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
edited by René Leuken, Gilles Sicard
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6448
オンライン: http://dx.doi.org/10.1007/978-3-642-17752-1
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6501
オンライン: http://dx.doi.org/10.1007/978-3-642-18123-8
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Agents for Games and Simulations II : Trends in Techniques, Concepts and Design
edited by Frank Dignum
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6525
オンライン: http://dx.doi.org/10.1007/978-3-642-18181-8
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6532
オンライン: http://dx.doi.org/10.1007/978-3-642-18345-4
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Computing with Instinct : Rediscovering Artificial Intelligence
edited by Yang Cai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5897
オンライン: http://dx.doi.org/10.1007/978-3-642-19757-4
所蔵情報: loading…
44.

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

電子ブック
ＥＢ
45. Theory and Practice of Algorithms in (Computer) Systems : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
edited by Alberto Marchetti-Spaccamela, Michael Segal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6595
オンライン: http://dx.doi.org/10.1007/978-3-642-19754-3
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Transactions on Computational Systems Biology XIII
edited by Corrado Priami, Ralph-Johan Back, Ion Petre, Erik Vink
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6575
オンライン: http://dx.doi.org/10.1007/978-3-642-19748-2
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Models in Software Engineering : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
edited by Juergen Dingel, Arnor Solberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6627
オンライン: http://dx.doi.org/10.1007/978-3-642-21210-9
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Functional Imaging and Modeling of the Heart : 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings
edited by Dimitris N. Metaxas, Leon Axel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6666
オンライン: http://dx.doi.org/10.1007/978-3-642-21028-0
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
edited by Harrie Swart
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6663
オンライン: http://dx.doi.org/10.1007/978-3-642-21070-9
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II
edited by Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6783
オンライン: http://dx.doi.org/10.1007/978-3-642-21887-3
所蔵情報: loading…