| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2044358 | 78 |  | Dirk Beyer | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 | Apr 12, 2018 | pdf | 1/8/2023 7:13:29 AM | tvladb77 |
| 2035289 | 33 |  | Dana Fisman | Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 13243) | 2021 | pdf | 11/18/2022 10:37:20 PM | eternal |
| 2005871 | 176 |  | Armin Biere | Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 12078) | 2021 | epub | 6/12/2022 8:08:20 PM | topron |
| 1736779 | 61 | | Armin Biere, David Parker | Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2 | 2020-06-27 | pdf | 4/18/2020 7:28:25 AM | maveriks |
| 1606376 | 63 |  | V. Bozhkov, Peter, Guy Salvesen | Caspases,Paracaspases, and Metacaspases: Methods and Protocols | 2014 | PDF | 9/13/2019 7:22:45 AM | eternal |
| 1523168 | 66 |  | TomГЎЕЎ Vojnar, Lijun Zhang | Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2 | 2019-04-04 | pdf | 4/16/2019 5:13:08 AM | topron |
| 1509685 | 103 |  | ols and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACA | Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of t | 2019 | PDF | 3/26/2019 8:41:53 AM | alex21s |
| 1483364 | 68 |  | ols and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACA | Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of t | 2017 | PDF | 2/8/2019 8:39:41 PM | stirkout |
| 1071488 | 106 |  | ols and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACA | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... Part I (Lecture Notes in Computer Science) | 2017-05-05 | PDF | 3/31/2017 7:24:03 AM | stirkout |
| 560052 | 213 | /Mark_Bates_-_MetaCasts_(2013)_7_22_2014_6_54_42_AM.jpg) | Mark Bates | Mark Bates - MetaCasts (2013) | 2013 | MOV | 7/22/2014 7:45:13 AM | green_grass |