|
|
|
Advances in Cryptology - CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part III / edited by Hovav Shacham, Alexandra Boldyreva.
by Shacham, Hovav [editor.] | Boldyreva, Alexandra [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone.
by Calimeri, Francesco [editor.] | Hamlen, Kevin [editor.] | Leone, Nicola [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings / edited by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli.
by Kritikos, Kyriakos [editor.] | Plebani, Pierluigi [editor.] | de Paoli, Flavio [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
|
|
|
|
Enjoying Natural Computing [electronic resource] : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / edited by Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Graciani, Carmen [editor.] | Riscos-Núñez, Agustín [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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
|
|
|
|
Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker.
by Colombo, Christian [editor.] | Leucker, Martin [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings / edited by Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee.
by Woo, Carson [editor.] | Lu, Jiaheng [editor.] | Li, Zhanhuai [editor.] | Ling, Tok Wang [editor.] | Li, Guoliang [editor.] | Lee, Mong Li [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
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers / edited by Jean-Louis Lanet, Cristian Toma.
by Lanet, Jean-Louis [editor.] | Toma, Cristian [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
|
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings / edited by Bernhard Burgeth, Andreas Kleefeld, Benoît Naegel, Nicolas Passat, Benjamin Perret.
by Burgeth, Bernhard [editor.] | Kleefeld, Andreas [editor.] | Naegel, Benoît [editor.] | Passat, Nicolas [editor.] | Perret, Benjamin [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
|
|
|
|
Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part IV / edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.
by Sun, Xingming [editor.] | Pan, Zhaoqing [editor.] | Bertino, Elisa [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci.
by Weyns, Danny [editor.] | Mascardi, Viviana [editor.] | Ricci, Alessandro [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
|
|
|
|
Universal Access in Human-Computer Interaction. Theory, Methods and Tools [electronic resource] : 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis.
by Antona, Margherita [editor.] | Stephanidis, Constantine [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers / edited by Ian Goldberg, Tyler Moore.
by Goldberg, Ian [editor.] | Moore, Tyler [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings / edited by Thomas Schiex, Simon de Givry.
by Schiex, Thomas [editor.] | de Givry, Simon [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
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings / edited by Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem.
by Kallel, Slim [editor.] | Cuppens, Frédéric [editor.] | Cuppens-Boulahia, Nora [editor.] | Hadj Kacem, Ahmed [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan.
by ter Beek, Maurice H [editor.] | Monahan, Rosemary [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
|
|
|
|
High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings / edited by Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc.
by Varbanescu, Ana-Lucia [editor.] | Bhatele, Abhinav [editor.] | Luszczek, Piotr [editor.] | Marc, Baboulin [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
|
|
|
|
ECOOP 2006 - Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / edited by Dave Thomas.
by Thomas, Dave [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Ubiquitous Mobile Information and Collaboration Systems [electronic resource] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / edited by Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera.
by Baresi, Luciano [editor.] | Dustdar, Schahram [editor.] | Gall, Harald [editor.] | Matera, Maristella [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
|
|
|
|
Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings / edited by Minming Li, Xiaoming Sun, Xiaowei Wu.
by Li, Minming [editor.] | Sun, Xiaoming [editor.] | Wu, Xiaowei [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
|
