Results
|
|
321.
|
Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / Panagiotis Katsaros, Laura Nenzi, editors. by Series: Lecture notes in computer science ; 14245. | Lecture notes in computer science. Formal methods.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
322.
|
|
|
|
323.
|
|
|
|
324.
|
Formal concept analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, proceedings / Dominik Dürrschnabel, Domingo López Rodríguez, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 13934. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ©2023
Availability: Items available for loan: e-Library (1).
|
|
|
325.
|
Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / Henning Bordihn, Nicholas Tran, György Vaszil, editors. by Series: Lecture notes in computer science ; 13918.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]
Availability: Items available for loan: e-Library (1).
|
|
|
326.
|
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / Marieke Huisman, António Ravara, editors. by Series: Lecture notes in computer science ; 13910.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]Copyright date: ©2023
Availability: Items available for loan: e-Library (1).
|
|
|
327.
|
NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / Kristin Yvonne Rozier, Swarat Chaudhuri, editors. by Series: Lecture notes in computer science ; 13903. | Lecture notes in computer science. Formal methods.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
328.
|
Structured object-oriented formal language and method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised selected papers / Shaoying Liu, Zhenhua Duan, Ai Liu, editors. by Series: Lecture notes in computer science ; 13854.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
329.
|
Formal methods : 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, editors. by Series: Lecture notes in computer science ; 14000. | Lecture notes in computer science. Formal methods.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham, Switzerland : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
330.
|
|
|
|
331.
|
Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings / Wei Dong, Jean-Pierre Talpin (eds.). by Series: Lecture notes in computer science ; 13649.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2022]Copyright date: ©2022
Availability: Items available for loan: e-Library (1).
|
|
|
332.
|
Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / Omri Isac [and more] (eds.). by Series: Lecture notes in computer science ; 13466.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
333.
|
|
|
|
334.
|
|
|
|
335.
|
|
|
|
336.
|
|
|
|
337.
|
|
|
|
338.
|
|
|
|
339.
|
|
|
|
340.
|
|