Online Library TheLib.net » Author books / Книги автора Josep Diaz Ivan Lanese Davide Sangiorgi (eds.)
book Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
pdf
00
27.01.2024
2
0
Read online
book Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
pdf
00
27.01.2024
1
0
Read online
book The [pi]-calculus : a theory of mobile processes
The [pi]-calculus : a theory of mobile processes
djvu
00
27.01.2024
1
0
Read online
book Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
pdf
00
27.01.2024
0
0
Read online
book Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
pdf
00
27.01.2024
0
0
Read online
book Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online
book The Pi Calculus
The Pi Calculus
pdf
00
27.01.2024
0
0
Read online
book CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings
pdf
00
26.01.2024
2
0
Read online