Cs Computer science CsNp Computability Boerger Staerk Abstract state machines method for high level system design and analysis Springer 2003 448s pdf

Cs Computer science
CsNp Computability Boerger Staerk Abstract state machines method for high level system design and analysis Springer 2003 448s pdf

Name	Cs_Computer science	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	6.3 GB
Total Files	1374
Hash	25246D8728B398DAAA46FFD5A51E010390265B0A

/CsNp_Computability/Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysis (Springer 2003)(448s).pdf	2.9 MB
/CsNp_Computability/Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf	259.0 KB
/CsNp_Computability/Hehner E.C.R. A practical theory of programming (2ed., 2004)(242s).pdf	933.7 KB
/CsCg_Computational geometry/Agoston M. Computer Graphics and Geometric Modeling. Implementation and Algorithms (Springer, 2005)(920s).pdf	6.5 MB
/CsCg_Computational geometry/Agoston M. Computer Graphics and Geometric Modeling. Mathematics (Springer, 2005)(971s).pdf	3.8 MB
/CsNp_Computability/Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf	3.6 MB
/CsNp_Computability/Ge#ri M., Dzhonson D. Vychislitel#nye mashiny i trudnoreshaemye zadachi (Mir, 1982)(ru)(T)(419s).djvu	12.1 MB
/CsNp_Computability/Goldreich O. Introduction to complexity theory, lecture notes (1999)(375s).pdf	2.4 MB
/CsCa_Computer algebra/Gerhard J. Modular algorithms in symbolic summation and symbolic integration (LNCS 3218, Springer, 2004)(231s).pdf	1.4 MB
/CsNp_Computability/Barendregt H., Barendsen E. Introduction to Lambda calculus (free web version, 2000)(53s)_CsNp_.pdf	256.8 KB
/CsNp_Computability/Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(L)(T)(323s).djvu	7.6 MB
/CsNp_Computability/Gurari E. Introduction to the theory of computation (1989)(600s).pdf	6.7 MB
/CsNp_Computability/Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf	495.1 KB
/CsNp_Computability/Lavrov S.S. Programmirovanie. Matematicheskie osnovy, sredstva, teorija (ru)(T)(314s).djvu	3.6 MB
/CsAl_Algorithms/Weide B.W. Statistical methods in algorithm design and analysis (thesis)(1978)(T)(190s)_CsAl_.djvu	1.6 MB
Showing first 15 files of 1374 total files