|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / 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 International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Spatial Data and Intelligence [electronic resource] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li.
by Meng, Xiaofeng [editor.] | Li, Xiang [editor.] | Xu, Jianqiu [editor.] | Zhang, Xueying [editor.] | Fang, Yuming [editor.] | Zheng, Bolong [editor.] | Li, Yafei [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
|
|
|
|
Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra.
by Pan, Yi [editor.] | Chen, Daoxu [editor.] | Guo, Minyi [editor.] | Cao, Jiannong [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019, Proceedings / edited by Karim Djemame, Jörn Altmann, José Ángel Bañares, Orna Agmon Ben-Yehuda, Maurizio Naldi.
by Djemame, Karim [editor.] | Altmann, Jörn [editor.] | Bañares, José Ángel [editor.] | Agmon Ben-Yehuda, Orna [editor.] | Naldi, Maurizio [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
|
|
|
|
Pattern Recognition [electronic resource] : 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27-30, 2022, Proceedings / edited by Björn Andres, Florian Bernard, Daniel Cremers, Simone Frintrop, Bastian Goldlücke, Ivo Ihrke.
by Andres, Björn [editor.] | Bernard, Florian [editor.] | Cremers, Daniel [editor.] | Frintrop, Simone [editor.] | Goldlücke, Bastian [editor.] | Ihrke, Ivo [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009 / edited by André Seznec, Joel Emer, Michael O'Boyle, Margaret Martonosi, Theo Ungerer.
by Seznec, André [editor.] | Emer, Joel [editor.] | O'Boyle, Michael [editor.] | Martonosi, Margaret [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Software Architecture [electronic resource] : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers / edited by Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns.
by Scandurra, Patrizia [editor.] | Galster, Matthias [editor.] | Mirandola, Raffaela [editor.] | Weyns, Danny [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I / edited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui.
by Yang, Xiaochun [editor.] | Suhartanto, Heru [editor.] | Wang, Guoren [editor.] | Wang, Bin [editor.] | Jiang, Jing [editor.] | Li, Bing [editor.] | Zhu, Huaijie [editor.] | Cui, Ningning [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
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen.
by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Oystein [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
