Online Library TheLib.net » Book publisher: / Книги издательства ACM Books » Page 2
book Verified Functional Programming in Agda
Verified Functional Programming in Agda
djvu
00
30.01.2024
0
0
Read online
book Shared-Memory Parallelism Can Be Simple, Fast, and Scalable
Shared-Memory Parallelism Can Be Simple, Fast, and Scalable
pdf
00
29.01.2024
0
0
Read online
book Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining
Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining
pdf
00
29.01.2024
0
0
Read online
book Verified Functional Programming in Agda
Verified Functional Programming in Agda
pdf
00
27.01.2024
0
0
Read online
1 2