|
|
|
Internet and Network Economics [electronic resource] : First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings / edited by Xiaotie Deng, Yinyu Ye.
by Deng, Xiaotie [editor.] | Ye, Yinyu [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang.
by Lahiri, Shuvendu K [editor.] | Wang, Chao [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
|
|
|
|
Cryptology and Network Security [electronic resource] : 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings / edited by Jan Camenisch, Panos Papadimitratos.
by Camenisch, Jan [editor.] | Papadimitratos, Panos [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 Retrieval [electronic resource] : 24th China Conference, CCIR 2018, Guilin, China, September 27-29, 2018, Proceedings / edited by Shichao Zhang, Tie-Yan Liu, Xianxian Li, Jiafeng Guo, Chenliang Li.
by Zhang, Shichao [editor.] | Liu, Tie-Yan [editor.] | Li, Xianxian [editor.] | Guo, Jiafeng [editor.] | Li, Chenliang [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
|
|
|
|
Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, 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. 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
|
|
|
|
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VII / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa.
by Cheng, Long [editor.] | Leung, Andrew Chi Sing [editor.] | Ozawa, Seiichi [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
|
|
|
|
Immersive Analytics [electronic resource] / edited by Kim Marriott, Falk Schreiber, Tim Dwyer, Karsten Klein, Nathalie Henry Riche, Takayuki Itoh, Wolfgang Stuerzlinger, Bruce H. Thomas.
by Marriott, Kim [editor.] | Schreiber, Falk [editor.] | Dwyer, Tim [editor.] | Klein, Karsten [editor.] | Riche, Nathalie Henry [editor.] | Itoh, Takayuki [editor.] | Stuerzlinger, Wolfgang [editor.] | Thomas, Bruce H [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
|
|
|
|
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [electronic resource] : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings / edited by Ferhat Khendek, Reinhard Gotzhein.
by Khendek, Ferhat [editor.] | Gotzhein, Reinhard [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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2018 [electronic resource] : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings / edited by Debrup Chakraborty, Tetsu Iwata.
by Chakraborty, Debrup [editor.] | Iwata, Tetsu [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
|
|
|
|
Transactions on Computational Science XXXIV [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 - March 2, 2018, Revised Selected Papers / edited by Sarah Meiklejohn, Kazue Sako.
by Meiklejohn, Sarah [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 7-10, 2019, Revised Selected Papers / edited by Luis Kowada, Daniel de Oliveira.
by Kowada, Luis [editor.] | de Oliveira, Daniel [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings / edited by Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos.
by Brogi, Antonio [editor.] | Zimmermann, Wolf [editor.] | Kritikos, Kyriakos [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers / edited by Supratik Chakraborty, Jorge A. Navas.
by Chakraborty, Supratik [editor.] | Navas, Jorge A [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
|
|
|
|
Information Systems Security [electronic resource] : 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019, Proceedings / edited by Deepak Garg, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar.
by Garg, Deepak [editor.] | Kumar, N. V. Narendra [editor.] | Shyamasundar, Rudrapatna K [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
|
|
|
|
Advances in Cryptology - CRYPTO 2020 [electronic resource] : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part II / edited by Daniele Micciancio, Thomas Ristenpart.
by Micciancio, Daniele [editor.] | Ristenpart, Thomas [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 - CRYPTO 2020 [electronic resource] : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I / edited by Daniele Micciancio, Thomas Ristenpart.
by Micciancio, Daniele [editor.] | Ristenpart, Thomas [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
|
|
|
|
NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou.
by Lee, Ritchie [editor.] | Jha, Susmit [editor.] | Mavridou, Anastasia [editor.] | Giannakopoulou, Dimitra [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance.
by Dennis, Louise A [editor.] | Bordini, Rafael H [editor.] | Lespérance, Yves [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
|
|
|
|
Augmented Cognition. Human Cognition and Behavior [electronic resource] : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [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
|
