Your search returned 2687 results. Subscribe to this search

|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.

by ter Beek, Maurice H [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Information Technologies for Performing Arts, Media Access, and Entertainment [electronic resource] : Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers / edited by Paolo Nesi, Raffaella Santucci.

by Nesi, Paolo [editor.] | Santucci, Raffaella [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Cross-Cultural Design. Cultural Differences in Everyday Life [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by P.L.Patrick Rau.

by Rau, P.L.Patrick [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan.

by Bravetti, Mario [editor.] | Bultan, Tevfik [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Computational Collective IntelligenceTechnologies and Applications [electronic resource] : Third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part II / edited by Piotr Jedrzejowicz, Ngoc Thanh Nguyen.

by Jedrzejowicz, Piotr [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi.

by vom Brocke, Jan [editor.] | Hekkala, Riitta [editor.] | Ram, Sudha [editor.] | Rossi, Matti [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Advanced Web and Network Technologies, and Applications [electronic resource] : APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings / edited by Heng Tao Shen, Jinbao Li, Minglu Li, Jun Ni, Wei Wang.

by Shen, Heng Tao [editor.] | Li, Jinbao [editor.] | Li, Minglu [editor.] | Ni, Jun [editor.] | Wang, Wei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Human Aspects of Information Security, Privacy, and Trust [electronic resource] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas.

by Tryfonas, Theo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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 Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings / edited by Ryszard Kowalczyk.

by Kowalczyk, Ryszard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry.

by Baltes, Jacky [editor.] | Lagoudakis, Michail G [editor.] | Naruse, Tadashi [editor.] | Shiry, Saeed [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

User Modeling, Adaptation and Personalization [electronic resource] : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings / edited by Vania Dimitrova, Tsvi Kuflik, David Chin, Francesco Ricci, Peter Dolog, Geert-Jan Houben.

by Dimitrova, Vania [editor.] | Kuflik, Tsvi [editor.] | Chin, David [editor.] | Ricci, Francesco [editor.] | Dolog, Peter [editor.] | Houben, Geert-Jan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Fun and Games [electronic resource] : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings / edited by Panos Markopoulos, Wijnand IJsselsteijn, Duncan Rowland.

by Markopoulos, Panos [editor.] | IJsselsteijn, Wijnand [editor.] | Rowland, Duncan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Virtual, Augmented and Mixed Reality [electronic resource] : 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Stephanie Lackey, Jessie Chen.

by Lackey, Stephanie [editor.] | Chen, Jessie [editor.] | SpringerLink (Online service).

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

Virtual and Mixed Reality - Systems and Applications [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Randall Shumaker.

by Shumaker, Randall [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Ambient Intelligence [electronic resource] : European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings / edited by Manfred Tscheligi, Panos Markopoulos, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger.

by Tscheligi, Manfred [editor.] | Markopoulos, Panos [editor.] | Wichert, Reiner [editor.] | Mirlacher, Thomas [editor.] | Meschterjakov, Alexander [editor.] | Reitberger, Wolfgang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Collaboration and Technology [electronic resource] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva.

by Yuizono, Takaya [editor.] | Ogata, Hiroaki [editor.] | Hoppe, Ulrich [editor.] | Vassileva, Julita [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Social Computing and Social Media. Human Behavior [electronic resource] : 9th International Conference, SCSM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Gabriele Meiselwitz.

by Meiselwitz, Gabriele [editor.] | SpringerLink (Online service).

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

Business Process Management [electronic resource] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth.

by Dustdar, Schahram [editor.] | Fiadeiro, José Luiz [editor.] | Sheth, Amit [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraitis.

by Rahwan, Iyad [editor.] | Moraitis, Pavlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings / edited by Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn.

by Ichikawa, Haruhisa [editor.] | Cho, We-Duke [editor.] | Satoh, Ichiro [editor.] | Youn, Hee Yong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available