Results
|
|
2761.
|
|
Image from Amazon.com
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7610Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2762.
|
|
Image from Amazon.com
|
|
|
|
2763.
|
|
Image from Amazon.com
|
|
|
|
2764.
|
|
Image from Amazon.com
|
|
|
|
2765.
|
|
Image from Amazon.com
|
|
|
|
2766.
|
|
Image from Amazon.com
|
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu. by Series: Lecture Notes in Computer Science ; 7636Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2767.
|
|
Image from Amazon.com
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Series: Lecture Notes in Computer Science ; 7628Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2768.
|
|
Image from Amazon.com
|
|
|
|
2769.
|
|
Image from Amazon.com
|
System Simulation and Scientific Computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. by Series: Communications in Computer and Information Science ; 326Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2770.
|
|
Image from Amazon.com
|
|
|
|
2771.
|
|
Image from Amazon.com
|
|
|
|
2772.
|
|
Image from Amazon.com
|
|
|
|
2773.
|
|
Image from Amazon.com
|
System Simulation and Scientific Computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. by Series: Communications in Computer and Information Science ; 327Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2774.
|
|
Image from Amazon.com
|
Contemporary Research on E-business Technology and Strategy [electronic resource] : International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012, Revised Selected Papers / edited by Vasil Khachidze, Tim Wang, Sohail Siddiqui, Vincent Liu, Sergio Cappuccio, Alicia Lim. by Series: Communications in Computer and Information Science ; 332Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2775.
|
|
Image from Amazon.com
|
|
|
|
2776.
|
|
Image from Amazon.com
|
|
|
|
2777.
|
|
Image from Amazon.com
|
Advances in Multimedia Information Processing – PCM 2012 [electronic resource] : 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings / edited by Weisi Lin, Dong Xu, Anthony Ho, Jianxin Wu, Ying He, Jianfei Cai, Mohan Kankanhalli, Ming-Ting Sun. by Series: Lecture Notes in Computer Science ; 7674Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2778.
|
|
Image from Amazon.com
|
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss. by Series: Lecture Notes in Computer Science ; 7541Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2779.
|
|
Image from Amazon.com
|
Internet and Distributed Computing Systems [electronic resource] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / edited by Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang. by Series: Lecture Notes in Computer Science ; 7646Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
|
2780.
|
|
Image from Amazon.com
|
Ambient Intelligence [electronic resource] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings / edited by Fabio Paternò, Boris de Ruyter, Panos Markopoulos, Carmen Santoro, Evert van Loenen, Kris Luyten. by Series: Lecture Notes in Computer Science ; 7683Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
