Your search returned 10983 results. Subscribe to this search

|
Trust, Privacy and Security in Digital Business [electronic resource] : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings / edited by Stefanos Gritzalis, Edgar R. Weippl, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.

by Gritzalis, Stefanos [editor.] | Weippl, Edgar R [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [electronic resource] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira.

by Casimiro, António [editor.] | Ortmeier, Frank [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | Ferreira, Pedro [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

Reversible Computation [electronic resource] : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.

by Lanese, Ivan [editor.] | Rawski, Mariusz [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 Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [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

Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.

by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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

Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings / edited by Tanya Braun, Diana Cristea, Robert Jäschke.

by Braun, Tanya [editor.] | Cristea, Diana [editor.] | Jäschke, Robert [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

Algorithmic Aspects in Information and Management [electronic resource] : 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022, Proceedings / edited by Qiufen Ni, Weili Wu.

by Ni, Qiufen [editor.] | Wu, Weili [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

Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings / edited by Bernd-Holger Schlingloff, Ming Chai.

by Schlingloff, Bernd-Holger [editor.] | Chai, Ming [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

Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings / edited by Ekaterina Komendantskaya.

by Komendantskaya, Ekaterina [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

Computational and Corpus-Based Phraseology [electronic resource] : 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings / edited by Gloria Corpas Pastor, Ruslan Mitkov.

by Corpas Pastor, Gloria [editor.] | Mitkov, Ruslan [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

Public-Key Cryptography - PKC 2023 [electronic resource] : 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part II / edited by Alexandra Boldyreva, Vladimir Kolesnikov.

by Boldyreva, Alexandra [editor.] | Kolesnikov, Vladimir [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Public-Key Cryptography - PKC 2023 [electronic resource] : 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part I / edited by Alexandra Boldyreva, Vladimir Kolesnikov.

by Boldyreva, Alexandra [editor.] | Kolesnikov, Vladimir [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Connectomics in NeuroImaging [electronic resource] : Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell.

by Wu, Guorong [editor.] | Rekik, Islem [editor.] | Schirmer, Markus D [editor.] | Chung, Ai Wern [editor.] | Munsell, Brent [editor.] | SpringerLink (Online service).

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

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.

by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).

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

Towards Autonomous Robotic Systems [electronic resource] : 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings / edited by Manuel Giuliani, Tareq Assaf, Maria Elena Giannaccini.

by Giuliani, Manuel [editor.] | Assaf, Tareq [editor.] | Giannaccini, Maria Elena [editor.] | SpringerLink (Online service).

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

Modeling Decisions for Artificial Intelligence [electronic resource] : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings / edited by Yasuo Narukawa.

by Narukawa, Yasuo [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

Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / edited by Wilfrid Hodges, Ruy de Queiroz.

by Hodges, Wilfrid [editor.] | de Queiroz, Ruy [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

Cryptology and Network Security [electronic resource] : 16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017, Revised Selected Papers / edited by Srdjan Capkun, Sherman S. M. Chow.

by Capkun, Srdjan [editor.] | Chow, Sherman S. M [editor.] | SpringerLink (Online service).

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

Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.

by Sun, Jing [editor.] | Sun, Meng [editor.] | SpringerLink (Online service).

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

Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / edited by Zvi Lotker, Boaz Patt-Shamir.

by Lotker, Zvi [editor.] | Patt-Shamir, Boaz [editor.] | SpringerLink (Online service).

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