|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
2115153 | 29 | | Owolabi Legunsen | Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science, 13255) | 2024 | pdf | 4/10/2024 2:43:28 AM | gestalt |
2114938 | 60 | | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part II (Lecture Notes in Computer Science) | 2024 | pdf | 4/8/2024 1:55:47 AM | stirkout |
2114389 | 19 | | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part I (Lecture Notes in Computer Science) | 2024 | pdf | 4/3/2024 11:32:35 PM | topron |
2106190 | 45 | | Sharon Marie Carnicke | Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers (Companions to Russian Literature) | 2024 | pdf | 2/27/2024 2:04:45 AM | topron |
2104841 | 13 | | | Qbo Checking And Cashflow Manager (2024) | | VIDEO | 2/20/2024 2:21:28 AM | oblivion |
2101283 | 272 | | Zekeh Gbotokuma | Global Safari: Checking in and Checking Out in Pursuit of World Wisdoms, the American Dream, and Cosmocitizenship | 2024 | pdf | 1/30/2024 6:40:56 PM | alex21s |
2083513 | 84 | | Lucas Graves | Deciding What s True: The Rise of Political Fact-Checking in American Journalism | 2024 | pdf | 10/17/2023 11:23:30 AM | risotor |
2080023 | 315 | | Marieke Huisman | Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) | 2024 | pdf | 9/22/2023 1:21:03 PM | gestalt |
2048601 | 36 | | Georgiana Caltais | Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26 27, 2023, Proceedings (Lecture Notes in Computer Science, 13872) | 2021 | pdf | 6/20/2023 8:50:17 PM | alex21s |
2047716 | 110 | | Cezara Dragoi | Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16 17, 2023, Proceedings (Lecture Notes in Computer Science, 13881) | 2021 | pdf | 1/27/2023 6:20:25 PM | stirkout |
|
|
|
|