Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation – 29 free books.
These books are available in PDF format - good for desktops, printing.
AI Knowledge Transfer from the University to Society
José Guadix Martín et al. (editors)
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
International Symposium on Mathematics, Quantum Theory, and Cryptography
Tsuyoshi Takagi et al. (editors)
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
Armin Biere and David Parker, editors
Mikołaj Bojańczyk and Alex Simpson, editors
Tomas Vojnar and Lijun Zhang, editors
Hana Chockler and Georg Weissenbacher, editors