|
|
|
Trustworthy AI - Integrating Learning, Optimization and Reasoning [electronic resource] : First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers / edited by Fredrik Heintz, Michela Milano, Barry O'Sullivan.
by Heintz, Fredrik [editor.] | Milano, Michela [editor.] | O'Sullivan, Barry [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
|
|
|
|
Multi-Agent-Based Simulation XXI [electronic resource] : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / edited by Samarth Swarup, Bastin Tony Roy Savarimuthu.
by Swarup, Samarth [editor.] | Savarimuthu, Bastin Tony Roy [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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings / edited by Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez.
by Braun, Tanya [editor.] | Gehrke, Marcel [editor.] | Hanika, Tom [editor.] | Hernandez, Nathalie [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
|
|
|
|
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Johnsen, Einar Broch [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 II / 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
|
|
|
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings / edited by Frank Dignum, Juan Manuel Corchado, Fernando De La Prieta.
by Dignum, Frank [editor.] | Corchado, Juan Manuel [editor.] | De La Prieta, Fernando [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 6th International Conference, ICR 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [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
|
|
|
|
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.
by Dubois, Catherine [editor.] | San Pietro, Pierluigi [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings / edited by Katja Gilly, Nigel Thomas.
by Gilly, Katja [editor.] | Thomas, Nigel [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part IV / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part III / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part I / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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
|
|
|
|
Biomedical Image Registration [electronic resource] : 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings / edited by Alessa Hering, Julia Schnabel, Miaomiao Zhang, Enzo Ferrante, Mattias Heinrich, Daniel Rueckert.
by Hering, Alessa [editor.] | Schnabel, Julia [editor.] | Zhang, Miaomiao [editor.] | Ferrante, Enzo [editor.] | Heinrich, Mattias [editor.] | Rueckert, Daniel [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
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings / edited by Marcelo S. Reis, Raquel C. de Melo-Minardi.
by Reis, Marcelo S [editor.] | de Melo-Minardi, Raquel C [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
|
|
|
|
Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022, Revised Selected Papers / edited by Essaid Sabir, Halima Elbiaze, Francisco Falcone, Wessam Ajib, Mohamed Sadik.
by Sabir, Essaid [editor.] | Elbiaze, Halima [editor.] | Falcone, Francisco [editor.] | Ajib, Wessam [editor.] | Sadik, Mohamed [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
|
|
|
|
Foundations and Practice of Security [electronic resource] : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers / edited by Guy-Vincent Jourdan, Laurent Mounier, Carlisle Adams, Florence Sèdes, Joaquin Garcia-Alfaro.
by Jourdan, Guy-Vincent [editor.] | Mounier, Laurent [editor.] | Adams, Carlisle [editor.] | Sèdes, Florence [editor.] | Garcia-Alfaro, Joaquin [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
|
|
|
|
Computer Vision - ACCV 2022 Workshops [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers / edited by Yinqiang Zheng, Hacer Yalim Keleş, Piotr Koniusz.
by Zheng, Yinqiang [editor.] | Keleş, Hacer Yalim [editor.] | Koniusz, Piotr [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
|
|
|
|
Computer Vision - ACCV 2022 [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part V / edited by Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa.
by Wang, Lei [editor.] | Gall, Juergen [editor.] | Chin, Tat-Jun [editor.] | Sato, Imari [editor.] | Chellappa, Rama [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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I / edited by Ngoc-Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat.
by Nguyen, Ngoc-Thanh [editor.] | Attachoo, Boonwat [editor.] | Trawinski, Bogdan [editor.] | Somboonviwat, Kulwadee [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
|
|
|
|
Principles and Practice of Multi-Agent Systems [electronic resource] : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers / edited by Matteo Baldoni, Cristina Baroglio, Floris Bex, Floriana Grasso, Nancy Green, Mohammad-Reza Namazi-Rad, Masayuki Numao, Merlin Teodosia Suarez.
by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Bex, Floris [editor.] | Grasso, Floriana [editor.] | Green, Nancy [editor.] | Namazi-Rad, Mohammad-Reza [editor.] | Numao, Masayuki [editor.] | Suarez, Merlin Teodosia [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
|
