|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof.
by De Angelis, Emanuele [editor.] | Vanhoof, Wim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Code-Based Cryptography [electronic resource] : 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers / edited by Antonia Wachter-Zeh, Hannes Bartz, Gianluigi Liva.
by Wachter-Zeh, Antonia [editor.] | Bartz, Hannes [editor.] | Liva, Gianluigi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Head and Neck Tumor Segmentation and Outcome Prediction [electronic resource] : Second Challenge, HECKTOR 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Vincent Andrearczyk, Valentin Oreiller, Mathieu Hatt, Adrien Depeursinge.
by Andrearczyk, Vincent [editor.] | Oreiller, Valentin [editor.] | Hatt, Mathieu [editor.] | Depeursinge, Adrien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing [electronic resource] : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers / edited by Heike Jagode, Hartwig Anzt, Hatem Ltaief, Piotr Luszczek.
by Jagode, Heike [editor.] | Anzt, Hartwig [editor.] | Ltaief, Hatem [editor.] | Luszczek, Piotr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Haptic and Audio Interaction Design [electronic resource] : 11th International Workshop, HAID 2022, London, UK, August 25-26, 2022, Proceedings / edited by Charalampos Saitis, Ildar Farkhatdinov, Stefano Papetti.
by Saitis, Charalampos [editor.] | Farkhatdinov, Ildar [editor.] | Papetti, Stefano [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11-14, 2022, Proceedings / edited by Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy.
by Rage, Uday Kiran [editor.] | Goyal, Vikram [editor.] | Reddy, P. Krishna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Security [electronic resource] : 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part I / edited by Xingming Sun, Xiaorui Zhang, Zhihua Xia, Elisa Bertino.
by Sun, Xingming [editor.] | Zhang, Xiaorui [editor.] | Xia, Zhihua [editor.] | Bertino, Elisa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez.
by Deshmukh, Jyotirmoy V [editor.] | Havelund, Klaus [editor.] | Perez, Ivan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 21st International Conference, NEW2AN 2021, and 14th Conference, ruSMART 2021, St. Petersburg, Russia, August 26-27, 2021, Proceedings / edited by Yevgeni Koucheryavy, Sergey Balandin, Sergey Andreev.
by Koucheryavy, Yevgeni [editor.] | Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek.
by Shen, Hong [editor.] | Sang, Yingpeng [editor.] | Zhang, Yong [editor.] | Xiao, Nong [editor.] | Arabnia, Hamid R [editor.] | Fox, Geoffrey [editor.] | Gupta, Ajay [editor.] | Malek, Manu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings / edited by Petra Mutzel, Md. Saidur Rahman, Slamin.
by Mutzel, Petra [editor.] | Rahman, Md. Saidur [editor.] | Slamin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu.
by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Liu, Ai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [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
|
|
|
|
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 - December 2, 2016, Part II / edited by Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.
by García, Carmelo R [editor.] | Caballero-Gil, Pino [editor.] | Burmester, Mike [editor.] | Quesada-Arencibia, Alexis [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [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
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11-14, 2017, Proceedings / edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro.
by Jones, Gareth J.F [editor.] | Lawless, Séamus [editor.] | Gonzalo, Julio [editor.] | Kelly, Liadh [editor.] | Goeuriot, Lorraine [editor.] | Mandl, Thomas [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [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
|
|
|
|
New Frontiers in Mining Complex Patterns [electronic resource] : Third International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, Revised Selected Papers / edited by Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras.
by Appice, Annalisa [editor.] | Ceci, Michelangelo [editor.] | Loglisci, Corrado [editor.] | Manco, Giuseppe [editor.] | Masciari, Elio [editor.] | Ras, Zbigniew W [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2015 [electronic resource] : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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
|
|
|
|
MultiMedia Modeling [electronic resource] : 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I / edited by Xiangjian He, Suhuai Luo, Dacheng Tao, Changsheng Xu, Jie Yang, Muhammad Abul Hasan.
by He, Xiangjian [editor.] | Luo, Suhuai [editor.] | Tao, Dacheng [editor.] | Xu, Changsheng [editor.] | Yang, Jie [editor.] | Hasan, Muhammad Abul [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
|
|
|
|
Design, User Experience, and Usability: Interactive Experience Design [electronic resource] : 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III / edited by Aaron Marcus.
by Marcus, Aaron [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
|
