Results
|
|
41.
|
Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / Franz Wotawa, Mihai Nica, Natalia Kushik (eds.). by Series: Lecture notes in computer science ; 9976. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
42.
|
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.). by Series: Lecture notes in computer science ; 10548. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
43.
|
Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.). by Series: Lecture notes in computer science ; 10533. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
44.
|
|
|
|
45.
|
Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / Catherine Dubois, Burkhart Wolff (eds.). by Series: Lecture notes in computer science ; 10889. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
46.
|
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.). by Series: Lecture notes in computer science ; 10869. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
47.
|
Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons (eds.). by Series: Lecture notes in computer science ; 11146. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
48.
|
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.). by Series: Lecture notes in computer science ; 11237. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
49.
|
Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings / Lei Bu, Yingfei Xiong (eds.). by Series: Lecture notes in computer science ; 11293. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
50.
|
Tests and proofs : 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings / Dirk Beyer, Chantal Keller (eds.). by Series: Lecture notes in computer science ; 11823. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
51.
|
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.). by Series: Formal methods | Lecture notes in computer science ; 11757. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
52.
|
Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.). by Series: Lecture notes in computer science ; 11636. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
53.
|
Testing software and systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings / Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall (eds.). by Series: Lecture notes in computer science ; 11812. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
54.
|
Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings / Wolfgang Ahrendt, Heike Wehrheim (eds.). by Series: Lecture notes in computer science ; 12165. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
55.
|
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings / Jyotirmoy Deshmukh, Dejan Ničković (eds.). by Series: Lecture notes in computer science ; 12399. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
56.
|
Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings / Valentina Casola, Alessandra De Benedictis, Massimiliano Rak (eds.). by Series: Lecture notes in computer science ; 12543. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2020]
Availability: Items available for loan: e-Library (1).
|
|
|
57.
|
|
|
|
58.
|
|
|
|
59.
|
|
|
|
60.
|
|