|
|
|
Artificial Evolution [electronic resource] : 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers / edited by Pierrick Legrand, Arnaud Liefooghe, Edward Keedwell, Julien Lepagnot, Lhassane Idoumghar, Nicolas Monmarché, Evelyne Lutton.
by Legrand, Pierrick [editor.] | Liefooghe, Arnaud [editor.] | Keedwell, Edward [editor.] | Lepagnot, Julien [editor.] | Idoumghar, Lhassane [editor.] | Monmarché, Nicolas [editor.] | Lutton, Evelyne [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
|
|
|
|
Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler.
by Abdelnour Nocera, José [editor.] | Kristín Lárusdóttir, Marta [editor.] | Petrie, Helen [editor.] | Piccinno, Antonio [editor.] | Winckler, Marco [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter.
by Glück, Roland [editor.] | Santocanale, Luigi [editor.] | Winter, Michael [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
|
|
|
|
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.
by Aït-Ameur, Yamine [editor.] | Crăciun, Florin [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
|
|
|
|
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings / edited by Nicolas Behr, Daniel Strüber.
by Behr, Nicolas [editor.] | Strüber, 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
|
|
|
|
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
|
|
|
|
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.
by Dubois, Catherine [editor.] | San Pietro, Pierluigi [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 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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part IV / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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 - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part III / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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 - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part I / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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
|
|
|
|
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
|
|
|
|
Foundations and Practice of Security [electronic resource] : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers / edited by Guy-Vincent Jourdan, Laurent Mounier, Carlisle Adams, Florence Sèdes, Joaquin Garcia-Alfaro.
by Jourdan, Guy-Vincent [editor.] | Mounier, Laurent [editor.] | Adams, Carlisle [editor.] | Sèdes, Florence [editor.] | Garcia-Alfaro, Joaquin [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 - ACCV 2022 Workshops [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers / edited by Yinqiang Zheng, Hacer Yalim Keleş, Piotr Koniusz.
by Zheng, Yinqiang [editor.] | Keleş, Hacer Yalim [editor.] | Koniusz, Piotr [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 - ACCV 2022 [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part V / edited by Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa.
by Wang, Lei [editor.] | Gall, Juergen [editor.] | Chin, Tat-Jun [editor.] | Sato, Imari [editor.] | Chellappa, Rama [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
|
|
|
|
Data and Applications Security and Privacy XXXVI [electronic resource] : 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022, Proceedings / edited by Shamik Sural, Haibing Lu.
by Sural, Shamik [editor.] | Lu, Haibing [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak.
by Varzinczak, Ivan [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
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part II / edited by Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz.
by Miesenberger, Klaus [editor.] | Kouroupetroglou, Georgios [editor.] | Mavrou, Katerina [editor.] | Manduchi, Roberto [editor.] | Covarrubias Rodriguez, Mario [editor.] | Penáz, Petr [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
|
