|
|
|
Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / edited by Joonsang Baek, Willy Susilo, Jongkil Kim.
by Baek, Joonsang [editor.] | Susilo, Willy [editor.] | Kim, Jongkil [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
|
|
|
|
The Theory of Timed I/O Automata, Second Edition [electronic resource] / by Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager.
by Kaynar, Dilsun [author.] | Lynch, Nancy [author.] | Segala, Roberto [author.] | Vaandrager, Frits [author.] | SpringerLink (Online service). Edition: 2nd ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Selected Areas in Cryptography - SAC 2018 [electronic resource] : 25th International Conference, Calgary, AB, Canada, August 15-17, 2018, Revised Selected Papers / edited by Carlos Cid, Michael J. Jacobson Jr.
by Cid, Carlos [editor.] | Jacobson Jr., Michael J [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
|
|
|
|
Statistical Significance Testing for Natural Language Processing [electronic resource] / by Rotem Dror, Lotem Peled-Cohen, Segev Shlomov, Roi Reichart.
by Dror, Rotem [author.] | Peled-Cohen, Lotem [author.] | Shlomov, Segev [author.] | Reichart, Roi [author.] | 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
|
|
|
|
Syntax-based Statistical Machine Translation [electronic resource] / by Philip Williams, Rico Sennrich, Matt Post, Philipp Koehn.
by Williams, Philip [author.] | Sennrich, Rico [author.] | Post, Matt [author.] | Koehn, Philipp [author.] | 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
|
|
|
|
Grammatical Inference for Computational Linguistics [electronic resource] / by Jeffrey Heinz, Colin de la Higuera, Menno van Zaanen.
by Heinz, Jeffrey [author.] | Higuera, Colin de la [author.] | Zaanen, Menno van [author.] | 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
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 10th International Conference, PQCrypto 2019, Chongqing, China, May 8-10, 2019 Revised Selected Papers / edited by Jintai Ding, Rainer Steinwandt.
by Ding, Jintai [editor.] | Steinwandt, Rainer [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
|
|
|
|
Transactions on Computational Collective Intelligence XXXIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Fatos Xhafa.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Xhafa, Fatos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
by Balduccini, Marcello [editor.] | Lierler, Yuliya [editor.] | Woltran, Stefan [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
|
|
|
|
Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / edited by Md. Aquil Khan, Amaldev Manuel.
by Khan, Md. Aquil [editor.] | Manuel, Amaldev [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Rough Sets XXI [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings / edited by Bor-Yuh Evan Chang.
by Chang, Bor-Yuh Evan [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
|
|
|
|
Cells and Biomaterials for Intervertebral Disc Regeneration [electronic resource] / by Sibylle Grad, Mauro Alini, David Eglin, Daisuke Sakai, Joji Mochida, Sunil Mahor, Biraja Dash, Abhay Pandit, Estelle Collin.
by Grad, Sibylle [author.] | Alini, Mauro [author.] | Eglin, David [author.] | Sakai, Daisuke [author.] | Mochida, Joji [author.] | Mahor, Sunil [author.] | Dash, Biraja [author.] | Pandit, Abhay [author.] | Collin, Estelle [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part II / edited by Alexandra Boldyreva, Daniele Micciancio.
by Boldyreva, Alexandra [editor.] | Micciancio, Daniele [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
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings / edited by Chris Thachuk, Yan Liu.
by Thachuk, Chris [editor.] | Liu, Yan [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
|
|
|
|
Perspectives of System Informatics [electronic resource] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.
by Bjørner, Nikolaj [editor.] | Virbitskaite, Irina [editor.] | Voronkov, 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
|
|
|
|
AI 2019: Advances in Artificial Intelligence [electronic resource] : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings / edited by Jixue Liu, James Bailey.
by Liu, Jixue [editor.] | Bailey, James [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 of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II / edited by Dennis Hofheinz, Alon Rosen.
by Hofheinz, Dennis [editor.] | Rosen, Alon [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
|
|
|
|
Formal Methods for the Analysis of Biomedical Ontologies [electronic resource] / by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui.
by Zhang, Guo-Qiang [author.] | Abeysinghe, Rashmie [author.] | Cui, Licong [author.] | 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
|
|
|
|
Rough Sets [electronic resource] : International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 - July 3, 2020, Proceedings / edited by Rafael Bello, Duoqian Miao, Rafael Falcon, Michinori Nakata, Alejandro Rosete, Davide Ciucci.
by Bello, Rafael [editor.] | Miao, Duoqian [editor.] | Falcon, Rafael [editor.] | Nakata, Michinori [editor.] | Rosete, Alejandro [editor.] | Ciucci, Davide [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
|
