Results
|
|
221.
|
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).
|
|
|
222.
|
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).
|
|
|
223.
|
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).
|
|
|
224.
|
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).
|
|
|
225.
|
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).
|
|
|
226.
|
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).
|
|
|
227.
|
|
|
|
228.
|
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers / Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.). by Series: Lecture notes in computer science ; 10189. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
229.
|
NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / edited by Clark Barrett, Misty Davies, Temesghen Kahsai. by Series: Lecture notes in computer science ; 10227. | Lecture 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: Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
230.
|
Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings / Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10308. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
231.
|
Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / Ahmed Bouajjani, Alexandra Silva (eds.). by Series: Lecture notes in computer science ; 10321. | 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).
|
|
|
232.
|
Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / Giovanni Pighizzini, Cezar Câmpeanu (eds.). by Series: Lecture notes in computer science ; 10316. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
233.
|
|
|
|
234.
|
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.). by Series: Lecture notes in computer science ; 10471. | 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).
|
|
|
235.
|
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / Nadia Polikarpova, Steve Schneider (eds.). by Series: Lecture notes in computer science ; 10510. | Lecture 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, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
236.
|
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).
|
|
|
237.
|
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / José Proença, Markus Lumpe (eds.). by Series: Lecture notes in computer science ; 10487. | 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).
|
|
|
238.
|
Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / Zhenhua Duan, Luke Ong (eds.). by Series: Lecture notes in computer science ; 10610. | 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).
|
|
|
239.
|
Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings / Simone Cavalheiro, José Fiadeiro (eds.). by Series: Lecture notes in computer science ; 10623. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
240.
|
Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers / Phillip James, Markus Roggenbach (eds.). by Series: Lecture notes in computer science ; 10644. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|