|
|
|
Number-Theoretic Methods in Cryptology [electronic resource] : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / edited by Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała.
by Kaczorowski, Jerzy [editor.] | Pieprzyk, Josef [editor.] | Pomykała, Jacek [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
|
|
|
|
Web Information Systems Engineering - WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li.
by Bouguettaya, Athman [editor.] | Gao, Yunjun [editor.] | Klimenko, Andrey [editor.] | Chen, Lu [editor.] | Zhang, Xiangliang [editor.] | Dzerzhinskiy, Fedor [editor.] | Jia, Weijia [editor.] | Klimenko, Stanislav V [editor.] | Li, Qing [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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi.
by Madhavji, Nazim [editor.] | Pasquale, Liliana [editor.] | Ferrari, Alessio [editor.] | Gnesi, Stefania [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A. C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
by Areces, Carlos [editor.] | Costa, Diana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.
by Mikyška, Jiří [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Herve Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F Cruz.
by Meersman, Robert [editor.] | Panetto, Herve [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric T Matson.
by Noriega, Pablo [editor.] | Vázquez-Salceda, Javier [editor.] | Boella, Guido [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | Fornara, Nicoletta [editor.] | Matson, Eric T [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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2015 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna.
by Debruyne, Christophe [editor.] | Panetto, Hervé [editor.] | Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Weichhart, Georg [editor.] | An, Yuan [editor.] | Ardagna, Claudio Agostino [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
|
|
|
|
Service-Oriented Computing - ICSOC 2014 Workshops [electronic resource] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri.
by Toumani, Farouk [editor.] | Pernici, Barbara [editor.] | Grigori, Daniela [editor.] | Benslimane, Djamal [editor.] | Mendling, Jan [editor.] | Ben Hadj-Alouane, Nejib [editor.] | Blake, Brian [editor.] | Perrin, Olivier [editor.] | Saleh Moustafa, Iman [editor.] | Bhiri, Sami [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
|
|
|
|
Web Information Systems Engineering -- WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
by Lin, Xuemin [editor.] | Manolopoulos, Yannis [editor.] | Srivastava, Divesh [editor.] | Huang, Guangyan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Software Architecture [electronic resource] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic.
by Weyns, Danny [editor.] | Mirandola, Raffaela [editor.] | Crnkovic, Ivica [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
|
|
|
|
ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.
by Treharne, Helen [editor.] | King, Steve [editor.] | Henson, Martin [editor.] | Schneider, Steve [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 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander.
by Lopes, Luís [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, José [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jesus [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [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
|
|
|
|
Parallel Processing and Applied Mathematics, Part I [electronic resource] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Wasniewski, Jerzy [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
|
|
|
|
Software Reuse: Bridging with Social-Awareness [electronic resource] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / edited by Georgia M. Kapitsaki, Eduardo Santana de Almeida.
by Kapitsaki, Georgia M [editor.] | Santana de Almeida, 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
|
|
|
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [electronic resource] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / edited by Yves Demazeau, Keith S. Decker, Javier Bajo Pérez, Fernando de la Prieta.
by Demazeau, Yves [editor.] | Decker, Keith S [editor.] | Bajo Pérez, Javier [editor.] | de la Prieta, Fernando [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
|
