|
|
|
Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings / edited by Ekaterina Komendantskaya.
by Komendantskaya, Ekaterina [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
|
|
|
|
Predictive Intelligence in Medicine [electronic resource] : 5th International Workshop, PRIME 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Islem Rekik, Ehsan Adeli, Sang Hyun Park, Celia Cintas.
by Rekik, Islem [editor.] | Adeli, Ehsan [editor.] | Park, Sang Hyun [editor.] | Cintas, Celia [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
|
|
|
|
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling.
by Caltais, Georgiana [editor.] | Schilling, Christian [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Vision Computing [electronic resource] : 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24-25, 2022, Revised Selected Papers / edited by Wei Qi Yan, Minh Nguyen, Martin Stommel.
by Yan, Wei Qi [editor.] | Nguyen, Minh [editor.] | Stommel, Martin [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Applications [electronic resource] : 23rd International Conference, WISA 2022, Jeju Island, South Korea, August 24-26, 2022, Revised Selected Papers / edited by Ilsun You, Taek-Young Youn.
by You, Ilsun [editor.] | Youn, Taek-Young [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Mathematics Modeling in Cancer Analysis [electronic resource] : First International Workshop, CMMCA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Wenjian Qin, Nazar Zaki, Fa Zhang, Jia Wu, Fan Yang.
by Qin, Wenjian [editor.] | Zaki, Nazar [editor.] | Zhang, Fa [editor.] | Wu, Jia [editor.] | Yang, Fan [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
|
|
|
|
Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part X / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss.
by Ferrari, Vittorio [editor.] | Hebert, Martial [editor.] | Sminchisescu, Cristian [editor.] | Weiss, Yair [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 Safety, Reliability, and Security [electronic resource] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.
by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings / edited by Manuel Giuliani, Tareq Assaf, Maria Elena Giannaccini.
by Giuliani, Manuel [editor.] | Assaf, Tareq [editor.] | Giannaccini, Maria Elena [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / edited by Zvi Lotker, Boaz Patt-Shamir.
by Lotker, Zvi [editor.] | Patt-Shamir, Boaz [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
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [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 II / 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
|
|
|
|
Euro-Par 2019: Parallel Processing [electronic resource] : 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings / edited by Ramin Yahyapour.
by Yahyapour, Ramin [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 Collective Intelligence [electronic resource] : 11th International Conference, ICCCI 2019, Hendaye, France, September 4-6, 2019, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Richard Chbeir, Ernesto Exposito, Philippe Aniorté, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Chbeir, Richard [editor.] | Exposito, Ernesto [editor.] | Aniorté, Philippe [editor.] | Trawiński, Bogdan [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 Collective Intelligence [electronic resource] : 11th International Conference, ICCCI 2019, Hendaye, France, September 4-6, 2019, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Richard Chbeir, Ernesto Exposito, Philippe Aniorté, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Chbeir, Richard [editor.] | Exposito, Ernesto [editor.] | Aniorté, Philippe [editor.] | Trawiński, Bogdan [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
|
|
|
|
Physiological Computing Systems [electronic resource] : International Conferences, PhyCS 2016, Lisbon, Portugal, July 27-28, 2016, PhyCS 2017, Madrid, Spain, July 27-28, 2017, PhyCS 2018, Seville, Spain, September 19-21, 2018, Revised and Extended Selected Papers / edited by Andreas Holzinger, Alan Pope, Hugo Plácido da Silva.
by Holzinger, Andreas [editor.] | Pope, Alan [editor.] | Plácido da Silva, Hugo [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II / edited by Paulo Moura Oliveira, Paulo Novais, Luís Paulo Reis.
by Moura Oliveira, Paulo [editor.] | Novais, Paulo [editor.] | Reis, Luís Paulo [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I / edited by Paulo Moura Oliveira, Paulo Novais, Luís Paulo Reis.
by Moura Oliveira, Paulo [editor.] | Novais, Paulo [editor.] | Reis, Luís Paulo [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
|
|
|
|
KI 2019: Advances in Artificial Intelligence [electronic resource] : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings / edited by Christoph Benzmüller, Heiner Stuckenschmidt.
by Benzmüller, Christoph [editor.] | Stuckenschmidt, Heiner [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 Analysis of Images and Patterns [electronic resource] : 18th International Conference, CAIP 2019, Salerno, Italy, September 3-5, 2019, Proceedings, Part II / edited by Mario Vento, Gennaro Percannella.
by Vento, Mario [editor.] | Percannella, Gennaro [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
|
