|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings / edited by Clémentine Maurice, Leyla Bilge, Gianluca Stringhini, Nuno Neves.
by Maurice, Clémentine [editor.] | Bilge, Leyla [editor.] | Stringhini, Gianluca [editor.] | Neves, Nuno [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
|
|
|
|
Emerging Technologies for Authorization and Authentication [electronic resource] : Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings / edited by Andrea Saracino, Paolo Mori.
by Saracino, Andrea [editor.] | Mori, Paolo [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
|
|
|
|
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [electronic resource] : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer.
by Bruel, Jean-Michel [editor.] | Mazzara, Manuel [editor.] | Meyer, Bertrand [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
|
|
|
|
SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings / edited by Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora.
by Chatzigeorgiou, Alexander [editor.] | Dondi, Riccardo [editor.] | Herodotou, Herodotos [editor.] | Kapoutsis, Christos [editor.] | Manolopoulos, Yannis [editor.] | Papadopoulos, George A [editor.] | Sikora, Florian [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
|
|
|
|
Interactive Storytelling [electronic resource] : 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3-6, 2020, Proceedings / edited by Anne-Gwenn Bosser, David E. Millard, Charlie Hargood.
by Bosser, Anne-Gwenn [editor.] | Millard, David E [editor.] | Hargood, Charlie [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Machine Learning Techniques for Cybersecurity [electronic resource] / by Elisa Bertino, Sonam Bhardwaj, Fabrizio Cicala, Sishuai Gong, Imtiaz Karim, Charalampos Katsis, Hyunwoo Lee, Adrian Shuai Li, Ashraf Y. Mahgoub.
by Bertino, Elisa [author.] | Bhardwaj, Sonam [author.] | Cicala, Fabrizio [author.] | Gong, Sishuai [author.] | Karim, Imtiaz [author.] | Katsis, Charalampos [author.] | Lee, Hyunwoo [author.] | Li, Adrian Shuai [author.] | Mahgoub, Ashraf Y [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Virtual Reality and Mixed Reality [electronic resource] : 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings / edited by Gabriel Zachmann, Mariano Alcañiz Raya, Patrick Bourdot, Maud Marchal, Jeanine Stefanucci, Xubo Yang.
by Zachmann, Gabriel [editor.] | Alcañiz Raya, Mariano [editor.] | Bourdot, Patrick [editor.] | Marchal, Maud [editor.] | Stefanucci, Jeanine [editor.] | Yang, Xubo [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
|
|
|
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by David Eyers, Spyros Voulgaris.
by Eyers, David [editor.] | Voulgaris, Spyros [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman.
by Groote, Jan Friso [editor.] | Huisman, Marieke [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
|
|
|
|
Transactions on Rough Sets XXIII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Rabi Nanda Bhaumik, Sheela Ramanna.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Bhaumik, Rabi Nanda [editor.] | Ramanna, Sheela [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos.
by Jansen, Nils [editor.] | Stoelinga, Mariëlle [editor.] | van den Bos, Petra [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
|
|
|
|
Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services [electronic resource] : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings / edited by Ramón Hervás, Sungyoung Lee, Chris Nugent, José Bravo.
by Hervás, Ramón [editor.] | Lee, Sungyoung [editor.] | Nugent, Chris [editor.] | Bravo, José [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Adaptive Resource Management and Scheduling for Cloud Computing [electronic resource] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru.
by Pop, Florin [editor.] | Potop-Butucaru, Maria [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
|
|
|
|
Web Information Systems Engineering - WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
by Wang, Jianyong [editor.] | Cellary, Wojciech [editor.] | Wang, Dingding [editor.] | Wang, Hua [editor.] | Chen, Shu-Ching [editor.] | Li, Tao [editor.] | Zhang, Yanchun [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
|
|
|
|
Risk Assessment and Risk-Driven Testing [electronic resource] : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland.
by Seehusen, Fredrik [editor.] | Felderer, Michael [editor.] | Großmann, Jürgen [editor.] | Wendland, Marc-Florian [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
|
|
|
|
OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller.
by Terboven, Christian [editor.] | de Supinski, Bronis R [editor.] | Reble, Pablo [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.
by Jensen, Kurt [editor.] | van der Aalst, Wil M. P [editor.] | Balbo, Gianfranco [editor.] | Koutny, Maciej [editor.] | Wolf, Karsten [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
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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
|
