Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / Sriram Sankaranarayanan, Enrico Vicario (eds.). by FORMATS (Conference) (13th : 2015 : Madrid, Spain) Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] Series: Lecture notes in computer science ; 9268. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: FORMATS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part II / Sriram Sankaranarayanan, Natasha Sharygina, editors. by TACAS (Conference) (29th : 2023 : Paris, France) Sankaranarayanan, Sriram [editor.] Sharygina, Natasha [editor.] ETAPS (Conference) (26th : 2023 : Paris, France) Series: Lecture notes in computer science ; 13994. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2023] Other title: TACAS 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part I / Sriram Sankaranarayanan, Natasha Sharygina, editors. by TACAS (Conference) (29th : 2023 : Paris, France) Sankaranarayanan, Sriram [editor.] Sharygina, Natasha [editor.] ETAPS (Conference) (26th : 2023 : Paris, France) Series: Lecture notes in computer science ; 13993. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2023] Other title: TACAS 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings. Part II / S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editors. by ATVA (Symposium) (22nd : 2024 : Kyoto, Japan) Akshay, S Niemetz, Aina Sankaranarayanan, Sriram Series: Lecture notes in computer science ; 15055. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2025 Other title: ATVA 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings. Part I / S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editors. by ATVA (Symposium) (22nd : 2024 : Kyoto, Japan) Akshay, S [editor.] Niemetz, Aina [editor.] Sankaranarayanan, Sriram [editor.] Series: Lecture notes in computer science ; 15054. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: ATVA 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Verification, model checking, and abstract interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings. Part I / Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi, editors. by VMCAI (Conference) (26th : 2025 : Denver, Colo.) Shankaranarayanan, Krishna [editor.] Sankaranarayanan, Sriram [editor.] Trivedi, Ashutosh [editor.] Series: Lecture notes in computer science ; 15529. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: VMCAI 2025 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Verification, model checking, and abstract interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings. Part II / Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi, editors. by VMCAI (Conference) (26th : 2025 : Denver, Colo.) Shankaranarayanan, Krishna [editor.] Sankaranarayanan, Sriram [editor.] Trivedi, Ashutosh [editor.] Series: Lecture notes in computer science ; 15530. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2025 Other title: VMCAI 2025 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha