|
|
|
Image Analysis and Processing - ICIAP 2019 [electronic resource] : 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part II / edited by Elisa Ricci, Samuel Rota Bulò, Cees Snoek, Oswald Lanz, Stefano Messelodi, Nicu Sebe.
by Ricci, Elisa [editor.] | Rota Bulò, Samuel [editor.] | Snoek, Cees [editor.] | Lanz, Oswald [editor.] | Messelodi, Stefano [editor.] | Sebe, Nicu [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
|
|
|
|
Services Computing - SCC 2019 [electronic resource] : 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by Joao Eduardo Ferreira, Aibek Musaev, Liang-Jie Zhang.
by Ferreira, Joao Eduardo [editor.] | Musaev, Aibek [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Artificial Evolution [electronic resource] : 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29-30, 2019, Revised Selected Papers / edited by Lhassane Idoumghar, Pierrick Legrand, Arnaud Liefooghe, Evelyne Lutton, Nicolas Monmarché, Marc Schoenauer.
by Idoumghar, Lhassane [editor.] | Legrand, Pierrick [editor.] | Liefooghe, Arnaud [editor.] | Lutton, Evelyne [editor.] | Monmarché, Nicolas [editor.] | Schoenauer, Marc [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
|
|
|
|
NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou.
by Lee, Ritchie [editor.] | Jha, Susmit [editor.] | Mavridou, Anastasia [editor.] | Giannakopoulou, Dimitra [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance.
by Dennis, Louise A [editor.] | Bordini, Rafael H [editor.] | Lespérance, Yves [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
|
|
|
|
Informatics in Schools. Engaging Learners in Computational Thinking [electronic resource] : 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16-18, 2020, Proceedings / edited by Külli Kori, Mart Laanpere.
by Kori, Külli [editor.] | Laanpere, Mart [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings / edited by Nathalie Bertrand, Nils Jansen.
by Bertrand, Nathalie [editor.] | Jansen, Nils [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
|
|
|
|
Bioinformatics Research and Applications [electronic resource] : 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1-4, 2020, Proceedings / edited by Zhipeng Cai, Ion Mandoiu, Giri Narasimhan, Pavel Skums, Xuan Guo.
by Cai, Zhipeng [editor.] | Mandoiu, Ion [editor.] | Narasimhan, Giri [editor.] | Skums, Pavel [editor.] | Guo, Xuan [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
|
|
|
|
Applications of Medical Artificial Intelligence [electronic resource] : First International Workshop, AMAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Shandong Wu, Behrouz Shabestari, Lei Xing.
by Wu, Shandong [editor.] | Shabestari, Behrouz [editor.] | Xing, Lei [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 11th CCF International Conference, NLPCC 2022, Guilin, China, September 24-25, 2022, Proceedings, Part II / edited by Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou.
by Lu, Wei [editor.] | Huang, Shujian [editor.] | Hong, Yu [editor.] | Zhou, Xiabing [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 32nd International Conference, DEXA 2021, Virtual Event, September 27-30, 2021, Proceedings, Part I / edited by Christine Strauss, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Strauss, Christine [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
|
|
|
Text, Speech, and Dialogue [electronic resource] : 24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6-9, 2021, Proceedings / edited by Kamil Ekštein, František Pártl, Miloslav Konopík.
by Ekštein, Kamil [editor.] | Pártl, František [editor.] | Konopík, Miloslav [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
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, Monterrey, Mexico, October 24-29, 2022, Proceedings, Part II / edited by Obdulia Pichardo Lagunas, Juan Martínez-Miranda, Bella Martínez Seis.
by Pichardo Lagunas, Obdulia [editor.] | Martínez-Miranda, Juan [editor.] | Martínez Seis, Bella [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu.
by Bouajjani, Ahmed [editor.] | Holík, Lukáš [editor.] | Wu, Zhilin [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / edited by Barry O'Sullivan.
by O'Sullivan, Barry [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
|
|
|
|
Current Developments in Web Based Learning [electronic resource] : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015, Revised Selected Papers / edited by Zhiguo Gong, Dickson K. W. Chiu, Di Zou.
by Gong, Zhiguo [editor.] | Chiu, Dickson K. W [editor.] | Zou, Di [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
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
by Fleuriot, Jacques [editor.] | Wang, Dongming [editor.] | Calmet, Jacques [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
|
|
|
|
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings, Part II / edited by Xin Geng, Byeong-Ho Kang.
by Geng, Xin [editor.] | Kang, Byeong-Ho [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
|
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš.
by Kozubek, Tomáš [editor.] | Čermák, Martin [editor.] | Tichý, Petr [editor.] | Blaheta, Radim [editor.] | Šístek, Jakub [editor.] | Lukáš, Dalibor [editor.] | Jaroš, Jiří [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / edited by Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin.
by Thomson, Robert [editor.] | Dancy, Christopher [editor.] | Hyder, Ayaz [editor.] | Bisgin, Halil [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
|
