Mega Collection of computer science and programming related books Formal methods Winskel Topics in concurrency lecture notes web draft 2009 134s CsF pdf

Mega Collection of computer science and programming related books
Formal methods Winskel Topics in concurrency lecture notes web draft 2009 134s CsF pdf

Name	Mega Collection of computer science and programming related books	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	5.4 GB
Total Files	1323
Last Seen	2025-06-06 23:44
Hash	8CD8C7BECEDCE94F0EA833013012B4EA0A9C19B8

/Formal methods/Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf	680.0 KB
/Computer science/History of computer science (web draft, 2001)(40s)_Cs_.pdf	252.0 KB
/Formal methods/Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu	2.5 MB
/Formal methods/Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf	1.4 MB
/Formal methods/Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf	1.3 MB
/Formal methods/Lamport L. Specifying systems.. errata (2010)(5s).pdf	111.2 KB
/Formal methods/Lectures and papers on computational logic (2008)(758s)-o.pdf	6.7 MB
/Algorithms/Critchlow C., Eck D. Foundations of computation (web draft, 2010)(256s)_CsAl_.pdf	1.9 MB
/Algorithms/Jeuring J., Swierstra D. Grammars and parsing (web draft, 2001)(275s)_CsAl_.pdf	882.7 KB
/TeX/Heck A. Learning LaTeX by doing (web draft, 2002)(42s)_ST_.pdf	710.2 KB
/TeX/Heck A. Learning METAPOST by doing (web draft, 2003)(93s)_ST_.pdf	1.0 MB
/Algorithms/Goddard W. Introduction to algorithms (web draft, 2004)(O)(70s).pdf	486.6 KB
/Algorithms/Khuller S. Design and analysis of algorithms (draft, 2003)(O)(161s)_CsAl_.pdf	1.1 MB
/Formal methods/Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu	6.4 MB
/Algorithms/Erickson J. Algorithms (web draft, 2011)(O)(809s)_CsAl_.pdf	17.1 MB
Showing first 15 files of 1323 total files