|
|
|
Advances in Cryptology - EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings / edited by Moni Naor.
by Naor, Moni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada.
by Bezhanishvili, Nick [editor.] | Löbner, Sebastian [editor.] | Schwabe, Kerstin [editor.] | Spada, Luca [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
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings / edited by Ana L.C. Bazzan, Mark Craven, Natalia F. Martins.
by Bazzan, Ana L.C [editor.] | Craven, Mark [editor.] | Martins, Natalia F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado.
by Petrenko, Alexandre [editor.] | Simao, Adenilso [editor.] | Maldonado, José Carlos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud Computing and Security [electronic resource] : Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II / edited by Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino.
by Sun, Xingming [editor.] | Chao, Han-Chieh [editor.] | You, Xingang [editor.] | Bertino, Elisa [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
|
|
|
|
End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / edited by Volkmar Pipek, Mary-Beth Rosson, Volker Wulf.
by Pipek, Volkmar [editor.] | Rosson, Mary-Beth [editor.] | Wulf, Volker [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares.
by Preneel, Bart [editor.] | Tavares, Stafford [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
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / edited by Bin Xiao, Laurence T. Yang, Christian Muller-Schloer, Yu Hua.
by Xiao, Bin [editor.] | Yang, Laurence T [editor.] | Muller-Schloer, Christian [editor.] | Hua, Yu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] : 11th International Conference, NEW2AN 2011 and 4th Conference on Smart Spaces, RuSMART 2011, St. Petersburg, Russia, August 22-15, 2011, Proceedings / edited by Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu.
by Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | Hu, Honglin [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
|
|
|
|
Reliable Software Technologies - Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / edited by António Casimiro, Pedro M. Ferreira.
by Casimiro, António [editor.] | Ferreira, Pedro M [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / edited by Bor-Yuh Evan Chang.
by Chang, Bor-Yuh Evan [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.
by Duan, Zhenhua [editor.] | Ong, Luke [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II / edited by Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen.
by Chen, Zhiyong [editor.] | Mendes, Alexandre [editor.] | Yan, Yamin [editor.] | Chen, Shifeng [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
|
|
|
|
Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke.
by Bennaceur, Amel [editor.] | Hähnle, Reiner [editor.] | Meinke, Karl [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
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers / edited by Shivam Bhasin, Thomas Roche.
by Bhasin, Shivam [editor.] | Roche, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities [electronic resource] : Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca, Anne Martel, Lena Maier-Hein, Sarah Parisot, Aristeidis Sotiras, Bartlomiej Papiez, Mert R. Sabuncu, Li Shen.
by Stoyanov, Danail [editor.] | Taylor, Zeike [editor.] | Ferrante, Enzo [editor.] | Dalca, Adrian V [editor.] | Martel, Anne [editor.] | Maier-Hein, Lena [editor.] | Parisot, Sarah [editor.] | Sotiras, Aristeidis [editor.] | Papiez, Bartlomiej [editor.] | Sabuncu, Mert R [editor.] | Shen, 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
|
|
|
|
Explainable Artificial Intelligence and Process Mining Applications for Healthcare [electronic resource] : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings / edited by Jose M. Juarez, Carlos Fernandez-Llatas, Concha Bielza, Owen Johnson, Primoz Kocbek, Pedro Larrañaga, Niels Martin, Jorge Munoz-Gama, Gregor Štiglic, Marcos Sepulveda, Alfredo Vellido.
by Juarez, Jose M [editor.] | Fernandez-Llatas, Carlos [editor.] | Bielza, Concha [editor.] | Johnson, Owen [editor.] | Kocbek, Primoz [editor.] | Larrañaga, Pedro [editor.] | Martin, Niels [editor.] | Munoz-Gama, Jorge [editor.] | Štiglic, Gregor [editor.] | Sepulveda, Marcos [editor.] | Vellido, Alfredo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings / edited by Liqun Chen, Mark Manulis, Steve Schneider.
by Chen, Liqun [editor.] | Manulis, Mark [editor.] | Schneider, Steve [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 Security and Cryptology [electronic resource] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II / edited by Chunpeng Ge, Moti Yung.
by Ge, Chunpeng [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings / edited by Andreas Podelski.
by Podelski, Andreas [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
|
