|
|
|
Distributed Computing [electronic resource] : 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings / edited by Fabian Kuhn.
by Kuhn, Fabian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / edited by Karem A. Sakallah, Laurent Simon.
by Sakallah, Karem A [editor.] | Simon, Laurent [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Security Protocols XXIV [electronic resource] : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers / edited by Jonathan Anderson, Vashek Matyáš, Bruce Christianson, Frank Stajano.
by Anderson, Jonathan [editor.] | Matyáš, Vashek [editor.] | Christianson, Bruce [editor.] | Stajano, Frank [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
|
|
|
|
Human-Computer Interaction. Applications and Services [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz.
by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [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
|
|
|
|
Analysis of Images, Social Networks and Texts [electronic resource] : 6th International Conference, AIST 2017, Moscow, Russia, July 27-29, 2017, Revised Selected Papers / edited by Wil M.P. van der Aalst, Dmitry I. Ignatov, Michael Khachay, Sergei O. Kuznetsov, Victor Lempitsky, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Andrey V. Savchenko, Stanley Wasserman.
by van der Aalst, Wil M.P [editor.] | Ignatov, Dmitry I [editor.] | Khachay, Michael [editor.] | Kuznetsov, Sergei O [editor.] | Lempitsky, Victor [editor.] | Lomazova, Irina A [editor.] | Loukachevitch, Natalia [editor.] | Napoli, Amedeo [editor.] | Panchenko, Alexander [editor.] | Pardalos, Panos M [editor.] | Savchenko, Andrey V [editor.] | Wasserman, Stanley [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
|
|
|
|
Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part II / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / edited by Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom.
by Chattopadhyay, Anupam [editor.] | Rebeiro, Chester [editor.] | Yarom, Yuval [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
|
|
|
Cellular Automata [electronic resource] : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings / edited by Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni.
by Mauri, Giancarlo [editor.] | El Yacoubi, Samira [editor.] | Dennunzio, Alberto [editor.] | Nishinari, Katsuhiro [editor.] | Manzoni, Luca [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
|
|
|
|
Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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
|
|
|
|
Database Systems for Advanced Applications. DASFAA 2021 International Workshops [electronic resource] : BDQM, GDMA, MLDLDSA, MobiSocial, and MUST, Taipei, Taiwan, April 11-14, 2021, Proceedings / edited by Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Chia-Hui Chang, Jianliang Xu, Wen-Chih Peng, Jen-Wei Huang, Chih-Ya Shen.
by Jensen, Christian S [editor.] | Lim, Ee-Peng [editor.] | Yang, De-Nian [editor.] | Chang, Chia-Hui [editor.] | Xu, Jianliang [editor.] | Peng, Wen-Chih [editor.] | Huang, Jen-Wei [editor.] | Shen, Chih-Ya [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I / edited by Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani.
by Hiemstra, Djoerd [editor.] | Moens, Marie-Francine [editor.] | Mothe, Josiane [editor.] | Perego, Raffaele [editor.] | Potthast, Martin [editor.] | Sebastiani, Fabrizio [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
|
|
|
|
Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part II / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part I / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part II / edited by Kazue Sako, Nils Ole Tippenhauer.
by Sako, Kazue [editor.] | Tippenhauer, Nils Ole [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings / edited by Kirstin Peters, Tim A. C. Willemse.
by Peters, Kirstin [editor.] | Willemse, Tim A. C [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings / edited by Ferruccio Damiani, Ornela Dardha.
by Damiani, Ferruccio [editor.] | Dardha, Ornela [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2021 [electronic resource] : 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part II / edited by Anne Canteaut, François-Xavier Standaert.
by Canteaut, Anne [editor.] | Standaert, François-Xavier [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2021 [electronic resource] : 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III / edited by Anne Canteaut, François-Xavier Standaert.
by Canteaut, Anne [editor.] | Standaert, François-Xavier [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
|
