Your search returned 3932 results. Subscribe to this search

|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.

by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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

Innovative Technologies and Learning [electronic resource] : First International Conference, ICITL 2018, Portoroz, Slovenia, August 27-30, 2018, Proceedings / edited by Ting-Ting Wu, Yueh-Min Huang, Rustam Shadiev, Lin Lin, Andreja Istenič Starčič.

by Wu, Ting-Ting [editor.] | Huang, Yueh-Min [editor.] | Shadiev, Rustam [editor.] | Lin, Lin [editor.] | Starčič, Andreja Istenič [editor.] | SpringerLink (Online service).

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

Knowledge Science, Engineering and Management [electronic resource] : 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018, Proceedings, Part II / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang.

by Liu, Weiru [editor.] | Giunchiglia, Fausto [editor.] | Yang, Bo [editor.] | SpringerLink (Online service).

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

Implementation and Application of Automata [electronic resource] : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings / edited by Cezar Câmpeanu.

by Câmpeanu, Cezar [editor.] | SpringerLink (Online service).

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

Internet Science [electronic resource] : INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers / edited by Sotiris Diplaris, Anna Satsiou, Asbjørn Følstad, Michail Vafopoulos, Thomas Vilarinho.

by Diplaris, Sotiris [editor.] | Satsiou, Anna [editor.] | Følstad, Asbjørn [editor.] | Vafopoulos, Michail [editor.] | Vilarinho, Thomas [editor.] | SpringerLink (Online service).

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

Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler.

by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [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

Games and Learning Alliance [electronic resource] : Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers / edited by Alessandro De Gloria.

by De Gloria, Alessandro [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

Cross-Cultural Design. Culture and Society [electronic resource] : 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Pei-Luen Patrick Rau.

by Rau, Pei-Luen Patrick [editor.] | SpringerLink (Online service).

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

Cross-Cultural Design. Methods, Tools and User Experience [electronic resource] : 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / edited by Pei-Luen Patrick Rau.

by Rau, Pei-Luen Patrick [editor.] | SpringerLink (Online service).

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

Web Information Systems Engineering - WISE 2019 [electronic resource] : 20th International Conference, Hong Kong, China, January 19-22, 2020, Proceedings / edited by Reynold Cheng, Nikos Mamoulis, Yizhou Sun, Xin Huang.

by Cheng, Reynold [editor.] | Mamoulis, Nikos [editor.] | Sun, Yizhou [editor.] | Huang, Xin [editor.] | SpringerLink (Online service).

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

Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part II / edited by Gavriel Salvendy, Michael J. Smith.

by Salvendy, Gavriel [editor.] | Smith, Michael J [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

Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / edited by Fabrizio Frati, Kwan-Liu Ma.

by Frati, Fabrizio [editor.] | Ma, Kwan-Liu [editor.] | SpringerLink (Online service).

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

Semantic Web, Ontologies and Databases [electronic resource] : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers / edited by Vassilis Christophides, Martine Collard, Claudio Gutierrez.

by Christophides, Vassilis [editor.] | Collard, Martine [editor.] | Gutierrez, Claudio [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

Social Computing, Behavioral-Cultural Modeling, and Prediction [electronic resource] : 8th International Conference, SBP 2015, Washington, DC, USA, March 31-April 3, 2015. Proceedings / edited by Nitin Agarwal, Kevin Xu, Nathaniel Osgood.

by Agarwal, Nitin [editor.] | Xu, Kevin [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service).

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

Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer.

by Smith, Ian F. C [editor.] | Domer, Bernd [editor.] | SpringerLink (Online service).

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

Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14-17, 2019, Revised Selected Papers / edited by Leong Hou U., Hady W. Lauw.

by U., Leong Hou [editor.] | Lauw, Hady W [editor.] | SpringerLink (Online service).

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

Algorithms and Models for the Web Graph [electronic resource] : 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings / edited by Konstantin Avrachenkov, Paweł Prałat, Nan Ye.

by Avrachenkov, Konstantin [editor.] | Prałat, Paweł [editor.] | Ye, Nan [editor.] | SpringerLink (Online service).

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

Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration [electronic resource] : 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Panayiotis Zaphiris, Andri Ioannou.

by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [editor.] | SpringerLink (Online service).

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

Computational Methods and Clinical Applications for Spine Imaging [electronic resource] : 6th International Workshop and Challenge, CSI 2019, Shenzhen, China, October 17, 2019, Proceedings / edited by Yunliang Cai, Liansheng Wang, Michel Audette, Guoyan Zheng, Shuo Li.

by Cai, Yunliang [editor.] | Wang, Liansheng [editor.] | Audette, Michel [editor.] | Zheng, Guoyan [editor.] | Li, Shuo [editor.] | SpringerLink (Online service).

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

Intelligent Tutoring Systems [electronic resource] : 16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings / edited by Vivekanandan Kumar, Christos Troussas.

by Kumar, Vivekanandan [editor.] | Troussas, Christos [editor.] | SpringerLink (Online service).

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