Your search returned 1359 results.

Results
641.	Image from Amazon.com	Human-Computer Interaction: Design and Evaluation [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9169Publisher: 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)
642.	Image from Amazon.com	Human-Computer Interaction: Interaction Technologies [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9170Publisher: 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)
643.	Image from Amazon.com	Human-Computer Interaction: Users and Contexts [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9171Publisher: 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)
644.	Image from Amazon.com	Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Taentzer, Gabriele [editor.] Bordeleau, Francis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9153Publisher: 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)
645.	Image from Amazon.com	Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] Kosmatov, Nikolai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9154Publisher: 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)
646.	Image from Amazon.com	Artificial General Intelligence [electronic resource] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Bieger, Jordi [editor.] Goertzel, Ben [editor.] Potapov, Alexey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9205Publisher: 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)
647.	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)
648.	Image from Amazon.com	Nordic Contributions in IS Research [electronic resource] : 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings / edited by Harri Oinas-Kukkonen, Netta Iivari, Kari Kuutti, Anssi Öörni, Mikko Rajanen. by Oinas-Kukkonen, Harri [editor.] Iivari, Netta [editor.] Kuutti, Kari [editor.] Öörni, Anssi [editor.] Rajanen, Mikko [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 223Publisher: 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)
649.	Image from Amazon.com	Enhanced Building Information Models [electronic resource] : Using IoT Services and Integration Patterns / by Umit Isikdag. by Isikdag, Umit [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
650.	Image from Amazon.com	Wired/Wireless Internet Communications [electronic resource] : 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers / edited by Mari Carmen Aguayo-Torres, Gerardo Gómez, Javier Poncela. by Aguayo-Torres, Mari Carmen [editor.] Gómez, Gerardo [editor.] Poncela, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9071 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)
651.	Image from Amazon.com	Intelligent Software Methodologies, Tools and Techniques [electronic resource] : 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings / edited by Hamido Fujita, Guido Guizzi. by Fujita, Hamido [editor.] Guizzi, Guido [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 532 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)
652.	Image from Amazon.com	Collaboration and Technology [electronic resource] : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings / edited by Nelson Baloian, Yervant Zorian, Perouz Taslakian, Samvel Shoukouryan. by Baloian, Nelson [editor.] Zorian, Yervant [editor.] Taslakian, Perouz [editor.] Shoukouryan, Samvel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9334 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)
653.	Image from Amazon.com	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] Ianni, Giovambattista [editor.] Truszczynski, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9345 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)
654.	Image from Amazon.com	Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9360 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)
655.	Image from Amazon.com	Software Architecture [electronic resource] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic. by Weyns, Danny [editor.] Mirandola, Raffaela [editor.] Crnkovic, Ivica [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9278 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)
656.	Image from Amazon.com	Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar. by Bartocci, Ezio [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9333 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)
657.	Image from Amazon.com	SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] Scheidgen, Markus [editor.] Schieferdecker, Ina [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9369 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)
658.	Image from Amazon.com	Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Mousavi, Mohammad Reza [editor.] Berger, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9361 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)
659.	Image from Amazon.com	Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. by Leucker, Martin [editor.] Rueda, Camilo [editor.] Valencia, Frank D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9399 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)
660.	Image from Amazon.com	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] Liu, Zhiming [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9409Publisher: 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)