|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|