|
|
|
Trends in Functional Programming [electronic resource] : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / edited by David Van Horn, John Hughes.
by Van Horn, David [editor.] | Hughes, John [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
|
|
|
|
Applications of Computational Intelligence [electronic resource] : 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers / edited by Alvaro David Orjuela-Cañón, Jesus A Lopez, Julián David Arias-Londoño.
by Orjuela-Cañón, Alvaro David [editor.] | Lopez, Jesus A [editor.] | Arias-Londoño, Julián David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2022 [electronic resource] : 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings / edited by Hujun Yin, David Camacho, Peter Tino.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Tino, Peter [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings / edited by Kevin S. Xu, David Reitter, Dongwon Lee, Nathaniel Osgood.
by Xu, Kevin S [editor.] | Reitter, David [editor.] | Lee, Dongwon [editor.] | Osgood, Nathaniel [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
|
|
|
|
Love and Sex with Robots [electronic resource] : Second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised Selected Papers / edited by Adrian David Cheok, Kate Devlin, David Levy.
by Cheok, Adrian David [editor.] | Devlin, Kate [editor.] | Levy, David [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
|
|
|
|
Current Directions in ICT and Society [electronic resource] : IFIP TC9 50th Anniversary Anthology / edited by Christopher Leslie, David Kreps.
by Leslie, Christopher [editor.] | Kreps, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / edited by Marco Gribaudo, David N. Jansen, Anne Remke.
by Gribaudo, Marco [editor.] | Jansen, David N [editor.] | Remke, Anne [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 Computational Applications of Geometric Algebra [electronic resource] : First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings / edited by David W. Silva, Eckhard Hitzer, Dietmar Hildenbrand.
by Silva, David W [editor.] | Hitzer, Eckhard [editor.] | Hildenbrand, Dietmar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Provenance and Annotation of Data and Processes [electronic resource] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings / edited by Boris Glavic, Vanessa Braganholo, David Koop.
by Glavic, Boris [editor.] | Braganholo, Vanessa [editor.] | Koop, David [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
|
|
|
|
Neural Networks with Model Compression [electronic resource] / by Baochang Zhang, Tiancheng Wang, Sheng Xu, David Doermann.
by Zhang, Baochang [author.] | Wang, Tiancheng [author.] | Xu, Sheng [author.] | Doermann, David [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
City Information Modelling [electronic resource] / edited by Ali Cheshmehzangi, Michael Batty, Zaheer Allam, David S. Jones.
by Cheshmehzangi, Ali [editor.] | Batty, Michael [editor.] | Allam, Zaheer [editor.] | Jones, David S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence. IJCAI 2019 International Workshops [electronic resource] : Macao, China, August 10-12, 2019, Revised Selected Best Papers / edited by Amal El Fallah Seghrouchni, David Sarne.
by El Fallah Seghrouchni, Amal [editor.] | Sarne, David [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 Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.
by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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
|
|
|
|
Intelligence and Security Informatics [electronic resource] : European Conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings / edited by Daniel Ortiz-Arroyo, Henrik Legind Larsen, Daniel Zeng, David L. Hicks, Gerhard Wagner.
by Ortiz-Arroyo, Daniel [editor.] | Larsen, Henrik Legind [editor.] | Zeng, Daniel [editor.] | Hicks, David L [editor.] | Wagner, Gerhard [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.
by Jansen, David N [editor.] | Prabhakar, Pavithra [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part IV / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino.
by Misra, Sanjay [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Stankova, Elena [editor.] | Korkhov, Vladimir [editor.] | Torre, Carmelo [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [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
|
|
|
|
Spatial Cognition XII [electronic resource] : 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26-28, 2020, Proceedings / edited by Jurǵis Šķilters, Nora S. Newcombe, David Uttal.
by Šķilters, Jurǵis [editor.] | Newcombe, Nora S [editor.] | Uttal, David [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
|
|
|
|
Progress in Cryptology - AFRICACRYPT 2014 [electronic resource] : 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings / edited by David Pointcheval, Damien Vergnaud.
by Pointcheval, David [editor.] | Vergnaud, Damien [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
|
|
|
|
Advances in Enterprise Engineering XVII [electronic resource] : 13th Enterprise Design and Engineering Working Conference, EDEWC 2023, Vienna, Austria, November 28-29, 2023, Revised Selected Papers / edited by Monika Malinova Mandelburger, Sérgio Guerreiro, Cristine Griffo, David Aveiro, Henderik A. Proper, Marianne Schnellmann.
by Malinova Mandelburger, Monika [editor.] | Guerreiro, Sérgio [editor.] | Griffo, Cristine [editor.] | Aveiro, David [editor.] | Proper, Henderik A [editor.] | Schnellmann, Marianne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
