|
|
|
Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
by Ahrendt, Wolfgang [editor.] | Tapia Tarifa, Silvia Lizeth [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.
by Gabbrielli, Maurizio [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / edited by Alexey Gotsman, Ana Sokolova.
by Gotsman, Alexey [editor.] | Sokolova, Ana [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
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings / edited by Vivekanandan Kumar, Christos Troussas.
by Kumar, Vivekanandan [editor.] | Troussas, Christos [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
|
|
|
|
Model-driven Simulation and Training Environments for Cybersecurity [electronic resource] : Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers / edited by George Hatzivasilis, Sotiris Ioannidis.
by Hatzivasilis, George [editor.] | Ioannidis, Sotiris [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings / edited by Stefanos Gritzalis, Edgar R. Weippl, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.
by Gritzalis, Stefanos [editor.] | Weippl, Edgar R [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
|
|
|
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [electronic resource] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira.
by Casimiro, António [editor.] | Ortmeier, Frank [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | Ferreira, Pedro [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
|
|
|
|
Reversible Computation [electronic resource] : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.
by Lanese, Ivan [editor.] | Rawski, Mariusz [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
|
|
|
|
Image and Signal Processing [electronic resource] : 9th International Conference, ICISP 2020, Marrakesh, Morocco, June 4-6, 2020, Proceedings / edited by Abderrahim El Moataz, Driss Mammass, Alamin Mansouri, Fathallah Nouboud.
by El Moataz, Abderrahim [editor.] | Mammass, Driss [editor.] | Mansouri, Alamin [editor.] | Nouboud, Fathallah [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
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [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 - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Domain Adaptation and Representation Transfer [electronic resource] : 4th MICCAI Workshop, DART 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Konstantinos Kamnitsas, Lisa Koch, Mobarakol Islam, Ziyue Xu, Jorge Cardoso, Qi Dou, Nicola Rieke, Sotirios Tsaftaris.
by Kamnitsas, Konstantinos [editor.] | Koch, Lisa [editor.] | Islam, Mobarakol [editor.] | Xu, Ziyue [editor.] | Cardoso, Jorge [editor.] | Dou, Qi [editor.] | Rieke, Nicola [editor.] | Tsaftaris, Sotirios [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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings / edited by Tanya Braun, Diana Cristea, Robert Jäschke.
by Braun, Tanya [editor.] | Cristea, Diana [editor.] | Jäschke, Robert [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
|
|
|
|
Simplifying Medical Ultrasound [electronic resource] : Third International Workshop, ASMUS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Stephen Aylward, J. Alison Noble, Yipeng Hu, Su-Lin Lee, Zachary Baum, Zhe Min.
by Aylward, Stephen [editor.] | Noble, J. Alison [editor.] | Hu, Yipeng [editor.] | Lee, Su-Lin [editor.] | Baum, Zachary [editor.] | Min, Zhe [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
|
|
|
|
Predictive Intelligence in Medicine [electronic resource] : 5th International Workshop, PRIME 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Islem Rekik, Ehsan Adeli, Sang Hyun Park, Celia Cintas.
by Rekik, Islem [editor.] | Adeli, Ehsan [editor.] | Park, Sang Hyun [editor.] | Cintas, Celia [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
|
|
|
|
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling.
by Caltais, Georgiana [editor.] | Schilling, Christian [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
|
|
|
|
Image and Vision Computing [electronic resource] : 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24-25, 2022, Revised Selected Papers / edited by Wei Qi Yan, Minh Nguyen, Martin Stommel.
by Yan, Wei Qi [editor.] | Nguyen, Minh [editor.] | Stommel, Martin [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
|
|
|
|
Information Security Applications [electronic resource] : 23rd International Conference, WISA 2022, Jeju Island, South Korea, August 24-26, 2022, Revised Selected Papers / edited by Ilsun You, Taek-Young Youn.
by You, Ilsun [editor.] | Youn, Taek-Young [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 Mathematics Modeling in Cancer Analysis [electronic resource] : First International Workshop, CMMCA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Wenjian Qin, Nazar Zaki, Fa Zhang, Jia Wu, Fan Yang.
by Qin, Wenjian [editor.] | Zaki, Nazar [editor.] | Zhang, Fa [editor.] | Wu, Jia [editor.] | Yang, Fan [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 Safety, Reliability, and Security [electronic resource] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.
by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
