|
|
|
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang.
by Riesco, Adrian [editor.] | Zhang, Min [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
|
|
|
|
Deep Generative Models [electronic resource] : Second MICCAI Workshop, DGM4MICCAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Anirban Mukhopadhyay, Ilkay Oksuz, Sandy Engelhardt, Dajiang Zhu, Yixuan Yuan.
by Mukhopadhyay, Anirban [editor.] | Oksuz, Ilkay [editor.] | Engelhardt, Sandy [editor.] | Zhu, Dajiang [editor.] | Yuan, Yixuan [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
|
|
|
|
Left Atrial and Scar Quantification and Segmentation [electronic resource] : First Challenge, LAScarQS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Xiahai Zhuang, Lei Li, Sihan Wang, Fuping Wu.
by Zhuang, Xiahai [editor.] | Li, Lei [editor.] | Wang, Sihan [editor.] | Wu, Fuping [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
|
|
|
|
Diabetic Foot Ulcers Grand Challenge [electronic resource] : Third Challenge, DFUC 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Moi Hoon Yap, Connah Kendrick, Bill Cassidy.
by Yap, Moi Hoon [editor.] | Kendrick, Connah [editor.] | Cassidy, Bill [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
|
|
|
|
Computer Vision - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VIII / edited by Leonid Karlinsky, Tomer Michaeli, Ko Nishino.
by Karlinsky, Leonid [editor.] | Michaeli, Tomer [editor.] | Nishino, Ko [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 - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VII / edited by Leonid Karlinsky, Tomer Michaeli, Ko Nishino.
by Karlinsky, Leonid [editor.] | Michaeli, Tomer [editor.] | Nishino, Ko [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 Data and Social Networks [electronic resource] : 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings / edited by Thang N. Dinh, Minming Li.
by Dinh, Thang N [editor.] | Li, Minming [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
|
|
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / edited by Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri.
by Masci, Paolo [editor.] | Bernardeschi, Cinzia [editor.] | Graziani, Pierluigi [editor.] | Koddenbrock, Mario [editor.] | Palmieri, Maurizio [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
|
|
|
|
From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini.
by Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Pellungrini, Roberto [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
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 14th International Conference, SecITC 2021, Virtual Event, November 25-26, 2021, Revised Selected Papers / edited by Peter Y.A. Ryan, Cristian Toma.
by Ryan, Peter Y.A [editor.] | Toma, Cristian [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 Cryptology - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part II / edited by Yevgeniy Dodis, Thomas Shrimpton.
by Dodis, Yevgeniy [editor.] | Shrimpton, Thomas [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
|
|
|
|
Social Informatics [electronic resource] : 13th International Conference, SocInfo 2022, Glasgow, UK, October 19-21, 2022, Proceedings / edited by Frank Hopfgartner, Kokil Jaidka, Philipp Mayr, Joemon Jose, Jan Breitsohl.
by Hopfgartner, Frank [editor.] | Jaidka, Kokil [editor.] | Mayr, Philipp [editor.] | Jose, Joemon [editor.] | Breitsohl, Jan [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 Cryptology - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part III / edited by Yevgeniy Dodis, Thomas Shrimpton.
by Dodis, Yevgeniy [editor.] | Shrimpton, Thomas [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 - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part IV / edited by Yevgeniy Dodis, Thomas Shrimpton.
by Dodis, Yevgeniy [editor.] | Shrimpton, Thomas [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
|
|
|
|
Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov.
by Drewes, Frank [editor.] | Volkov, Mikhail [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
|
|
|
|
Design Science Research for a New Society: Society 5.0 [electronic resource] : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings / edited by Aurona Gerber, Richard Baskerville.
by Gerber, Aurona [editor.] | Baskerville, Richard [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
|
|
|
|
Discrete Geometry and Mathematical Morphology [electronic resource] : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings / edited by Étienne Baudrier, Benoît Naegel, Adrien Krähenbühl, Mohamed Tajine.
by Baudrier, Étienne [editor.] | Naegel, Benoît [editor.] | Krähenbühl, Adrien [editor.] | Tajine, Mohamed [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings / edited by Parinya Chalermsook, Bundit Laekhanukit.
by Chalermsook, Parinya [editor.] | Laekhanukit, Bundit [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 XX / 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 XXVIII / 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
|
