Your search returned 2153 results.

Results
1101.	Image from Amazon.com	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7857Publisher: 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)
1102.	Image from Amazon.com	Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Carlini, Maurizio [editor.] Torre, Carmelo M [editor.] Nguyen, Hong-Quang [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7971Publisher: 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)
1103.	Image from Amazon.com	Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by Aanestad, Margunn [editor.] Bratteteig, Tone [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 156Publisher: 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)
1104.	Image from Amazon.com	Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Jörg P. Müller, Massimo Cossentino. by Müller, Jörg P [editor.] Cossentino, Massimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7852Publisher: 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)
1105.	Image from Amazon.com	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by Lourenço, João M [editor.] Farchi, Eitan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8063Publisher: 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)
1106.	Image from Amazon.com	Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7979Publisher: 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)
1107.	Image from Amazon.com	Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings / edited by Vladimír Mařík, Jose L. Martinez Lastra, Petr Skobelev. by Mařík, Vladimír [editor.] Lastra, Jose L. Martinez [editor.] Skobelev, Petr [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8062Publisher: 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)
1108.	Image from Amazon.com	Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by Daniel, Florian [editor.] Papadopoulos, George A [editor.] Thiran, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8093Publisher: 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)
1109.	Image from Amazon.com	Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis. by Emmanouilidis, Christos [editor.] Taisch, Marco [editor.] Kiritsis, Dimitris [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 397Publisher: 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)
1110.	Image from Amazon.com	Electronic Government [electronic resource] : 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings / edited by Maria A. Wimmer, Marijn Janssen, Hans J. Scholl. by Wimmer, Maria A [editor.] Janssen, Marijn [editor.] Scholl, Hans J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8074Publisher: 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)
1111.	Image from Amazon.com	Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis. by Emmanouilidis, Christos [editor.] Taisch, Marco [editor.] Kiritsis, Dimitris [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 398Publisher: 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)
1112.	Image from Amazon.com	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] Marsden, Gary [editor.] Lindgaard, Gitte [editor.] Wesson, Janet [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8119Publisher: 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)
1113.	Image from Amazon.com	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] Marsden, Gary [editor.] Lindgaard, Gitte [editor.] Wesson, Janet [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8118Publisher: 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)
1114.	Image from Amazon.com	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] Marsden, Gary [editor.] Lindgaard, Gitte [editor.] Wesson, Janet [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8117Publisher: 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)
1115.	Image from Amazon.com	Collaborative Systems for Reindustrialization [electronic resource] : 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 – October 2, 2013, Proceedings / edited by Luis M. Camarinha-Matos, Raimar J. Scherer. by Camarinha-Matos, Luis M [editor.] Scherer, Raimar J [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 408Publisher: 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)
1116.	Image from Amazon.com	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8148Publisher: 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)
1117.	Image from Amazon.com	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] Torre, Leon van der [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8143Publisher: 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)
1118.	Image from Amazon.com	Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel. by Lau, Kung-Kiu [editor.] Lamersdorf, Winfried [editor.] Pimentel, Ernesto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8135Publisher: 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)
1119.	Image from Amazon.com	Enterprise Information Systems [electronic resource] : 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers / edited by José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe. by Cordeiro, José [editor.] Maciaszek, Leszek A [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 141Publisher: 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)
1120.	Image from Amazon.com	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Gupta, Ashutosh [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8130Publisher: 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)