|
|
|
Advances in Cryptology - ASIACRYPT 2023 [electronic resource] : 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part II / edited by Jian Guo, Ron Steinfeld.
by Guo, Jian [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings / edited by Beniamino Di Martino, Dieter Kranzlmüller, Jack Dongarra.
by Di Martino, Beniamino [editor.] | Kranzlmüller, Dieter [editor.] | Dongarra, Jack [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
|
|
|
|
Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / edited by Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Traff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha.
by César, Eduardo [editor.] | Alexander, Michael [editor.] | Streit, Achim [editor.] | Traff, Jesper Larsson [editor.] | Cérin, Christophe [editor.] | Knüpfer, Andreas [editor.] | Kranzlmüller, Dieter [editor.] | Jha, Shantenu [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
|
|
|
|
Advances in Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II / edited by Salem Benferhat, Karim Tabia, Moonis Ali.
by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [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
|
|
|
|
Reliable Software Technologies - Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones.
by Bertogna, Marko [editor.] | Pinho, Luís Miguel [editor.] | Quiñones, Eduardo [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
|
|
|
|
Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III / edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang.
by Deng, Hepu [editor.] | Miao, Duoqian [editor.] | Lei, Jingsheng [editor.] | Wang, Fu Lee [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
|
|
|
|
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab.
by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [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
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II / edited by Joan Martí, José Miguel Benedí, Ana Maria Mendonça, Joan Serrat.
by Martí, Joan [editor.] | Benedí, José Miguel [editor.] | Mendonça, Ana Maria [editor.] | Serrat, Joan [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
|
|
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.
by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [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
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [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
|
|
|
|
Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010, Revised Papers / edited by Lirkov Ivan Dimov, Stefka Dimova, Natalia Kolkovska.
by Ivan Dimov, Lirkov [editor.] | Dimova, Stefka [editor.] | Kolkovska, Natalia [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
|
|
|
|
Information Security and Cryptology - ICISC 2016 [electronic resource] : 19th International Conference, Seoul, South Korea, November 30 - December 2, 2016, Revised Selected Papers / edited by Seokhie Hong, Jong Hwan Park.
by Hong, Seokhie [editor.] | Park, Jong Hwan [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione.
by Fantechi, Alessandro [editor.] | Pelliccione, Patrizio [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
|
|
|
|
Towards Trustworthy Elections [electronic resource] : New Directions in Electronic Voting / edited by David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida.
by Chaum, David [editor.] | Jakobsson, Markus [editor.] | Rivest, Ronald L [editor.] | Ryan, Peter Y. A [editor.] | Benaloh, Josh [editor.] | Kutylowski, Miroslaw [editor.] | Adida, Ben [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings / edited by Philip T. Cox, Beryl Plimmer, Peter Rodgers.
by Cox, Philip T [editor.] | Plimmer, Beryl [editor.] | Rodgers, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks [electronic resource] : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008 / edited by José A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis.
by Onieva, José A [editor.] | Sauveron, Damien [editor.] | Chaumette, Serge [editor.] | Gollmann, Dieter [editor.] | Markantonakis, Konstantinos [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal.
by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2015 [electronic resource] : 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / edited by Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Michal Wozniak, Hujun Yin.
by Jackowski, Konrad [editor.] | Burduk, Robert [editor.] | Walkowiak, Krzysztof [editor.] | Wozniak, Michal [editor.] | Yin, Hujun [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth McMillan, Xavier Rival.
by McMillan, Kenneth [editor.] | Rival, Xavier [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
|
|
|
|
Foundations and Practice of Security [electronic resource] : 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante.
by Garcia-Alfaro, Joaquin [editor.] | Kranakis, Evangelos [editor.] | Bonfante, Guillaume [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
|
