|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings / edited by Dimitrios Poulakis, George Rahonis.
by Poulakis, Dimitrios [editor.] | Rahonis, George [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
|
|
|
|
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
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022 [electronic resource] : 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VII / edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li.
by Wang, Linwei [editor.] | Dou, Qi [editor.] | Fletcher, P. Thomas [editor.] | Speidel, Stefanie [editor.] | Li, Shuo [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part I / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIX / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers / edited by Ittay Eyal, Juan Garay.
by Eyal, Ittay [editor.] | Garay, Juan [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XVII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVIII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXI / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXI / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XIV / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XV / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXVII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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
|
|
|
|
LATIN 2022: Theoretical Informatics [electronic resource] : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, Proceedings / edited by Armando Castañeda, Francisco Rodríguez-Henríquez.
by Castañeda, Armando [editor.] | Rodríguez-Henríquez, Francisco [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVI / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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
|
