Results
|
901.
|
|
Image from Amazon.com
|
|
|
902.
|
|
Image from Amazon.com
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Series: Lecture Notes in Computer Science ; 7440Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
903.
|
|
Image from Amazon.com
|
|
|
904.
|
|
Image from Amazon.com
|
|
|
905.
|
|
Image from Amazon.com
|
|
|
906.
|
|
Image from Amazon.com
|
|
|
907.
|
|
Image from Amazon.com
|
|
|
908.
|
|
Image from Amazon.com
|
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz. by
- Meersman, Robert [editor.]
- Panetto, Hervé [editor.]
- Dillon, Tharam [editor.]
- Rinderle-Ma, Stefanie [editor.]
- Dadam, Peter [editor.]
- Zhou, Xiaofang [editor.]
- Pearson, Siani [editor.]
- Ferscha, Alois [editor.]
- Bergamaschi, Sonia [editor.]
- Cruz, Isabel F [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7565Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
909.
|
|
Image from Amazon.com
|
|
|
910.
|
|
Image from Amazon.com
|
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. by Series: Lecture Notes in Computer Science ; 7590Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
911.
|
|
Image from Amazon.com
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / edited by Frank Ortmeier, Peter Daniel. by Series: Lecture Notes in Computer Science ; 7613Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
912.
|
|
Image from Amazon.com
|
|
|
913.
|
|
Image from Amazon.com
|
|
|
914.
|
|
Image from Amazon.com
|
Advances in Conceptual Modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings / edited by Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong Li Lee. by Series: Lecture Notes in Computer Science ; 7518Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
915.
|
|
Image from Amazon.com
|
|
|
916.
|
|
Image from Amazon.com
|
|
|
917.
|
|
Image from Amazon.com
|
Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers / edited by Francisco Cipolla-Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller. by Series: Lecture Notes in Computer Science ; 7547Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
918.
|
|
Image from Amazon.com
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7609Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: No items available.
|
|
919.
|
|
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.
|
|
920.
|
|
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.
|