|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings / edited by Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez.
by Braun, Tanya [editor.] | Gehrke, Marcel [editor.] | Hanika, Tom [editor.] | Hernandez, Nathalie [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
|
|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2021 [electronic resource] : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part I / edited by Igor Farkaš, Paolo Masulli, Sebastian Otte, Stefan Wermter.
by Farkaš, Igor [editor.] | Masulli, Paolo [editor.] | Otte, Sebastian [editor.] | Wermter, 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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Performance Evaluation and Benchmarking [electronic resource] : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / edited by Alfons Laarman, Ana Sokolova.
by Laarman, Alfons [editor.] | Sokolova, Ana [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
|
|
|
|
Algorithms and Data Structures [electronic resource] : 17th International Symposium, WADS 2021, Virtual Event, August 9-11, 2021, Proceedings / edited by Anna Lubiw, Mohammad Salavatipour, Meng He.
by Lubiw, Anna [editor.] | Salavatipour, Mohammad [editor.] | He, Meng [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
|
|
|
|
Smart Computing and Communication [electronic resource] : 5th International Conference, SmartCom 2020, Paris, France, December 29-31, 2020, Proceedings / edited by Meikang Qiu.
by Qiu, Meikang [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
|
|
|
|
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Johnsen, Einar Broch [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
|
|
|
|
Artificial Intelligence and Security [electronic resource] : 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part II / edited by Xingming Sun, Xiaorui Zhang, Zhihua Xia, Elisa Bertino.
by Sun, Xingming [editor.] | Zhang, Xiaorui [editor.] | Xia, Zhihua [editor.] | Bertino, Elisa [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
|
|
|
|
Accelerator Programming Using Directives [electronic resource] : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara.
by Bhalachandra, Sridutt [editor.] | Daley, Christopher [editor.] | Melesse Vergara, Verónica [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
|
|
|
|
Biomedical Image Registration, Domain Generalisation and Out-of-Distribution Analysis [electronic resource] : MICCAI 2021 Challenges: MIDOG 2021, MOOD 2021, and Learn2Reg 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27-October 1, 2021, Proceedings / edited by Marc Aubreville, David Zimmerer, Mattias Heinrich.
by Aubreville, Marc [editor.] | Zimmerer, David [editor.] | Heinrich, Mattias [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 Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings / edited by Frank Dignum, Juan Manuel Corchado, Fernando De La Prieta.
by Dignum, Frank [editor.] | Corchado, Juan Manuel [editor.] | De La Prieta, Fernando [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 6th International Conference, ICR 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [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
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 [electronic resource] : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part V / edited by Marleen de Bruijne, Philippe C. Cattin, Stéphane Cotin, Nicolas Padoy, Stefanie Speidel, Yefeng Zheng, Caroline Essert.
by de Bruijne, Marleen [editor.] | Cattin, Philippe C [editor.] | Cotin, Stéphane [editor.] | Padoy, Nicolas [editor.] | Speidel, Stefanie [editor.] | Zheng, Yefeng [editor.] | Essert, Caroline [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers / edited by Łukasz Kowalik, Michał Pilipczuk, Paweł Rzążewski.
by Kowalik, Łukasz [editor.] | Pilipczuk, Michał [editor.] | Rzążewski, Paweł [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings / edited by Katja Gilly, Nigel Thomas.
by Gilly, Katja [editor.] | Thomas, Nigel [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
|
|
|
|
Biomedical Image Registration [electronic resource] : 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings / edited by Alessa Hering, Julia Schnabel, Miaomiao Zhang, Enzo Ferrante, Mattias Heinrich, Daniel Rueckert.
by Hering, Alessa [editor.] | Schnabel, Julia [editor.] | Zhang, Miaomiao [editor.] | Ferrante, Enzo [editor.] | Heinrich, Mattias [editor.] | Rueckert, Daniel [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
|
|
|
|
Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022, Revised Selected Papers / edited by Essaid Sabir, Halima Elbiaze, Francisco Falcone, Wessam Ajib, Mohamed Sadik.
by Sabir, Essaid [editor.] | Elbiaze, Halima [editor.] | Falcone, Francisco [editor.] | Ajib, Wessam [editor.] | Sadik, Mohamed [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers / edited by Mari Carmen Aguayo-Torres, Gerardo Gómez, Javier Poncela.
by Aguayo-Torres, Mari Carmen [editor.] | Gómez, Gerardo [editor.] | Poncela, Javier [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications - ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
