Your search returned 3663 results.

Results
1461.	Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by Hung, Dang Van [editor.] Ogawa, Mizuhito [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8172Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1462.	Image from Amazon.com	Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp. by Bloem, Roderick [editor.] Lipp, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8292Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1463.	Image from Amazon.com	Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by Cordeiro, José [editor.] Virvou, Maria [editor.] Shishkov, Boris [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 170Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1464.	Image from Amazon.com	The Software Industry [electronic resource] : Economic Principles, Strategies, Perspectives / by Peter Buxmann, Heiner Diefenbach, Thomas Hess. by Buxmann, Peter [author.] Diefenbach, Heiner [author.] Hess, Thomas [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1465.	Image from Amazon.com	Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal. by Raynal, Michel [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1466.	Image from Amazon.com	Introduction to Cryptography with Maple [electronic resource] / by José Luis Gómez Pardo. by Gómez Pardo, José Luis [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1467.	Image from Amazon.com	Surface- and Groundwater Quality Changes in Periods of Water Scarcity [electronic resource] / by Miloš Gregor. by Gregor, Miloš [author.] SpringerLink (Online service) Series: Springer Theses, Recognizing Outstanding Ph.D. ResearchPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1468.	Image from Amazon.com	Industrial Deployment of System Engineering Methods [electronic resource] / edited by Alexander Romanovsky, Martyn Thomas. by Romanovsky, Alexander [editor.] Thomas, Martyn [editor.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1469.	Image from Amazon.com	Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by Reisig, Wolfgang [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1470.	Image from Amazon.com	Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu. by Yuan, Yuyu [editor.] Wu, Xu [editor.] Lu, Yueming [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 320Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1471.	Image from Amazon.com	Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério de [editor.] Giese, Holger [editor.] Müller, Hausi A [editor.] Shaw, Mary [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7475Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1472.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by Cirne, Walfredo [editor.] Desai, Narayan [editor.] Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7698Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1473.	Image from Amazon.com	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7542Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1474.	Image from Amazon.com	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7686Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1475.	Image from Amazon.com	Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] Saraiva, João [editor.] Visser, Joost [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7680Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1476.	Image from Amazon.com	Topics in Cryptology – CT-RSA 2013 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings / edited by Ed Dawson. by Dawson, Ed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7779Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1477.	Image from Amazon.com	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by Cámara, Javier [editor.] Lemos, Rogério de [editor.] Ghezzi, Carlo [editor.] Lopes, Antónia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7740Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1478.	Image from Amazon.com	Architecture of Computing Systems – ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by Kubátová, Hana [editor.] Hochberger, Christian [editor.] Daněk, Martin [editor.] Sick, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7767Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1479.	Image from Amazon.com	Passive and Active Measurement [electronic resource] : 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings / edited by Matthew Roughan, Rocky Chang. by Roughan, Matthew [editor.] Chang, Rocky [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7799Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1480.	Image from Amazon.com	Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Jürjens, Jan [editor.] Livshits, Benjamin [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7781Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)