|
|
|
Advances in Cryptology - CRYPTO 2020 [electronic resource] : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part III / edited by Daniele Micciancio, Thomas Ristenpart.
by Micciancio, Daniele [editor.] | Ristenpart, Thomas [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
|
|
|
|
Adaptive Instructional Systems [electronic resource] : Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings / edited by Robert A. Sottilare, Jessica Schwarz.
by Sottilare, Robert A [editor.] | Schwarz, Jessica [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
|
|
|
|
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV [electronic resource] : International Workshop, COINE 2021, London, UK, May 3, 2021, Revised Selected Papers / edited by Andreas Theodorou, Juan Carlos Nieves, Marina De Vos.
by Theodorou, Andreas [editor.] | Nieves, Juan Carlos [editor.] | De Vos, Marina [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
|
|
|
|
From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini.
by Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Pellungrini, Roberto [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
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 14th International Conference, SecITC 2021, Virtual Event, November 25-26, 2021, Revised Selected Papers / edited by Peter Y.A. Ryan, Cristian Toma.
by Ryan, Peter Y.A [editor.] | Toma, Cristian [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
|
|
|
|
Social Informatics [electronic resource] : 13th International Conference, SocInfo 2022, Glasgow, UK, October 19-21, 2022, Proceedings / edited by Frank Hopfgartner, Kokil Jaidka, Philipp Mayr, Joemon Jose, Jan Breitsohl.
by Hopfgartner, Frank [editor.] | Jaidka, Kokil [editor.] | Mayr, Philipp [editor.] | Jose, Joemon [editor.] | Breitsohl, Jan [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XX / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Software Architecture [electronic resource] : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by Ronald Morrison, Dharini Balasubramaniam, Katrina Falkner.
by Morrison, Ronald [editor.] | Balasubramaniam, Dharini [editor.] | Falkner, Katrina [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
|
|
|
|
Big Data Computing and Communications [electronic resource] : First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings / edited by Yu Wang, Hui Xiong, Shlomo Argamon, XiangYang Li, JianZhong Li.
by Wang, Yu [editor.] | Xiong, Hui [editor.] | Argamon, Shlomo [editor.] | Li, XiangYang [editor.] | Li, JianZhong [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part I / edited by Jie Tang, Irwin King, Ling Chen, Jianyong Wang.
by Tang, Jie [editor.] | King, Irwin [editor.] | Chen, Ling [editor.] | Wang, Jianyong [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 Image and Video Technology [electronic resource] : Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009, Proceedings / edited by Toshikazu Wada, Fay Huang, Stephen Lin.
by Wada, Toshikazu [editor.] | Huang, Fay [editor.] | Lin, Stephen [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
|
|
|
|
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings / edited by Darina Dicheva, Danail Dochev.
by Dicheva, Darina [editor.] | Dochev, Danail [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski.
by Aiello, Marco [editor.] | Johnsen, Einar Broch [editor.] | Dustdar, Schahram [editor.] | Georgievski, Ilche [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
|
|
|
|
Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book.
by Gschwind, Thomas [editor.] | De Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010, Proceedings / edited by Amol Deshpande, Anthony Hunter.
by Deshpande, Amol [editor.] | Hunter, Anthony [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
|
|
|
|
Human-Computer Interaction: Users and Contexts of Use [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings / edited by S. Arun-Kumar, Naveen Garg.
by Arun-Kumar, S [editor.] | Garg, Naveen [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
|
|
|
|
Aliasing in Object-Oriented Programming [electronic resource] : Types, Analysis and Verification / edited by David Clarke, Tobias Wrigstad, James Noble.
by Clarke, David [editor.] | Wrigstad, Tobias [editor.] | Noble, James [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
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013, Proceedings / edited by Salvatore J. Stolfo, Angelos Stavrou, Charles V. Wright.
by Stolfo, Salvatore J [editor.] | Stavrou, Angelos [editor.] | Wright, Charles V [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
|
