|
|
|
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz.
by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [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
|
|
|
|
Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part II / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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
|
|
|
|
Transactions on Computational Science XXXVI [electronic resource] : Special Issue on Cyberworlds and Cybersecurity / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Sourin, Alexei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings / edited by Juan Moreno García-Loygorri, Antonio Pérez-Yuste, César Briso, Marion Berbineau, Alain Pirovano, Jaizki Mendizábal.
by Moreno García-Loygorri, Juan [editor.] | Pérez-Yuste, Antonio [editor.] | Briso, César [editor.] | Berbineau, Marion [editor.] | Pirovano, Alain [editor.] | Mendizábal, Jaizki [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
|
|
|
|
Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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 Science - Theory and Applications [electronic resource] : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings / edited by Rahul Santhanam, Daniil Musatov.
by Santhanam, Rahul [editor.] | Musatov, Daniil [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
|
|
|
|
High Performance Computing [electronic resource] : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings / edited by Bradford L. Chamberlain, Ana-Lucia Varbanescu, Hatem Ltaief, Piotr Luszczek.
by Chamberlain, Bradford L [editor.] | Varbanescu, Ana-Lucia [editor.] | Ltaief, Hatem [editor.] | Luszczek, Piotr [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IX / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A. C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 - July 1, 2021, Proceedings / edited by Tomasz Jurdziński, Stefan Schmid.
by Jurdziński, Tomasz [editor.] | Schmid, Stefan [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo.
by Klusáček, Dalibor [editor.] | Cirne, Walfredo [editor.] | Rodrigo, Gonzalo P [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part IV / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy.
by Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Papadimitriou, Panagiotis [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2019, Würzburg, Germany, September 16-20, 2019, Proceedings, Part I / edited by Ulf Brefeld, Elisa Fromont, Andreas Hotho, Arno Knobbe, Marloes Maathuis, Céline Robardet.
by Brefeld, Ulf [editor.] | Fromont, Elisa [editor.] | Hotho, Andreas [editor.] | Knobbe, Arno [editor.] | Maathuis, Marloes [editor.] | Robardet, Céline [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers / edited by Xin He, En Shao, Guangming Tan.
by He, Xin [editor.] | Shao, En [editor.] | Tan, Guangming [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
|
|
|
|
Persuasive Technology [electronic resource] : 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12-14, 2021, Proceedings / edited by Raian Ali, Birgit Lugrin, Fred Charles.
by Ali, Raian [editor.] | Lugrin, Birgit [editor.] | Charles, Fred [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 17th International Symposium, ARC 2021, Virtual Event, June 29-30, 2021, Proceedings / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet.
by Derrien, Steven [editor.] | Hannig, Frank [editor.] | Diniz, Pedro C [editor.] | Chillet, Daniel [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 Concept Analysis [electronic resource] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings / edited by Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber.
by Braud, Agnès [editor.] | Buzmakov, Aleksey [editor.] | Hanika, Tom [editor.] | Le Ber, Florence [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings / edited by Hakjoo Oh.
by Oh, Hakjoo [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings / edited by Iris Reinhartz-Berger, Shazia Sadiq.
by Reinhartz-Berger, Iris [editor.] | Sadiq, Shazia [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
|
|
|
|
Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
by Drăgoi, Cezara [editor.] | Mukherjee, Suvam [editor.] | Namjoshi, Kedar [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
|
