|
|
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 |
2073935 | 364 | | R. Miles | Antifragile Software. Building Adaptable Software with Microservices | 2016 | pdf | 8/21/2023 6:04:15 AM | tvladb77 |
2054266 | 46 | | Akash Lal | Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17 18, 2022, Revised Selected Papers (Lecture Notes in Computer Science, 13800) | 2023 | rar | 7/6/2023 10:54:35 PM | alex21s |
1883654 | 75 | | Sandrine Blazy, Marsha Chechik | Verified Software. Theories, Tools, and Experiments: 8th International Conference | 2016 | PDF | 1/28/2021 2:48:51 PM | topron |
1871833 | 60 | | nsor Systems and Software: 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France | Sensor Systems and Software. | 2017 | PDF | 1/7/2021 8:35:33 AM | risotor |
1837526 | 95 | | Ruzica Piskac, Philipp Rummer | Verified Software. Theories, Tools, and Experiments | 2018 | PDF | 10/30/2020 7:47:51 PM | gestalt |
1827220 | 55 | | Andrei Paskevich | Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers | 2018 | pdf | 10/6/2020 7:34:19 PM | tvladb77 |
1816093 | 109 | | Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software | Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software. | 2006 | EPUB | 9/15/2020 7:56:25 PM | alex21s |
1712527 | 138 | | Supratik Chakraborty, Jorge A. Navas | Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 1314, 2019, Revised Selected Papers | 2020-04-21 | pdf | 3/14/2020 10:02:49 AM | maveriks |
1684194 | 67 | | Jose Proenca, Markus Lumpe | Formal Aspects of Component Software. | 2017 | PDF | 1/30/2020 8:04:14 PM | alex21s |
1090798 | 410 | | Microservices: Building Scalable Software | Microservices: Building Scalable Software. | 2013 | True PDF | 4/28/2017 1:16:03 PM | topron |
|
|
|