| 序號 | 書刊名 | 著者 | 出版年 | 索書號 | 館藏地 | 書目類型 |
| 1 | The enchantment of numbers [electronic resource] / | Roettger, Eric L. F. | 2025 | QA241 | | 電子書 |
| 2 | Analysis, approximation, optimization: computation and applications [electronic resource] : in honor of Gradimir V. Milovanović on the occasion of his 75th birthday / | edited by Marija P. Stanić ... [et al.]. | 2025 | QA221 | | 電子書 |
| 3 | Languages of cooperation and communication [electronic resource] : essays dedicated to Erzsébet Csuhaj-Varjú to celebrate her scientific career / | edited by M. Dolores Jiménez López, György Vaszil. | 2025 | QA267.3 | | 電子書 |
| 4 | Descriptional complexity of formal systems [electronic resource] : 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings / | edited by Andreas Malcher, Luca Prigioniero. | 2025 | QA267.3 .D34 2025 | | 電子書 |
| 5 | Combinatorics on words [electronic resource] : 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025 : proceedings / | edited by Guilhem Gamard, Julien Leroy. | 2025 | QA164 .W67 2025 | | 電子書 |
| 6 | Graph transformation [electronic resource] : 18th International Conference, ICGT 2025, held as part of STAF 2025, Koblenz, Germany, June 11-12, 2025 : proceedings / | edited by Jörg Endrullis, Matthias Tichy. | 2025 | QA166 | | 電子書 |
| 7 | Computational complexity and local algorithms [electronic resource] : on the interplay between randomness and computation / | edited by Oded Goldreich. | 2025 | QA267.7 | | 電子書 |
| 8 | Application and theory of petri nets and concurrency [electronic resource] : 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025 : proceedings / | edited by Elvio Amparore, Łukasz Mikulski. | 2025 | QA267 | | 電子書 |
| 9 | Cellular automata technology [electronic resource] : 4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6-8, 2025 : revised selected papers / | edited by Supreeti Kamilya, Sukanta Das, Enrico Formenti. | 2025 | QA267.5.C45 | | 電子書 |
| 10 | Introduction to cryptographic definitions [electronic resource] : a step-by-step guide for beginners / | by Fuchun Guo ... [et al.]. | 2025 | QA268 | | 電子書 |