close
1.

電子ブック
ＥＢ
1. Cyber-Physical Systems : Driving force for innovation in mobility, health, energy and production
acatech - National Academy of Science and Engineering, 2011 ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
シリーズ名: acatech POSITION PAPER, December 2011 ;
オンライン: http://dx.doi.org/10.1007/978-3-642-29090-9
所蔵情報: loading…
目次情報: 続きを見る
Summary
Project
Caber-Physical Systems - Changing Economy and Society
Cyper-Physical Systems - Merging the Physical and Virtual Worlds
Future Potential of Caber-Physical Systems - 2025
Challenges for Germany arising from Cyber-Physical Systems
Theses on the Development of Cyber-Physical Systems in Germany
Recommendations for Action
Appendix
Literature
Summary
Project
Caber-Physical Systems - Changing Economy and Society
2.

電子ブック
ＥＢ
2. Information Systems Development : Business Systems and Services: Modeling and Development
edited by Jaroslav Pokorny, Vaclav Repa, Karel Richta, Wita Wojtkowski, Henry Linger, Chris Barry, Michael Lang
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9790-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Research and Development in Intelligent Systems XXVIII : Incorporating Applications and Innovations in Intelligent Systems XIX Proceedings of AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
edited by Max Bramer, Miltos Petridis, Lars Nolle
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4471-2318-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Principles of Compilers : A New Approach to Compilers Including the Algebraic Method
by Yunlin Su, Song Y. Yan
出版情報: Berlin, Heidelberg : Higher Education Press, Beijing and Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-20835-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Serious Games and Edutainment Applications
edited by Minhua Ma, Andreas Oikonomou, Lakhmi C. Jain
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4471-2161-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
by Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janičić, Cassio Pennachin
出版情報: Paris : Atlantis Press, 2011
シリーズ名: Atlantis Thinking Machines ; 1
オンライン: http://dx.doi.org/10.2991/978-94-91216-11-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Databases in Networked Information Systems : 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings
edited by Shinji Kikuchi, Aastha Madaan, Shelly Sachdeva, Subhash Bhalla
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7108
オンライン: http://dx.doi.org/10.1007/978-3-642-25731-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Enseigner l’informatique
by Werner Hartmann, Michael Näf, Raimond Reichert
出版情報: Paris : Springer Paris, 2011
シリーズ名: Collection IRIS ;
オンライン: http://dx.doi.org/10.1007/978-2-8178-0262-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
by Christian Herde
出版情報: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
オンライン: http://dx.doi.org/10.1007/978-3-8348-9949-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Advanced Research on Electronic Commerce, Web Application, and Communication : International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part II
edited by Gang Shen, Xiong Huang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 144
オンライン: http://dx.doi.org/10.1007/978-3-642-20370-1
所蔵情報: loading…