| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2080023 | 125 |  | 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 |
| 2080027 | 64 |  | Catherine Dubois | Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5 8, 2023 Proceedings (Lecture Notes in Computer Science, 14101) | 2024 | pdf | 9/22/2023 1:20:27 PM | gestalt |
| 2080035 | 235 |  | Wei Qi Yan | Computational Methods for Deep Learning: Theory, Algorithms, and Implementations (Texts in Computer Science) Ed 2 | 2024 | epub | 9/22/2023 1:18:40 PM | gestalt |
| 2079047 | 127 |  | Daniel Lim | Philosophy through Computer Science | 2024 | pdf | 9/20/2023 9:31:15 PM | topron |
| 2078874 | 70 |  | Dietmar Seipel, Alexander Steen | KI 2023 Advances in Artificial Intelligence: 46th German Conference | 2023 | pdf | 9/19/2023 9:05:43 PM | rubybook |
| 2078873 | 51 |  | Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi | Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023 | 2023 | pdf | 9/19/2023 8:43:39 PM | rubybook |
| 2078664 | 65 |  | Taiyong Li, Wu Deng, Jiang Wu | Advanced Machine Learning Applications in Big Data Analytics | 2023 | pdf | 9/17/2023 1:33:31 PM | rubybook |
| 2078603 | 51 |  | Fei-Yue Wang | Advances in Computational Intelligence: Theory And Applications | June 2, 2006 | pdf | 9/17/2023 9:37:51 AM | tvladb77 |
| 2078231 | 149 |  | Rodrigo A. Collazo | Chain Event Graphs: Chapman & Hall/CRC Computer Science and Data Analysis Series (Chapman & Hall/CRC Computer Science & Data Analysis) | 2024 | pdf | 9/15/2023 7:12:16 AM | gestalt |
| 2078192 | 137 |  | Chiara Macchiavello | Quantum Computation and Quantum Information Theory, Collected Papers and Notes | March 2001 | pdf | 9/15/2023 12:29:13 AM | tvladb77 |
|