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. Enterprise and Organizational Modeling and Simulation : 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers
edited by Joseph Barjis, Tillal Eldabi, Ashish Gupta
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Business Information Processing ; 88
オンライン: http://dx.doi.org/10.1007/978-3-642-24175-8
所蔵情報: loading…
6.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
52. Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I
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 ; 6782
オンライン: http://dx.doi.org/10.1007/978-3-642-21928-3
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III
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 ; 6784
オンライン: http://dx.doi.org/10.1007/978-3-642-21931-3
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
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 ; 6786
オンライン: http://dx.doi.org/10.1007/978-3-642-21934-4
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV
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 ; 6785
オンライン: http://dx.doi.org/10.1007/978-3-642-21898-9
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing
edited by Lihui Wang, Amos H. C. Ng, Kalyanmoy Deb
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-652-8
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Safety and Risk Modeling and Its Applications
edited by Hoang Pham
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-470-8
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Direct and Large-Eddy Simulation VIII
edited by Hans Kuerten, Bernard Geurts, Vincenzo Armenio, Jochen Fröhlich
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: ERCOFTAC Series ; 15
オンライン: http://dx.doi.org/10.1007/978-94-007-2482-2
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Manufacturing Systems Modeling and Analysis
by Guy L. Curry, Richard M. Feldman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-16618-1
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems : Methods and Applications. 1
edited by Krishnan B. Chandran, H. S. Udaykumar, Joseph M. Reinhardt
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7350-4
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Identification of Dynamic Systems : An Introduction with Applications
by Rolf Isermann, Marco Münchhof
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-540-78879-9
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Simulation and Verification of Electronic and Biological Systems
edited by Peng Li, Luís Miguel Silveira, Peter Feldmann
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
オンライン: http://dx.doi.org/10.1007/978-94-007-0149-6
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Introduction to Discrete Event Simulation and Agent-based Modeling : Voting Systems, Health Care, Military, and Manufacturing
by Theodore T. Allen
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-139-4
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems
edited by Eckehard Schnieder, Geza Tarnai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-14261-1
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Nonsmooth Modeling and Simulation for Switched Circuits
by Vincent Acary, Olivier Bonnefon, Bernard Brogliato
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Lecture Notes in Electrical Engineering ; 69
オンライン: http://dx.doi.org/10.1007/978-90-481-9681-4
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Advanced Modeling and Optimization of Manufacturing Processes : International Research and Development
by R. Venkata Rao
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series in Advanced Manufacturing ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-015-1
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence
by W.H. Tang, Q.H. Wu
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Power Systems ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-052-6
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems : A Time/Space Separation Based Approach
by Han-Xiong Li, Chenkun Qi
出版情報: Dordrecht : Springer Netherlands, 2011
シリーズ名: Intelligent Systems, Control and Automation: Science and Engineering ; 50
オンライン: http://dx.doi.org/10.1007/978-94-007-0741-2
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Human Modelling in Assisted Transportation : Models, Tools and Risk Methods
edited by P. Carlo Cacciabue, Magnus Hjälmdahl, Andreas Luedtke, Costanza Riccioli
出版情報: Milano : Springer-Verlag Italia Srl, 2011
オンライン: http://dx.doi.org/10.1007/978-88-470-1821-1
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Modelling, Simulation and Software Concepts for Scientific-Technological Problems
edited by Ernst Stephan, Peter Wriggers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Applied and Computational Mechanics ; 57
オンライン: http://dx.doi.org/10.1007/978-3-642-20490-6
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Solid Modelling and CAD Systems : How to Survive a CAD System
by Ian Stroud, Hildegarde Nagy
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-259-9
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Supply Chain Simulation : A System Dynamics Approach for Improving Performance
by Francisco Campuzano, Josefa Mula
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-719-8
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Managing the Dynamics of New Product Development Processes : A New Product Lifecycle Management Paradigm
by Arie Karniel, Yoram Reich
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-570-5
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Computational Techniques for Structural Health Monitoring
by Srinivasan Gopalakrishnan, Massimo Ruzzene, Sathyanaraya Hanagud
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-284-1
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Finite Element Modeling for Materials Engineers Using MATLAB®
by Oluleke Oluwole
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-661-0
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. It's a Nonlinear World. 1
by Richard H. Enns
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-387-75340-9
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Interactive LISREL in Practice : Getting Started with a SIMPLIS Approach
by Armando Luis Vieira
出版情報: Berlin, Heidelberg : Armando Luis Vieira, 2011
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-3-642-18044-6
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Probability for Statistics and Machine Learning : Fundamentals and Advanced Topics. 1
by Anirban DasGupta
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Texts in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-9634-3
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Fundamentals of Scientific Computing
by Bertil Gustafsson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Computational Science and Engineering ; 8
オンライン: http://dx.doi.org/10.1007/978-3-642-19495-5
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. An Introduction to Modern Mathematical Computing : With Maple™
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-0122-3
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Mathematics of Complexity and Dynamical Systems
edited by Robert A. Meyers
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4614-1806-1
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Quality and Reliability of Large-Eddy Simulations II
edited by Maria Vittoria Salvetti, Bernard Geurts, Johan Meyers, Pierre Sagaut
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: ERCOFTAC Series ; 16
オンライン: http://dx.doi.org/10.1007/978-94-007-0231-8
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Computational Ocean Acoustics. 2
by Finn B. Jensen, William A. Kuperman, Michael B. Porter, Henrik Schmidt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Modern Acoustics and Signal Processing ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-8678-8
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Viability and Resilience of Complex Systems : Concepts, Methods and Case Studies from Ecology and Society
edited by Guillaume Deffuant, Nigel Gilbert
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Understanding Complex Systems ;
オンライン: http://dx.doi.org/10.1007/978-3-642-20423-4
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Engineering Psychology and Cognitive Ergonomics : 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
edited by Don Harris
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6781
オンライン: http://dx.doi.org/10.1007/978-3-642-21741-8
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
edited by Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6759
オンライン: http://dx.doi.org/10.1007/978-3-642-21843-9
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Artificial Immune Systems : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
edited by Pietro Liò, Giuseppe Nicosia, Thomas Stibor
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6825
オンライン: http://dx.doi.org/10.1007/978-3-642-22371-6
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Transactions on Aspect-Oriented Software Development VIII
edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6580
オンライン: http://dx.doi.org/10.1007/978-3-642-22031-9
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Smart Graphics : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings
edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6815
オンライン: http://dx.doi.org/10.1007/978-3-642-22571-0
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. A Hybrid Deliberative Layer for Robotic Agents : Fusing DL Reasoning with HTN Planning in Autonomous Robots
by Ronny Hartanto
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6798
オンライン: http://dx.doi.org/10.1007/978-3-642-22580-2
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings
edited by Reggie Kwan, Joseph Fong, Lam-for Kwok, Jeanne Lam
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6837
オンライン: http://dx.doi.org/10.1007/978-3-642-22763-9
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6822
オンライン: http://dx.doi.org/10.1007/978-3-642-22723-3
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Digital Human Modeling : Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings
edited by Vincent G. Duffy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6777
オンライン: http://dx.doi.org/10.1007/978-3-642-21799-9
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Mathematical Modeling of Biosensors : An Introduction for Chemists and Mathematicians
by Romas Baronas, Feliksas Ivanauskas, Juozas Kulys
出版情報: Dordrecht : Springer Netherlands, 2010
シリーズ名: Springer Series on Chemical Sensors and Biosensors, Methods and Applications ; 9
オンライン: http://dx.doi.org/10.1007/978-90-481-3243-0
所蔵情報: loading…
95.

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

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

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

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

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

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