Your search returned 13673 results. Subscribe to this search

|
HCI International 2020 - Late Breaking Papers: Cognition, Learning and Games [electronic resource] : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings / edited by Constantine Stephanidis, Don Harris, Wen-Chin Li, Dylan D. Schmorrow, Cali M. Fidopiastis, Panayiotis Zaphiris, Andri Ioannou, Xiaowen Fang, Robert A. Sottilare, Jessica Schwarz.

by Stephanidis, Constantine [editor.] | Harris, Don [editor.] | Li, Wen-Chin [editor.] | Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | Zaphiris, Panayiotis [editor.] | Ioannou, Andri [editor.] | Fang, Xiaowen [editor.] | Sottilare, Robert A [editor.] | Schwarz, Jessica [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Network and System Security [electronic resource] : 14th International Conference, NSS 2020, Melbourne, VIC, Australia, November 25-27, 2020, Proceedings / edited by Mirosław Kutyłowski, Jun Zhang, Chao Chen.

by Kutyłowski, Mirosław [editor.] | Zhang, Jun [editor.] | Chen, Chao [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings / edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.

by Lin, Shang-Wei [editor.] | Hou, Zhe [editor.] | Mahony, Brendan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Transactions on Rough Sets XXII [electronic resource] / edited by James F. Peters, Andrzej Skowron.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Computer Security [electronic resource] : ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers / edited by Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis, Weizhi Meng, Steven Furnell.

by Katsikas, Sokratis [editor.] | Cuppens, Frédéric [editor.] | Cuppens, Nora [editor.] | Lambrinoudakis, Costas [editor.] | Kalloniatis, Christos [editor.] | Mylopoulos, John [editor.] | Antón, Annie [editor.] | Gritzalis, Stefanos [editor.] | Meng, Weizhi [editor.] | Furnell, Steven [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Theory of Cryptography [electronic resource] : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part I / edited by Rafael Pass, Krzysztof Pietrzak.

by Pass, Rafael [editor.] | Pietrzak, Krzysztof [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Theory of Cryptography [electronic resource] : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II / edited by Rafael Pass, Krzysztof Pietrzak.

by Pass, Rafael [editor.] | Pietrzak, Krzysztof [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Combinatorial Optimization and Applications [electronic resource] : 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings / edited by Weili Wu, Zhongnan Zhang.

by Wu, Weili [editor.] | Zhang, Zhongnan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Verification and Evaluation of Computer and Communication Systems [electronic resource] : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu.

by Ben Hedia, Belgacem [editor.] | Chen, Yu-Fang [editor.] | Liu, Gaiyun [editor.] | Yu, Zhenhua [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Advances in Computer Games [electronic resource] : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu.

by Cazenave, Tristan [editor.] | van den Herik, Jaap [editor.] | Saffidine, Abdallah [editor.] | Wu, I-Chen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Decision and Game Theory for Security [electronic resource] : 11th International Conference, GameSec 2020, College Park, MD, USA, October 28-30, 2020, Proceedings / edited by Quanyan Zhu, John S. Baras, Radha Poovendran, Juntao Chen.

by Zhu, Quanyan [editor.] | Baras, John S [editor.] | Poovendran, Radha [editor.] | Chen, Juntao [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach.

by Roggenbach, Markus [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre.

by Garcia-Alfaro, Joaquin [editor.] | Navarro-Arribas, Guillermo [editor.] | Cavalli, Ana [editor.] | Leneutre, Jean [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter.

by Glück, Roland [editor.] | Santocanale, Luigi [editor.] | Winter, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.

by Aït-Ameur, Yamine [editor.] | Crăciun, Florin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings / edited by Nicolas Behr, Daniel Strüber.

by Behr, Nicolas [editor.] | Strüber, Daniel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Research and Advanced Technology for Digital Libraries [electronic resource] : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings / edited by Birte Christensen-Dalsgaard, Donatella Castelli, Bolette Ammitzboll Jurik, Joan Lippincott.

by Christensen-Dalsgaard, Birte [editor.] | Castelli, Donatella [editor.] | Ammitzboll Jurik, Bolette [editor.] | Lippincott, Joan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne.

by Descoteaux, Maxime [editor.] | Maier-Hein, Lena [editor.] | Franz, Alfred [editor.] | Jannin, Pierre [editor.] | Collins, D. Louis [editor.] | Duchesne, Simon [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / edited by Myung-Soo Kim, Kenji Shimada.

by Kim, Myung-Soo [editor.] | Shimada, Kenji [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings / edited by Franck Capello, Thomas Herault, Jack Dongarra.

by Capello, Franck [editor.] | Herault, Thomas [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available