Your search returned 1094 results. Subscribe to this search

|
Foundations for Designing User-Centered Systems [electronic resource] : What System Designers Need to Know about People / by Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill.

by Ritter, Frank E [author.] | Baxter, Gordon D [author.] | Churchill, Elizabeth F [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings / edited by Song Guo, Jaime Lloret, Pietro Manzoni, Stefan Ruehrup.

by Guo, Song [editor.] | Lloret, Jaime [editor.] | Manzoni, Pietro [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Conceptual Modeling [electronic resource] : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / edited by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki.

by Comyn-Wattiau, Isabelle [editor.] | Tanaka, Katsumi [editor.] | Song, Il-Yeol [editor.] | Yamamoto, Shuichiro [editor.] | Saeki, Motoshi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Service-Oriented Computing - ICSOC 2013 Workshops [electronic resource] : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers / edited by Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić.

by Lomuscio, Alessio R [editor.] | Nepal, Surya [editor.] | Patrizi, Fabio [editor.] | Benatallah, Boualem [editor.] | Brandić, Ivona [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Model-Driven Engineering and Software Development [electronic resource] : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Lu�is Ferreira Pires.

by Desfray, Philippe [editor.] | Filipe, Joaquim [editor.] | Hammoudi, Slimane [editor.] | Pires, Lu�is Ferreira [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Membrane Computing [electronic resource] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sos�ik, Claudio Zandron.

by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Sos�ik, Petr [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika �Abrah�am, Marcello Bonsangue, Einar Broch Johnsen.

by �Abrah�am, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Computational Science and Its Applications - ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V / 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimar�aes, Portugal, June 30 - July 3, 2014, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�ao, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falc�ao, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig.

by Reisig, Wolfgang [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings / edited by Casper Lassenius, Torgeir Dings�yr, Maria Paasivaara.

by Lassenius, Casper [editor.] | Dings�yr, Torgeir [editor.] | Paasivaara, Maria [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Secure and Trustworthy Service Composition [electronic resource] : The Aniketos Approach / edited by Achim D. Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per H�akon Meland, Erkuden Rios.

by Brucker, Achim D [editor.] | Dalpiaz, Fabiano [editor.] | Giorgini, Paolo [editor.] | Meland, Per H�akon [editor.] | Rios, Erkuden [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Software Quality. Software and Systems Quality in Distributed and Mobile Environments [electronic resource] : 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann.

by Winkler, Dietmar [editor.] | Biffl, Stefan [editor.] | Bergsmann, Johannes [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

PRIMA 2014: Principles and Practice of Multi-Agent Systems [electronic resource] : 17th International Conference, Gold Coast, QLD Australia, December 1-5, 2014. Proceedings / edited by Hoa Khanh Dam, Jeremy Pitt, Yang Xu, Guido Governatori, Takayuki Ito.

by Dam, Hoa Khanh [editor.] | Pitt, Jeremy [editor.] | Xu, Yang [editor.] | Governatori, Guido [editor.] | Ito, Takayuki [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services [electronic resource] : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings / edited by Ram�on Herv�as, Sungyoung Lee, Chris Nugent, Jos�e Bravo.

by Herv�as, Ram�on [editor.] | Lee, Sungyoung [editor.] | Nugent, Chris [editor.] | Bravo, Jos�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / edited by Lu�is Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, Jos�e Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander.

by Lopes, Lu�is [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, Jos�e [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jesus [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa.

by Alhazov, Artiom [editor.] | Cojocaru, Svetlana [editor.] | Gheorghe, Marian [editor.] | Rogozhin, Yurii [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Foundational and Practical Aspects of Resource Analysis [electronic resource] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / edited by Ugo Dal Lago, Ricardo Pe�na.

by Dal Lago, Ugo [editor.] | Pe�na, Ricardo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available