|
|
|
Advances in Cryptology - ASIACRYPT 2018 [electronic resource] : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II / edited by Thomas Peyrin, Steven Galbraith.
by Peyrin, Thomas [editor.] | Galbraith, Steven [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu.
by Ryu, Sukyoung [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse.
by Larsen, Kim Guldstrand [editor.] | Willemse, Tim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Perspectives on Design [electronic resource] : Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / edited by Masaaki Kurosu.
by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings / edited by Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández.
by Franch, Xavier [editor.] | Männistö, Tomi [editor.] | Martínez-Fernández, Silverio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings / edited by Étienne André, Mariëlle Stoelinga.
by André, Étienne [editor.] | Stoelinga, Mariëlle [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Multimodal and Natural Interaction [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Human-Computer Interaction. Design and User Experience [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / edited by Simon Bliudze, Laura Bocchi.
by Bliudze, Simon [editor.] | Bocchi, Laura [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings / edited by Dirk Beyer, Damien Zufferey.
by Beyer, Dirk [editor.] | Zufferey, Damien [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings / edited by Marco Gribaudo, Eduard Sopin, Irina Kochetkova.
by Gribaudo, Marco [editor.] | Sopin, Eduard [editor.] | Kochetkova, Irina [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: Verification Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I / 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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Applications [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III / 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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / edited by Chu-Min Li, Felip Manyà.
by Li, Chu-Min [editor.] | Manyà, Felip [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
|
|
|
|
From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Mirco Nanni.
by Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Nanni, Mirco [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings / edited by Alessandro Abate, Andrea Marin.
by Abate, Alessandro [editor.] | Marin, Andrea [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
|
|
|
|
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops [electronic resource] : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch.
by Habli, Ibrahim [editor.] | Sujan, Mark [editor.] | Gerasimou, Simos [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Friedemann Bitsch.
by Habli, Ibrahim [editor.] | Sujan, Mark [editor.] | Bitsch, Friedemann [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 and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang.
by Riesco, Adrian [editor.] | Zhang, Min [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 and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti.
by Breitman, Karin [editor.] | Cavalcanti, Ana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
