|
|
|
Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Ulbrich, Mattias [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
|
|
|
|
Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.
by Nigam, Vivek [editor.] | Ban Kirigin, Tajana [editor.] | Talcott, Carolyn [editor.] | Guttman, Joshua [editor.] | Kuznetsov, Stepan [editor.] | Thau Loo, Boon [editor.] | Okada, Mitsuhiro [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
|
|
|
|
Speech and Computer [electronic resource] : 22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings / edited by Alexey Karpov, Rodmonga Potapova.
by Karpov, Alexey [editor.] | Potapova, Rodmonga [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
|
|
|
|
Blended Learning. Education in a Smart Learning Environment [electronic resource] : 13th International Conference, ICBL 2020, Bangkok, Thailand, August 24-27, 2020, Proceedings / edited by Simon K. S. Cheung, Richard Li, Kongkiti Phusavat, Naraphorn Paoprasert, Lam‑For Kwok.
by Cheung, Simon K. S [editor.] | Li, Richard [editor.] | Phusavat, Kongkiti [editor.] | Paoprasert, Naraphorn [editor.] | Kwok, Lam‑For [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
|
|
|
|
Explainable, Transparent Autonomous Agents and Multi-Agent Systems [electronic resource] : Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9-13, 2020, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Winikoff, Michael [editor.] | Främling, Kary [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
|
|
|
|
Real VR - Immersive Digital Reality [electronic resource] : How to Import the Real World into Head-Mounted Immersive Displays / edited by Marcus Magnor, Alexander Sorkine-Hornung.
by Magnor, Marcus [editor.] | Sorkine-Hornung, Alexander [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
|
|
|
|
Big Data Analytics and Knowledge Discovery [electronic resource] : 24th International Conference, DaWaK 2022, Vienna, Austria, August 22-24, 2022, Proceedings / edited by Robert Wrembel, Johann Gamper, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Wrembel, Robert [editor.] | Gamper, Johann [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2021 [electronic resource] : 22nd International Conference, IDEAL 2021, Manchester, UK, November 25-27, 2021, Proceedings / edited by Hujun Yin, David Camacho, Peter Tino, Richard Allmendinger, Antonio J. Tallón-Ballesteros, Ke Tang, Sung-Bae Cho, Paulo Novais, Susana Nascimento.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Tino, Peter [editor.] | Allmendinger, Richard [editor.] | Tallón-Ballesteros, Antonio J [editor.] | Tang, Ke [editor.] | Cho, Sung-Bae [editor.] | Novais, Paulo [editor.] | Nascimento, Susana [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 Artificial Intelligence [electronic resource] : 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22-24, 2021, Proceedings / edited by Enrique Alba, Gabriel Luque, Francisco Chicano, Carlos Cotta, David Camacho, Manuel Ojeda-Aciego, Susana Montes, Alicia Troncoso, José Riquelme, Rodrigo Gil-Merino.
by Alba, Enrique [editor.] | Luque, Gabriel [editor.] | Chicano, Francisco [editor.] | Cotta, Carlos [editor.] | Camacho, David [editor.] | Ojeda-Aciego, Manuel [editor.] | Montes, Susana [editor.] | Troncoso, Alicia [editor.] | Riquelme, José [editor.] | Gil-Merino, Rodrigo [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
|
|
|
|
Big Data Analytics and Knowledge Discovery [electronic resource] : 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings / edited by Matteo Golfarelli, Robert Wrembel, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Golfarelli, Matteo [editor.] | Wrembel, Robert [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
|
|
|
|
Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Winikoff, Michael [editor.] | Främling, Kary [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
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part I / edited by Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin.
by Wang, Xin [editor.] | Sapino, Maria Luisa [editor.] | Han, Wook-Shin [editor.] | El Abbadi, Amr [editor.] | Dobbie, Gill [editor.] | Feng, Zhiyong [editor.] | Shao, Yingxiao [editor.] | Yin, Hongzhi [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
|
|
|
|
Service-Oriented Computing - ICSOC 2022 Workshops [electronic resource] : ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings / edited by Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés.
by Troya, Javier [editor.] | Mirandola, Raffaela [editor.] | Navarro, Elena [editor.] | Delgado, Andrea [editor.] | Segura, Sergio [editor.] | Ortiz, Guadalupe [editor.] | Pautasso, Cesare [editor.] | Zirpins, Christian [editor.] | Fernández, Pablo [editor.] | Ruiz-Cortés, Antonio [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
|
|
|
|
Artificial Intelligence XXXIX [electronic resource] : 42nd SGAI International Conference on Artificial Intelligence, AI 2022, Cambridge, UK, December 13-15, 2022, Proceedings / edited by Max Bramer, Frederic Stahl.
by Bramer, Max [editor.] | Stahl, Frederic [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 20th International Conference, ICSOC 2022, Seville, Spain, November 29 - December 2, 2022, Proceedings / edited by Javier Troya, Brahim Medjahed, Mario Piattini, Lina Yao, Pablo Fernández, Antonio Ruiz-Cortés.
by Troya, Javier [editor.] | Medjahed, Brahim [editor.] | Piattini, Mario [editor.] | Yao, Lina [editor.] | Fernández, Pablo [editor.] | Ruiz-Cortés, Antonio [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
|
|
|
|
Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9-10, 2022, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Winikoff, Michael [editor.] | Främling, Kary [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 and Expert Systems Applications [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings, Part I / edited by Christine Strauss, Alfredo Cuzzocrea, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Strauss, Christine [editor.] | Cuzzocrea, Alfredo [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 [electronic resource] : 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part II / edited by Hayit Greenspan, Anant Madabhushi, Parvin Mousavi, Septimiu Salcudean, James Duncan, Tanveer Syeda-Mahmood, Russell Taylor.
by Greenspan, Hayit [editor.] | Madabhushi, Anant [editor.] | Mousavi, Parvin [editor.] | Salcudean, Septimiu [editor.] | Duncan, James [editor.] | Syeda-Mahmood, Tanveer [editor.] | Taylor, Russell [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
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.
by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I / edited by Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Strauss, Christine [editor.] | Amagasa, Toshiyuki [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
