|
|
|
Tests and Proofs [electronic resource] : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings / edited by Wolfgang Ahrendt, Heike Wehrheim.
by Ahrendt, Wolfgang [editor.] | Wehrheim, Heike [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 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; 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
|
|
|
|
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; 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
|
|
|
|
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling.
by Caltais, Georgiana [editor.] | Schilling, Christian [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
|
|
|
|
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; 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
|
|
|
|
Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino.
by Börger, Egon [editor.] | Cisternino, Antonio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; 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; 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 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; 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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2019 [electronic resource] : 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part I / edited by Yuval Ishai, Vincent Rijmen.
by Ishai, Yuval [editor.] | Rijmen, Vincent [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
|
|
|
|
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; 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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / edited by Andreas Herzig, Andrei Popescu.
by Herzig, Andreas [editor.] | Popescu, Andrei [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
|
|
|
|
Automated Deduction - CADE 27 [electronic resource] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings / edited by Pascal Fontaine.
by Fontaine, Pascal [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings / edited by Anthony Widjaja Lin.
by Lin, Anthony Widjaja [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / edited by Radu Calinescu, Felicita Di Giandomenico.
by Calinescu, Radu [editor.] | Di Giandomenico, Felicita [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
|
|
|
|
Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings / edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov.
by Filiot, Emmanuel [editor.] | Jungers, Raphaël [editor.] | Potapov, Igor [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
|
|
|
|
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings / edited by Kouzou Ohara, Quan Bai.
by Ohara, Kouzou [editor.] | Bai, Quan [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings / edited by Peter Csaba Ölveczky, Gwen Salaün.
by Ölveczky, Peter Csaba [editor.] | Salaün, Gwen [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. Human Values and Quality of Life [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III / 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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents [electronic resource] : 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III / edited by Pei-Luen Patrick Rau.
by Rau, Pei-Luen Patrick [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
|
