|
|
|
Advances in Computer Games [electronic resource] : 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers / edited by Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer.
by Hartisch, Michael [editor.] | Hsueh, Chu-Hsuan [editor.] | Schaeffer, Jonathan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings / edited by Bernd Fischer, Tarmo Uustalu.
by Fischer, Bernd [editor.] | Uustalu, Tarmo [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
|
|
|
|
Information Security and Cryptology [electronic resource] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part I / edited by Chunpeng Ge, Moti Yung.
by Ge, Chunpeng [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web - ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part II / edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.
by Vrandečić, Denny [editor.] | Bontcheva, Kalina [editor.] | Suárez-Figueroa, Mari Carmen [editor.] | Presutti, Valentina [editor.] | Celino, Irene [editor.] | Sabou, Marta [editor.] | Kaffee, Lucie-Aimée [editor.] | Simperl, Elena [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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 Data and Social Networks [electronic resource] : 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings / edited by Minh Hoàng Hà, Xingquan Zhu, My T. Thai.
by Hà, Minh Hoàng [editor.] | Zhu, Xingquan [editor.] | Thai, My T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings / edited by Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen.
by Uehara, Ryuhei [editor.] | Yamanaka, Katsuhisa [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28-30, 2018, Proceedings / edited by Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik.
by Traore, Issa [editor.] | Woungang, Isaac [editor.] | Ahmed, Sherif Saad [editor.] | Malik, Yasir [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Bioinformatics Research and Applications [electronic resource] : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings / edited by Zhipeng Cai, Pavel Skums, Min Li.
by Cai, Zhipeng [editor.] | Skums, Pavel [editor.] | Li, Min [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
|
|
|
|
Finite Difference Methods. Theory and Applications [electronic resource] : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.
by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security. ESORICS 2023 International Workshops [electronic resource] : CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I / edited by Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens-Boulahia, Costas Lambrinoudakis, Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Pantaleone Nespoli, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis.
by Katsikas, Sokratis [editor.] | Cuppens, Frédéric [editor.] | Cuppens-Boulahia, Nora [editor.] | Lambrinoudakis, Costas [editor.] | Garcia-Alfaro, Joaquin [editor.] | Navarro-Arribas, Guillermo [editor.] | Nespoli, Pantaleone [editor.] | Kalloniatis, Christos [editor.] | Mylopoulos, John [editor.] | Antón, Annie [editor.] | Gritzalis, Stefanos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings / edited by Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen.
by Kaliszyk, Cezary [editor.] | Brady, Edwin [editor.] | Kohlhase, Andrea [editor.] | Sacerdoti Coen, Claudio [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
|
|
|
|
Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Egon Börger, Vincenzo Gervasi.
by Börger, Egon [author.] | Gervasi, Vincenzo [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science - ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part V / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot.
by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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
|
|
|
|
Blockchains [electronic resource] : A Handbook on Fundamentals, Platforms and Applications / edited by Sushmita Ruj, Salil S. Kanhere, Mauro Conti.
by Ruj, Sushmita [editor.] | Kanhere, Salil S [editor.] | Conti, Mauro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / edited by Serenella Cerrito, Andrei Popescu.
by Cerrito, Serenella [editor.] | Popescu, Andrei [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
|
|
|
|
LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II / edited by José A. Soto, Andreas Wiese.
by Soto, José A [editor.] | Wiese, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
