Your search returned 832 results. Subscribe to this search

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

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

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

Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II / edited by Dennis Hofheinz, Alon Rosen.

by Hofheinz, Dennis [editor.] | Rosen, Alon [editor.] | SpringerLink (Online service).

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

Formal Methods for the Analysis of Biomedical Ontologies [electronic resource] / by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui.

by Zhang, Guo-Qiang [author.] | Abeysinghe, Rashmie [author.] | Cui, Licong [author.] | 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

Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020, Revised Selected Papers / edited by Maria Carla Calzarossa, Erol Gelenbe, Krysztof Grochla, Ricardo Lent, Tadeusz Czachórski.

by Calzarossa, Maria Carla [editor.] | Gelenbe, Erol [editor.] | Grochla, Krysztof [editor.] | Lent, Ricardo [editor.] | Czachórski, Tadeusz [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

Algorithms for Sensor Systems [electronic resource] : 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers / edited by Cristina M. Pinotti, Alfredo Navarra, Amitabha Bagchi.

by Pinotti, Cristina M [editor.] | Navarra, Alfredo [editor.] | Bagchi, Amitabha [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 Petri Nets and Other Models of Concurrency XV [electronic resource] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello.

by Koutny, Maciej [editor.] | Kordon, Fabrice [editor.] | Pomello, Lucia [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Diagrammatic Representation and Inference [electronic resource] : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings / edited by Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana.

by Giardino, Valeria [editor.] | Linker, Sven [editor.] | Burns, Richard [editor.] | Bellucci, Francesco [editor.] | Boucheix, Jean-Michel [editor.] | Viana, Petrucio [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

Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings / edited by Robert H. Deng, Valérie Gauthier-Umaña, Martín Ochoa, Moti Yung.

by Deng, Robert H [editor.] | Gauthier-Umaña, Valérie [editor.] | Ochoa, Martín [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

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

Algorithmic Game Theory [electronic resource] : 15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022, Proceedings / edited by Panagiotis Kanellopoulos, Maria Kyropoulou, Alexandros Voudouris.

by Kanellopoulos, Panagiotis [editor.] | Kyropoulou, Maria [editor.] | Voudouris, Alexandros [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

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

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

Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I / edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.

by Sun, Xingming [editor.] | Pan, Zhaoqing [editor.] | Bertino, Elisa [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

Euro-Par 2019: Parallel Processing [electronic resource] : 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings / edited by Ramin Yahyapour.

by Yahyapour, Ramin [editor.] | SpringerLink (Online service).

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

Universal Access in Human-Computer Interaction. Applications and Practice [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Margherita Antona, Constantine Stephanidis.

by Antona, Margherita [editor.] | Stephanidis, Constantine [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

Human Aspects of IT for the Aged Population. Healthy and Active Aging [electronic resource] : 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Qin Gao, Jia Zhou.

by Gao, Qin [editor.] | Zhou, Jia [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

Universal Access in Human-Computer Interaction. Design Methods and User Experience [electronic resource] : 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis.

by Antona, Margherita [editor.] | Stephanidis, Constantine [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

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service [electronic resource] : 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II / edited by Vincent G. Duffy.

by Duffy, Vincent G [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

Approximation and Online Algorithms [electronic resource] : 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers / edited by Christos Kaklamanis, Asaf Levin.

by Kaklamanis, Christos [editor.] | Levin, Asaf [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

Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers / edited by Minming Li, Xiaoming Sun.

by Li, Minming [editor.] | Sun, Xiaoming [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