Results
|
|
1.
|
Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / Constantin Enea, Ruzica Piskac (eds.). by Series: Lecture notes in computer science ; 11388. | Lecture notes in computer science. Advanced research in computing and software science. | 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
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
|
|
|
3.
|
Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part I / Constantin Enea, Akash Lal, editors. by Series: Lecture notes in computer science ; 13964.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part III / Constantin Enea, Akash Lal, editors. by Series: Lecture notes in computer science ; 13966.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2023
In:
Springer Nature eBook
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
Networked systems : 12th international conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, proceedings / Armando Castañeda, Constantin Enea, Nirupam Gupta, editors. by Series: Lecture notes in computer science ; 14783.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2024]Copyright date: ©2024
Availability: Items available for loan: e-Library (1).
|