Results
|
|
121.
|
|
|
|
122.
|
|
|
|
123.
|
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / Yliès Falcone, César Sánchez (eds.). by Series: Lecture notes in computer science ; 10012. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
124.
|
|
|
|
125.
|
Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / Federica Sarro, Kalyanmoy Deb (eds.). by Series: Lecture notes in computer science ; 9962. | 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).
|
|
|
126.
|
Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Cyrille Artho, Axel Legay, Doron Peled (eds.). by Series: Lecture notes in computer science ; 9938. | 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).
|
|
|
127.
|
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 9952. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
128.
|
Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 9953. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
129.
|
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).
|
|
|
130.
|
|
|
|
131.
|
Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. by Series: Lecture notes in computer science ; 9965. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
132.
|
Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.). by Series: Lecture notes in computer science ; 9984. | 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).
|
|
|
133.
|
|
|
|
134.
|
|
|
|
135.
|
Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.). by Series: Lecture notes in computer science ; 10009. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
136.
|
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Roderick Bloem, Eli Arbel (eds.). by Series: Lecture notes in computer science ; 10028. | 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).
|
|
|
137.
|
FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.). by Series: Lecture notes in computer science ; 9995. | Lectures notes in computer science. Formal methods. | 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).
|
|
|
138.
|
Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sandrine Blazy, Marsha Chechik (eds.). by Series: Lecture notes in computer science ; 9971. | 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).
|
|
|
139.
|
Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.). by Series: Lecture notes in computer science ; 10090. | 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).
|
|
|
140.
|
Engineering multi-agent systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, selected, and invited papers / Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10093. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|