|
|
|
Advances in Cryptology - CRYPTO 2023 [electronic resource] : 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part IV / edited by Helena Handschuh, Anna Lysyanskaya.
by Handschuh, Helena [editor.] | Lysyanskaya, Anna [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
|
|
|
|
Advances in Cryptology - CRYPTO 2023 [electronic resource] : 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III / edited by Helena Handschuh, Anna Lysyanskaya.
by Handschuh, Helena [editor.] | Lysyanskaya, Anna [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
|
|
|
|
Advances in Cryptology - CRYPTO 2023 [electronic resource] : 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II / edited by Helena Handschuh, Anna Lysyanskaya.
by Handschuh, Helena [editor.] | Lysyanskaya, Anna [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
|
|
|
|
Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang.
by Chang, Stephen [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
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16-18, 2023, Proceedings / edited by Thomas Johansson, Daniel Smith-Tone.
by Johansson, Thomas [editor.] | Smith-Tone, Daniel [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II / edited by Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma.
by Jin, Zhi [editor.] | Jiang, Yuncheng [editor.] | Buchmann, Robert Andrei [editor.] | Bi, Yaxin [editor.] | Ghiran, Ana-Maria [editor.] | Ma, Wenjun [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part I / edited by Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma.
by Jin, Zhi [editor.] | Jiang, Yuncheng [editor.] | Buchmann, Robert Andrei [editor.] | Bi, Yaxin [editor.] | Ghiran, Ana-Maria [editor.] | Ma, Wenjun [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
|
|
|
|
Intelligent Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings / edited by De-Shuang Huang, Kyungsook Han, Michael Gromiha.
by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Gromiha, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston.
by Petrucci, Laure [editor.] | Sproston, Jeremy [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
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4-7, 2023, Proceedings / edited by Alberto Abelló, Panos Vassiliadis, Oscar Romero, Robert Wrembel.
by Abelló, Alberto [editor.] | Vassiliadis, Panos [editor.] | Romero, Oscar [editor.] | Wrembel, Robert [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
|
|
|
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / edited by Francois Fages, Sylvain Soliman.
by Fages, Francois [editor.] | Soliman, Sylvain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages with Applications to Biology and Security [electronic resource] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami.
by Bodei, Chiara [editor.] | Ferrari, Gianluigi [editor.] | Priami, Corrado [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings / edited by Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy.
by Galinina, Olga [editor.] | Andreev, Sergey [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / edited by Martin Frith, Christian Nørgaard Storm Pedersen.
by Frith, Martin [editor.] | Storm Pedersen, Christian Nørgaard [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
|
|
|
|
Bioinspired Optimization Methods and Their Applications [electronic resource] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / edited by Peter Korošec, Nouredine Melab, El-Ghazali Talbi.
by Korošec, Peter [editor.] | Melab, Nouredine [editor.] | Talbi, El-Ghazali [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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
|
|
|
|
Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Graçaliz Pereira Dimuro, Luis Antunes.
by Dimuro, Graçaliz Pereira [editor.] | Antunes, Luis [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
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22-25, 2020, Proceedings / edited by Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Hideo Joho, Christina Lioma, Carsten Eickhoff, Aurélie Névéol, Linda Cappellato, Nicola Ferro.
by Arampatzis, Avi [editor.] | Kanoulas, Evangelos [editor.] | Tsikrika, Theodora [editor.] | Vrochidis, Stefanos [editor.] | Joho, Hideo [editor.] | Lioma, Christina [editor.] | Eickhoff, Carsten [editor.] | Névéol, Aurélie [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [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
|
|
|
|
AI Approaches to the Complexity of Legal Systems XI-XII [electronic resource] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers / edited by Víctor Rodríguez-Doncel, Monica Palmirani, Michał Araszkiewicz, Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor.
by Rodríguez-Doncel, Víctor [editor.] | Palmirani, Monica [editor.] | Araszkiewicz, Michał [editor.] | Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Sartor, Giovanni [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
|
|
|
|
Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data [electronic resource] : 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Mauricio Reyes, Pedro Henriques Abreu, Jaime Cardoso, Mustafa Hajij, Ghada Zamzmi, Paul Rahul, Lokendra Thakur.
by Reyes, Mauricio [editor.] | Henriques Abreu, Pedro [editor.] | Cardoso, Jaime [editor.] | Hajij, Mustafa [editor.] | Zamzmi, Ghada [editor.] | Rahul, Paul [editor.] | Thakur, Lokendra [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
|
