Results
|
521.
|
|
Image from Amazon.com
|
|
|
522.
|
|
Image from Amazon.com
|
Provenance and Annotation of Data and Processes [electronic resource] : Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers / edited by Juliana Freire, David Koop, Luc Moreau. by Series: Lecture Notes in Computer Science ; 5272Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
523.
|
|
Image from Amazon.com
|
Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever. by Series: Lecture Notes in Computer Science ; 5382Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
524.
|
|
Image from Amazon.com
|
Computer Supported Cooperative Work in Design IV [electronic resource] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers / edited by Weiming Shen, Jianming Yong, Yun Yang, Jean-Paul A. Barthès, Junzhou Luo. by Series: Lecture Notes in Computer Science ; 5236Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
525.
|
|
Image from Amazon.com
|
|
|
526.
|
|
Image from Amazon.com
|
|
|
527.
|
|
Image from Amazon.com
|
|
|
528.
|
|
Image from Amazon.com
|
|
|
529.
|
|
Image from Amazon.com
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck. by Series: Lecture Notes in Computer Science ; 9519
Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer eBooks
Availability: No items available.
|
|
530.
|
|
Image from Amazon.com
|
|
|
531.
|
|
Image from Amazon.com
|
|
|
532.
|
|
Image from Amazon.com
|
|
|
533.
|
|
Image from Amazon.com
|
|
|
534.
|
|
Image from Amazon.com
|
|
|
535.
|
|
Image from Amazon.com
|
|
|
536.
|
|
Image from Amazon.com
|
In Memory Data Management and Analysis [electronic resource] : First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers / edited by Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo. by Series: Lecture Notes in Computer Science ; 8921Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer eBooks
Availability: No items available.
|
|
537.
|
|
Image from Amazon.com
|
|
|
538.
|
|
Image from Amazon.com
|
|
|
539.
|
|
Image from Amazon.com
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Lecture Notes in Computer Science ; 9058Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer eBooks
Availability: No items available.
|
|
540.
|
|
Image from Amazon.com
|
|