|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte.
by Ribeiro, Leila [editor.] | Lecomte, Thierry [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
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers / edited by Ion Bica, David Naccache, Emil Simion.
by Bica, Ion [editor.] | Naccache, David [editor.] | Simion, Emil [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings / edited by Benjamin J. Raphael.
by Raphael, Benjamin J [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
|
|
|
|
Security, Privacy, and Anonymity in Computation, Communication, and Storage [electronic resource] : 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings / edited by Guojun Wang, Mohammed Atiquzzaman, Zheng Yan, Kim-Kwang Raymond Choo.
by Wang, Guojun [editor.] | Atiquzzaman, Mohammed [editor.] | Yan, Zheng [editor.] | Choo, Kim-Kwang Raymond [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach.
by Epstein, Leah [editor.] | Erlebach, Thomas [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 Cryptology - EUROCRYPT 2019 [electronic resource] : 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part II / edited by Yuval Ishai, Vincent Rijmen.
by Ishai, Yuval [editor.] | Rijmen, Vincent [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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2019 [electronic resource] : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II / edited by Hujun Yin, David Camacho, Peter Tino, Antonio J. Tallón-Ballesteros, Ronaldo Menezes, Richard Allmendinger.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Tino, Peter [editor.] | Tallón-Ballesteros, Antonio J [editor.] | Menezes, Ronaldo [editor.] | Allmendinger, Richard [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings / edited by Jianer Chen, Qilong Feng, Jinhui Xu.
by Chen, Jianer [editor.] | Feng, Qilong [editor.] | Xu, Jinhui [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 13th International Conference, SBP-BRiMS 2020, Washington, DC, USA, October 18-21, 2020, Proceedings / edited by Robert Thomson, Halil Bisgin, Christopher Dancy, Ayaz Hyder, Muhammad Hussain.
by Thomson, Robert [editor.] | Bisgin, Halil [editor.] | Dancy, Christopher [editor.] | Hyder, Ayaz [editor.] | Hussain, Muhammad [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings / edited by Zhao Zhang, Wei Li, Ding-Zhu Du.
by Zhang, Zhao [editor.] | Li, Wei [editor.] | Du, Ding-Zhu [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 8th Annual Privacy Forum, APF 2020, Lisbon, Portugal, October 22-23, 2020, Proceedings / edited by Luís Antunes, Maurizio Naldi, Giuseppe F. Italiano, Kai Rannenberg, Prokopios Drogkaris.
by Antunes, Luís [editor.] | Naldi, Maurizio [editor.] | Italiano, Giuseppe F [editor.] | Rannenberg, Kai [editor.] | Drogkaris, Prokopios [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
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Abir Hussain.
by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised Selected Papers / edited by Isolde Adler, Haiko Müller.
by Adler, Isolde [editor.] | Müller, Haiko [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
|
|
|
|
Reachability Problems [electronic resource] : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / edited by Sylvain Schmitz, Igor Potapov.
by Schmitz, Sylvain [editor.] | Potapov, Igor [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
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19-21, 2020, Proceedings / edited by Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo.
by Grieco, Luigi Alfredo [editor.] | Boggia, Gennaro [editor.] | Piro, Giuseppe [editor.] | Jararweh, Yaser [editor.] | Campolo, Claudia [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
|
|
|
|
Intelligent Systems [electronic resource] : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part II / edited by Ricardo Cerri, Ronaldo C. Prati.
by Cerri, Ricardo [editor.] | Prati, Ronaldo C [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2020 [electronic resource] : 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part I / edited by Shiho Moriai, Huaxiong Wang.
by Moriai, Shiho [editor.] | Wang, Huaxiong [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
|
|
|
|
Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers / edited by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel.
by Christakis, Maria [editor.] | Polikarpova, Nadia [editor.] | Duggirala, Parasara Sridhar [editor.] | Schrammel, Peter [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2020 [electronic resource] : 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part III / edited by Shiho Moriai, Huaxiong Wang.
by Moriai, Shiho [editor.] | Wang, Huaxiong [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2020 [electronic resource] : 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part II / edited by Shiho Moriai, Huaxiong Wang.
by Moriai, Shiho [editor.] | Wang, Huaxiong [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
|
