Your search returned 1359 results.

Results
581.	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 Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] Roever, Willem-Paul de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5382Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
582.	Image from Amazon.com	Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. van der Veer, Janet Wesson. by Gulliksen, Jan [editor.] Harning, Morton Borup [editor.] Palanque, Philippe [editor.] Veer, Gerrit C. van der [editor.] Wesson, Janet [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4940Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
583.	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 Shen, Weiming [editor.] Yong, Jianming [editor.] Yang, Yun [editor.] Barthès, Jean-Paul A [editor.] Luo, Junzhou [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5236Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
584.	Image from Amazon.com	High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes. by Palma, José M. Laginha M [editor.] Amestoy, Patrick R [editor.] Daydé, Michel [editor.] Mattoso, Marta [editor.] Lopes, João Correia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5336Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
585.	Image from Amazon.com	Distributed Simulation [electronic resource] : A Model Driven Engineering Approach / by Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz. by Topçu, Okan [author.] Durak, Umut [author.] Oğuztüzün, Halit [author.] Yilmaz, Levent [author.] SpringerLink (Online service) Series: Simulation Foundations, Methods and Applications Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
586.	Image from Amazon.com	Design Thinking Research [electronic resource] : Making Design Thinking Foundational / edited by Hasso Plattner, Christoph Meinel, Larry Leifer. by Plattner, Hasso [editor.] Meinel, Christoph [editor.] Leifer, Larry [editor.] SpringerLink (Online service) Series: Understanding InnovationPublisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
587.	Image from Amazon.com	Collaborative Quality Assurance in Information Systems Development [electronic resource] : The Interaction of Software Development Techniques and Team Cognition / by Kai Spohrer. by Spohrer, Kai [author.] SpringerLink (Online service) Series: Progress in IS Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
588.	Image from Amazon.com	Computational Intelligence and Quantitative Software Engineering [electronic resource] / edited by Witold Pedrycz, Giancarlo Succi, Alberto Sillitti. by Pedrycz, Witold [editor.] Succi, Giancarlo [editor.] Sillitti, Alberto [editor.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 617 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
589.	Image from Amazon.com	Software Design for Resilient Computer Systems [electronic resource] / by Igor Schagaev, Thomas Kaegi-Trachsel. by Schagaev, Igor [author.] Kaegi-Trachsel, Thomas [author.] SpringerLink (Online service) Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
590.	Image from Amazon.com	Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang. by Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9506 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
591.	Image from Amazon.com	Tangible Interactive Systems [electronic resource] : Grasping the Real World with Computers / by Guy André Boy. by Boy, Guy André [author.] SpringerLink (Online service) Series: Human–Computer Interaction SeriesPublisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
592.	Image from Amazon.com	Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor. by Daneva, Maya [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9619 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
593.	Image from Amazon.com	Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / edited by Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich. by Hannig, Frank [editor.] Cardoso, João M.P [editor.] Pionteck, Thilo [editor.] Fey, Dietmar [editor.] Schröder-Preikschat, Wolfgang [editor.] Teich, Jürgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9637 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
594.	Image from Amazon.com	Computational Sustainability [electronic resource] / edited by Jörg Lässig, Kristian Kersting, Katharina Morik. by Lässig, Jörg [editor.] Kersting, Kristian [editor.] Morik, Katharina [editor.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 645Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
595.	Image from Amazon.com	Exploring Services Science [electronic resource] : 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings / edited by Theodor Borangiu, Monica Dragoicea, Henriqueta Nóvoa. by Borangiu, Theodor [editor.] Dragoicea, Monica [editor.] Nóvoa, Henriqueta [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 247Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
596.	Image from Amazon.com	Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. by Rovatsos, Michael [editor.] Vouros, George [editor.] Julian, Vicente [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9571Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
597.	Image from Amazon.com	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9675Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
598.	Image from Amazon.com	Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy. by Mamatas, Lefteris [editor.] Matta, Ibrahim [editor.] Papadimitriou, Panagiotis [editor.] Koucheryavy, Yevgeni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9674Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
599.	Image from Amazon.com	Working Around Disruptions of Network Infrastructures [electronic resource] : Mobile Ad-Hoc Systems for Resilient Communication in Disasters / by Amro Al-Akkad. by Al-Akkad, Amro [author.] SpringerLink (Online service) Edition: 1st ed. 2016. Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
600.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann. by Thiemann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9632 Edition: 1st ed. 2016. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)