Your search returned 3663 results.

Results
1361.	Image from Amazon.com	Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova. by Piessens, Frank [editor.] Caballero, Juan [editor.] Bielova, Nataliia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8978Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1362.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing [electronic resource] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai. by Cirne, Walfredo [editor.] Desai, Narayan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8828Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1363.	Image from Amazon.com	Architecture of Computing Systems – ARCS 2015 [electronic resource] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte. by Pinho, Luís Miguel Pinho [editor.] Karl, Wolfgang [editor.] Cohen, Albert [editor.] Brinkschulte, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9017Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1364.	Image from Amazon.com	Correct Software in Web Applications and Web Services [electronic resource] / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger. by Thalheim, Bernhard [editor.] Schewe, Klaus-Dieter [editor.] Prinz, Andreas [editor.] Buchberger, Bruno [editor.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaPublisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1365.	Image from Amazon.com	High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] Marques, Osni [editor.] Nakajima, Kengo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8969Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1366.	Image from Amazon.com	Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu. by Brodman, James [editor.] Tu, Peng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8967Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1367.	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 Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9058Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1368.	Image from Amazon.com	Design and Implementation of the MTX Operating System [electronic resource] / by K. C. Wang. by Wang, K. C [author.] SpringerLink (Online service) Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1369.	Image from Amazon.com	Countdown to a Moon Launch [electronic resource] : Preparing Apollo for Its Historic Journey / by Jonathan H. Ward. by Ward, Jonathan H [author.] SpringerLink (Online service) Series: Springer Praxis BooksPublisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1370.	Image from Amazon.com	Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki. by Proietti, Maurizio [editor.] Seki, Hirohisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8981Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1371.	Image from Amazon.com	Distributed Applications and Interoperable Systems [electronic resource] : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Alysson Bessani, Sara Bouchenak. by Bessani, Alysson [editor.] Bouchenak, Sara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9038Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1372.	Image from Amazon.com	Computer Science and Its Applications [electronic resource] : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / edited by Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel. by Amine, Abdelmalek [editor.] Bellatreche, Ladjel [editor.] Elberrichi, Zakaria [editor.] Neuhold, Erich J [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 456Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1373.	Image from Amazon.com	Finite Difference Methods,Theory and Applications [electronic resource] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Dimov, Ivan [editor.] Faragó, István [editor.] Vulkov, Lubin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9045Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1374.	Image from Amazon.com	Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Gorrieri, Roberto [author.] Versari, Cristian [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1375.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9207Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1376.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9206Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1377.	Image from Amazon.com	Parallel Computing Technologies [electronic resource] : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9251 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1378.	Image from Amazon.com	Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Chen, Yunji [editor.] Ienne, Paolo [editor.] Ji, Qing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9231 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1379.	Image from Amazon.com	Learning MATLAB [electronic resource] : A Problem Solving Approach / by Walter Gander. by Gander, Walter [author.] SpringerLink (Online service) Series: UNITEXT ; 95 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1380.	Image from Amazon.com	Euro-Par 2015: Parallel Processing Workshops [electronic resource] : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / edited by Sascha Hunold, Alexandru Costan, Domingo Giménez, Alexandru Iosup, Laura Ricci, María Engracia Gómez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander. by Hunold, Sascha [editor.] Costan, Alexandru [editor.] Giménez, Domingo [editor.] Iosup, Alexandru [editor.] Ricci, Laura [editor.] Gómez Requena, María Engracia [editor.] Scarano, Vittorio [editor.] Varbanescu, Ana Lucia [editor.] Scott, Stephen L [editor.] Lankes, Stefan [editor.] Weidendorfer, Josef [editor.] Alexander, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9523 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)