|
|
Theory of Cryptography [electronic resource] : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part II / edited by Kobbi Nissim, Brent Waters.
by Nissim, Kobbi [editor.] | Waters, Brent [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
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof.
by De Angelis, Emanuele [editor.] | Vanhoof, Wim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
Code-Based Cryptography [electronic resource] : 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers / edited by Antonia Wachter-Zeh, Hannes Bartz, Gianluigi Liva.
by Wachter-Zeh, Antonia [editor.] | Bartz, Hannes [editor.] | Liva, Gianluigi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 21st International Conference, NEW2AN 2021, and 14th Conference, ruSMART 2021, St. Petersburg, Russia, August 26-27, 2021, Proceedings / edited by Yevgeni Koucheryavy, Sergey Balandin, Sergey Andreev.
by Koucheryavy, Yevgeni [editor.] | Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek.
by Shen, Hong [editor.] | Sang, Yingpeng [editor.] | Zhang, Yong [editor.] | Xiao, Nong [editor.] | Arabnia, Hamid R [editor.] | Fox, Geoffrey [editor.] | Gupta, Ajay [editor.] | Malek, Manu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings / edited by Petra Mutzel, Md. Saidur Rahman, Slamin.
by Mutzel, Petra [editor.] | Rahman, Md. Saidur [editor.] | Slamin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura.
by Correia, João [editor.] | Smith, Stephen [editor.] | Qaddoura, Raneem [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
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa.
by Takizawa, Hiroyuki [editor.] | Shen, Hong [editor.] | Hanawa, Toshihiro [editor.] | Hyuk Park, Jong [editor.] | Tian, Hui [editor.] | Egawa, Ryusuke [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
|
|
|
Code-Based Cryptography [electronic resource] : 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers / edited by Jean-Christophe Deneuville.
by Deneuville, Jean-Christophe [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
|
|
|
Genetic Programming [electronic resource] : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by Gisele Pappa, Mario Giacobini, Zdenek Vasicek.
by Pappa, Gisele [editor.] | Giacobini, Mario [editor.] | Vasicek, Zdenek [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
|
|
|
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz.
by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | de Jager, Tikitu [editor.] | Schulz, Katrin [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
|
|
|
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker.
by Bosse, Tibor [editor.] | Geller, Armando [editor.] | Jonker, Catholijn M [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
|
|
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings / edited by Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack.
by van Emde Boas, Peter [editor.] | Groen, Frans C.A [editor.] | Italiano, Giuseppe F [editor.] | Nawrocki, Jerzy [editor.] | Sack, Harald [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
|
|
|
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal.
by Kirchner, Matthias [editor.] | Ghosal, Dipak [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
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.
by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [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
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11-14, 2017, Proceedings / edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro.
by Jones, Gareth J.F [editor.] | Lawless, Séamus [editor.] | Gonzalo, Julio [editor.] | Kelly, Liadh [editor.] | Goeuriot, Lorraine [editor.] | Mandl, Thomas [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [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
|
|
|
AI*IA 2015 Advances in Artificial Intelligence [electronic resource] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi.
by Gavanelli, Marco [editor.] | Lamma, Evelina [editor.] | Riguzzi, Fabrizio [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
|
|
|
Arithmetic of Finite Fields [electronic resource] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / edited by Sylvain Duquesne, Svetla Petkova-Nikova.
by Duquesne, Sylvain [editor.] | Petkova-Nikova, Svetla [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
|
|
|
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.
by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [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
|
|
|
Advances in Spatial and Temporal Databases [electronic resource] : 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings / edited by Michael Gertz, Matthias Renz, Xiaofang Zhou, Erik Hoel, Wei-Shinn Ku, Agnes Voisard, Chengyang Zhang, Haiquan Chen, Liang Tang, Yan Huang, Chang-Tien Lu, Siva Ravada.
by Gertz, Michael [editor.] | Renz, Matthias [editor.] | Zhou, Xiaofang [editor.] | Hoel, Erik [editor.] | Ku, Wei-Shinn [editor.] | Voisard, Agnes [editor.] | Zhang, Chengyang [editor.] | Chen, Haiquan [editor.] | Tang, Liang [editor.] | Huang, Yan [editor.] | Lu, Chang-Tien [editor.] | Ravada, Siva [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
|