|
|
|
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn.
by De Nicola, Rocco [editor.] | Kühn, Eva [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
|
|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam.
by Yokota, Rio [editor.] | Weiland, Michèle [editor.] | Shalf, John [editor.] | Alam, Sadaf [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
|
|
|
|
Computer Vision - ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part VI / edited by Laura Leal-Taixé, Stefan Roth.
by Leal-Taixé, Laura [editor.] | Roth, Stefan [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
|
|
|
|
Computer Vision - ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part I / edited by Laura Leal-Taixé, Stefan Roth.
by Leal-Taixé, Laura [editor.] | Roth, Stefan [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
|
|
|
|
Numerical Methods and Applications [electronic resource] : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / edited by Geno Nikolov, Natalia Kolkovska, Krassimir Georgiev.
by Nikolov, Geno [editor.] | Kolkovska, Natalia [editor.] | Georgiev, Krassimir [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
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers / edited by Francesco Belardinelli, Estefanía Argente.
by Belardinelli, Francesco [editor.] | Argente, Estefanía [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
|
|
|
|
Formal Methods - The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.
by ter Beek, Maurice H [editor.] | McIver, Annabelle [editor.] | Oliveira, José N [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. 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
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / edited by Don Harris.
by Harris, Don [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019, Proceedings / edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
by Martinez-Hernandez, Uriel [editor.] | Vouloutsi, Vasiliki [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Asada, Minoru [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F.M.J [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
|
|
|
|
Massively Multi-Agent Systems II [electronic resource] : International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / edited by Donghui Lin, Toru Ishida, Franco Zambonelli, Itsuki Noda.
by Lin, Donghui [editor.] | Ishida, Toru [editor.] | Zambonelli, Franco [editor.] | Noda, Itsuki [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings / edited by Lenore J. Cowen.
by Cowen, Lenore J [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
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers / edited by Akka Zemmari, Mohamed Mosbah, Nora Cuppens-Boulahia, Frédéric Cuppens.
by Zemmari, Akka [editor.] | Mosbah, Mohamed [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [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
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings / edited by Tibor Lukić, Reneta P. Barneva, Valentin E. Brimkov, Lidija Čomić, Nataša Sladoje.
by Lukić, Tibor [editor.] | Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Čomić, Lidija [editor.] | Sladoje, Nataša [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
|
|
|
|
Image and Video Technology [electronic resource] : PSIVT 2019 International Workshops, Sydney, NSW, Australia, November 18-22, 2019, Revised Selected Papers / edited by Joel Janek Dabrowski, Ashfaqur Rahman, Manoranjan Paul.
by Dabrowski, Joel Janek [editor.] | Rahman, Ashfaqur [editor.] | Paul, Manoranjan [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
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018, Revised Selected Papers / edited by Maria Raposo, Paulo Ribeiro, Susana Sério, Antonino Staiano, Angelo Ciaramella.
by Raposo, Maria [editor.] | Ribeiro, Paulo [editor.] | Sério, Susana [editor.] | Staiano, Antonino [editor.] | Ciaramella, Angelo [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 15th International Conference, ADMA 2019, Dalian, China, November 21-23, 2019, Proceedings / edited by Jianxin Li, Sen Wang, Shaowen Qin, Xue Li, Shuliang Wang.
by Li, Jianxin [editor.] | Wang, Sen [editor.] | Qin, Shaowen [editor.] | Li, Xue [editor.] | Wang, Shuliang [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
|
|
|
|
Advances in Soft Computing [electronic resource] : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 - November 2, 2019, Proceedings / edited by Lourdes Martínez-Villaseñor, Ildar Batyrshin, Antonio Marín-Hernández.
by Martínez-Villaseñor, Lourdes [editor.] | Batyrshin, Ildar [editor.] | Marín-Hernández, Antonio [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
|
