|
|
|
Secure IT Systems [electronic resource] : 26th Nordic Conference, NordSec 2021, Virtual Event, November 29-30, 2021, Proceedings / edited by Nicola Tuveri, Antonis Michalas, Billy Bob Brumley.
by Tuveri, Nicola [editor.] | Michalas, Antonis [editor.] | Brumley, Billy Bob [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
|
|
|
|
Electronic Government [electronic resource] : 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7-9, 2021, Proceedings / edited by Hans Jochen Scholl, J. Ramon Gil-Garcia, Marijn Janssen, Evangelos Kalampokis, Ida Lindgren, Manuel Pedro Rodríguez Bolívar.
by Scholl, Hans Jochen [editor.] | Gil-Garcia, J. Ramon [editor.] | Janssen, Marijn [editor.] | Kalampokis, Evangelos [editor.] | Lindgren, Ida [editor.] | Rodríguez Bolívar, Manuel Pedro [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings / edited by Luca Ardito, Andreas Jedlitschka, Maurizio Morisio, Marco Torchiano.
by Ardito, Luca [editor.] | Jedlitschka, Andreas [editor.] | Morisio, Maurizio [editor.] | Torchiano, Marco [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
|
|
|
|
HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry [electronic resource] : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021 Proceedings / edited by Constantine Stephanidis, Vincent G. Duffy, Heidi Krömker, Fiona Fui-Hoon Nah, Keng Siau, Gavriel Salvendy, June Wei.
by Stephanidis, Constantine [editor.] | Duffy, Vincent G [editor.] | Krömker, Heidi [editor.] | Fui-Hoon Nah, Fiona [editor.] | Siau, Keng [editor.] | Salvendy, Gavriel [editor.] | Wei, June [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
|
|
|
|
HCI International 2021 - Late Breaking Papers: Design and User Experience [electronic resource] : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Constantine Stephanidis, Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus, Sakae Yamamoto, Hirohiko Mori, Pei-Luen Patrick Rau, Gabriele Meiselwitz, Xiaowen Fang, Abbas Moallem.
by Stephanidis, Constantine [editor.] | Soares, Marcelo M [editor.] | Rosenzweig, Elizabeth [editor.] | Marcus, Aaron [editor.] | Yamamoto, Sakae [editor.] | Mori, Hirohiko [editor.] | Rau, Pei-Luen Patrick [editor.] | Meiselwitz, Gabriele [editor.] | Fang, Xiaowen [editor.] | Moallem, Abbas [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
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings / edited by Shengchao Qin, Jim Woodcock, Wenhui Zhang.
by Qin, Shengchao [editor.] | Woodcock, Jim [editor.] | Zhang, Wenhui [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
|
|
|
|
Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I / edited by André Britto, Karina Valdivia Delgado.
by Britto, André [editor.] | Valdivia Delgado, Karina [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Sérgio Campos, Marius Minea.
by Campos, Sérgio [editor.] | Minea, Marius [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
|
|
|
|
Sense, Feel, Design [electronic resource] : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers / edited by Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Marta Larusdottir, Lucio Davide Spano, José Campos, Morten Hertzum, Tilo Mentler, José Abdelnour Nocera, Lara Piccolo, Stefan Sauer, Gerrit van der Veer.
by Ardito, Carmelo [editor.] | Lanzilotti, Rosa [editor.] | Malizia, Alessio [editor.] | Larusdottir, Marta [editor.] | Spano, Lucio Davide [editor.] | Campos, José [editor.] | Hertzum, Morten [editor.] | Mentler, Tilo [editor.] | Abdelnour Nocera, José [editor.] | Piccolo, Lara [editor.] | Sauer, Stefan [editor.] | van der Veer, Gerrit [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
|
|
|
|
Smart Computing and Communication [electronic resource] : 7th International Conference, SmartCom 2022, New York City, NY, USA, November 18-20, 2022, Proceedings / edited by Meikang Qiu, Zhihui Lu, Cheng Zhang.
by Qiu, Meikang [editor.] | Lu, Zhihui [editor.] | Zhang, Cheng [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas.
by Amini, Massih-Reza [editor.] | Canu, Stéphane [editor.] | Fischer, Asja [editor.] | Guns, Tias [editor.] | Kralj Novak, Petra [editor.] | Tsoumakas, Grigorios [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings / edited by Luis Gomes, Robert Lorenz.
by Gomes, Luis [editor.] | Lorenz, Robert [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
by Cavalheiro, Simone [editor.] | Fiadeiro, José [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
|
|
|
|
Networked Systems [electronic resource] : 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings / edited by Karima Echihabi, Roland Meyer.
by Echihabi, Karima [editor.] | Meyer, Roland [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part II / edited by Mehdi Tibouchi, Huaxiong Wang.
by Tibouchi, Mehdi [editor.] | Wang, Huaxiong [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu.
by Calinescu, Radu [editor.] | Păsăreanu, Corina S [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
|
|
|
|
Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi.
by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | Yi, Wang [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
|
|
|
|
Interactive Storytelling [electronic resource] : 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7-10, 2021, Proceedings / edited by Alex Mitchell, Mirjam Vosmeer.
by Mitchell, Alex [editor.] | Vosmeer, Mirjam [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
|
|
|
|
Cryptology and Network Security [electronic resource] : 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / edited by Mauro Conti, Marc Stevens, Stephan Krenn.
by Conti, Mauro [editor.] | Stevens, Marc [editor.] | Krenn, Stephan [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
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 18th International Conference, GECON 2021, Virtual Event, September 21-23, 2021, Proceedings / edited by Konstantinos Tserpes, Jörn Altmann, José Ángel Bañares, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin.
by Tserpes, Konstantinos [editor.] | Altmann, Jörn [editor.] | Bañares, José Ángel [editor.] | Agmon Ben-Yehuda, Orna [editor.] | Djemame, Karim [editor.] | Stankovski, Vlado [editor.] | Tuffin, Bruno [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
|
