| Algorithms | |||
| Abelson A., Sussman G.J. Structure and interpretation of computer programs (2ed., MIT, 1996)(ISBN 0262011530)(634s)_CsAl_.pdf | 1.75 MB | ||
| Abramson H., Dahl V. Logic Grammars (Springer, 1989)(ISBN 0387969616)(600dpi)(T)(250s)_CsAl_.djvu | 1.64 MB | ||
| Adamek J., Trnkova V. Automata and Algebras in Categories (Kluwer, 1990)(ISBN 0792300106)(K)(T)(489s)_CsAl_.djvu | 3.14 MB | ||
| Advances in Computers, Vol.01 (AP, 1960)(ISBN 9780120121014)(T)(318s)_CsAl_.djvu | 2.4 MB | ||
| Advances in Computers, Vol.02 (Elsevier, 1961)(ISBN 9780120121021)(T)(O)(449s)_CsAl_.djvu | 4.17 MB | ||
| Advances in Computers, Vol.03 (Elsevier, 1962)(ISBN 9780120121038)(T)(O)(376s)_CsAl_.djvu | 2.67 MB | ||
| Advances in Computers, Vol.04 (Elsevier, 1963)(ISBN 9780120121045)(T)(O)(327s)_CsAl_.djvu | 2.73 MB | ||
| Advances in Computers, Vol.05 (AP, 1965)(ISBN 0120121050)(T)(415s)_CsAl_.djvu | 2.97 MB | ||
| Advances in Computers, Vol.06 (Elsevier, 1965)(ISBN 9780120121069)(T)(O)(327s)_CsAl_.djvu | 2.75 MB | ||
| Advances in Computers, Vol.07 (Elsevier, 1966)(ISBN 9780120121076)(T)(O)(321s)_CsAl_.djvu | 2.32 MB | ||
| Advances in Computers, Vol.08 (Elsevier, 1967)(ISBN 9780120121083)(T)(O)(359s)_CsAl_.djvu | 2.36 MB | ||
| Advances in Computers, Vol.09 (Elsevier, 1968)(ISBN 9780120121090)(T)(O)(381s)_CsAl_.djvu | 3.59 MB | ||
| Advances in Computers, Vol.10 (AP, 1971)(ISBN 0120121107)(T)(335s)_CsAl_.djvu | 2.77 MB | ||
| Advances in Computers, Vol.11 (Elsevier, 1971)(ISBN 9780120121113)(T)(O)(423s)_CsAl_.djvu | 3.48 MB | ||
| Advances in Computers, Vol.12 (Elsevier, 1972)(ISBN 9780120121120)(T)(O)(449s)_CsAl_.djvu | 3.91 MB | ||
| Advances in Computers, Vol.13 (Elsevier, 1975)(ISBN 9780120121137)(T)(O)(261s)_CsAl_.djvu | 2.03 MB | ||
| Advances in Computers, Vol.14 (Elsevier, 1976)(ISBN 9780120121144)(T)(O)(301s)_CsAl_.djvu | 2.33 MB | ||
| Advances in Computers, Vol.15 (Elsevier, 1976)(ISBN 9780120121151)(T)(O)(317s)_CsAl_.djvu | 2.51 MB | ||
| Advances in Computers, Vol.16 (Elsevier, 1977)(ISBN 9780120121168)(T)(O)(373s)_CsAl_.djvu | 2.67 MB | ||
| Advances in Computers, Vol.17 (Elsevier, 1978)(ISBN 9780120121175)(T)(O)(351s)_CsAl_.djvu | 2.69 MB | ||
| Advances in Computers, Vol.18 (Elsevier, 1979)(ISBN 9780120121182)(T)(O)(323s)_CsAl_.djvu | 2.42 MB | ||
| Advances in Computers, Vol.19 (Elsevier, 1980)(ISBN 9780120121199)(T)(O)(365s)_CsAl_.djvu | 2.56 MB | ||
| Advances in Computers, Vol.20 (Elsevier, 1981)(ISBN 9780120121205)(T)(O)(297s)_CsAl_.djvu | 1.93 MB | ||
| Advances in Computers, Vol.21 (AP, 1982)(ISBN 9780120121212)(T)(458s)_CsAl_.djvu | 3.45 MB | ||
| Advances in Computers, Vol.22 (Elsevier, 1983)(ISBN 9780120121229)(T)(O)(395s)_CsAl_.djvu | 2.58 MB | ||
| Advances in Computers, Vol.23 (Elsevier, 1984)(ISBN 9780120121236)(T)(O)(395s)_CsAl_.djvu | 2.63 MB | ||
| Advances in Computers, Vol.24 (Elsevier, 1985)(ISBN 9780120121243)(T)(O)(415s)_CsAl_.djvu | 2.98 MB | ||
| Advances in Computers, Vol.25 (AP, 1986)(ISBN 9780120121250)(T)(419s)_CsAl_.djvu | 3.49 MB | ||
| Advances in Computers, Vol.26 (Elsevier, 1987)(ISBN 9780120121267)(T)(O)(489s)_CsAl_.djvu | 3.1 MB | ||
| Advances in Computers, Vol.27 (Elsevier, 1988)(ISBN 9780120121274)(T)(O)(495s)_CsAl_.djvu | 3.32 MB | ||
| Advances in Computers, Vol.28 (Elsevier, 1989)(ISBN 9780120121281)(T)(O)(315s)_CsAl_.djvu | 2.23 MB | ||
| Advances in Computers, Vol.29 (Elsevier, 1989)(ISBN 9780120121298)(T)(373s)_CsAl_.djvu | 2.64 MB | ||
| Advances in Computers, Vol.30 (Elsevier, 1990)(ISBN 9780120121304)(T)(O)(343s)_CsAl_.djvu | 2.2 MB | ||
| Advances in Computers, Vol.31 (Elsevier, 1990)(ISBN 9780120121311)(T)(O)(417s)_CsAl_.djvu | 3.03 MB | ||
| Advances in Computers, Vol.32 (Elsevier, 1991)(ISBN 9780120121328)(T)(343s)_CsAl_.djvu | 2.37 MB | ||
| Advances in Computers, Vol.33 (Elsevier, 1991)(ISBN 9780120121335)(T)(O)(351s)_CsAl_.djvu | 2.54 MB | ||
| Advances in Computers, Vol.34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu | 3.15 MB | ||
| Advances in Computers, Vol.34 (Elsevier, 1992)(ISBN 9780120121342)(T)(O)(433s)_CsAl_.djvu | 3.32 MB | ||
| Advances in Computers, Vol.35 (Elsevier, 1992)(ISBN 9780120121359)(T)(O)(415s)_CsAl_.djvu | 2.97 MB | ||
| Advances in Computers, Vol.36 (Elsevier, 1993)(ISBN 9780120121366)(T)(O)(479s)_CsAl_.djvu | 3.27 MB | ||
| Advances in Computers, Vol.37 (Elsevier, 1993)(ISBN 9780120121373)(T)(O)(469s)_CsAl_.djvu | 3.57 MB | ||
| Advances in Computers, Vol.38 (Elsevier, 1994)(ISBN 9780120121380)(T)(O)(361s)_CsAl_.djvu | 2.31 MB | ||
| Advances in Computers, Vol.39 (AP, 1994)(ISBN 0120121395)(T)(337s)_CsAl_.djvu | 2.49 MB | ||
| Advances in Computers, Vol.40 (Elsevier, 1995)(ISBN 9780120121403)(T)(O)(300s)_CsAl_.djvu | 2.39 MB | ||
| Advances in Computers, Vol.41 (Elsevier, 1995)(ISBN 9780120121410)(T)(O)(343s)_CsAl_.djvu | 2.55 MB | ||
| Advances in Computers, Vol.42 (AP, 1996)(ISBN 9780120121427)(T)(287s)_CsAl_.djvu | 1.97 MB | ||
| Advances in Computers, Vol.43 (Elsevier, 1996)(ISBN 9780120121434)(T)(O)(325s)_CsAl_.djvu | 2.33 MB | ||
| Advances in Computers, Vol.44 (Elsevier, 1997)(ISBN 9780120121441)(T)(O)(417s)_CsAl_.djvu | 2.85 MB | ||
| Advances in Computers, Vol.45, Emphasizing Parallel Programming Techniques (Elsevier, 1997)(ISBN 9780120121458)(T)(O)(403s)_CsAl_.djvu | 3.19 MB | ||
| Advances in Computers, Vol.46, The Engineering of Large Systems (Elsevier, 1998)(ISBN 9780120121465)(T)(484s)_CsAl_.djvu | 3.7 MB | ||
| Advances in Computers, Vol.47 (Elsevier, 1998)(ISBN 9780120121472)(T)(O)(415s)_CsAl_.djvu | 3.9 MB | ||
| Advances in Computers, Vol.48, Distributed Information Resources (Elsevier, 1999)(ISBN 9780120121489)(T)(O)(401s)_CsAl_.djvu | 3.52 MB | ||
| Advances in Computers, Vol.49 (AP, 1999)(ISBN 0120121492)(T)(401s)_CsAl_.djvu | 3.09 MB | ||
| Advances in Computers, Vol.50, Cumulative Subject and Author Indexes for Vols.1-49, Part I (AP, 1999)(ISBN 9780120121502)(T)(423s)_CsAl_.djvu | 2.86 MB | ||
| Advances in Computers, Vol.51, Index, Part II (Elsevier, 2000)(ISBN 9780120121519)(T)(O)(393s)_CsAl_.djvu | 2.82 MB | ||
| Advances in Computers, Vol.52, 40th Anniversary Volume, Advancing Into the 21st Century (Elsevier, 2000)(ISBN 9780120121526)(T)(O)(425s)_CsAl_.djvu | 2.99 MB | ||
| Advances in Computers, Vol.53, Emphasizing Distributed Systems (Elsevier, 2000)(ISBN 9780120121533)(T)(O)(553s)_CsAl_.djvu | 3.86 MB | ||
| Advances in Computers, Vol.54, Trends in Software Engineering (Elsevier, 2001)(ISBN 9780120121540)(T)(O)(309s)_CsAl_.djvu | 2.1 MB | ||
| Advances in Computers, Vol.55 (Elsevier, 2001)(ISBN 9780120121557)(T)(O)(329s)_CsAl_.djvu | 2.5 MB | ||
| Advances in Computers, Vol.56 (Elsevier, 2002)(ISBN 9780120121564)(T)(O)(417s)_CsAl_.djvu | 3 MB | ||
| Advances in Computers, Vol.57, Information Repositories(Elsevier, 2003)(ISBN 9780120121571)(T)(O)(422s)_CsAl_.djvu | 2.52 MB | ||
| Advances in Computers, Vol.58.. Highly Dependable Software (AP, 2003)(ISBN 9780120121588)(O)(373s)_CsAl_.pdf | 3.24 MB | ||
| Advances in Computers, Vol.59 (AP, 2003)(ISBN 9780120121595)(O)(308s)_CsAl_.pdf | 3.4 MB | ||
| Advances in Computers, Vol.60 (Elsevier, 2004)(ISBN 9780120121601)(337s)_CsAl_.pdf | 2.47 MB | ||
| Advances in Computers, Vol.61 (Elsevier, 2004)(ISBN 9780120121618)(364s)_CsAl_.pdf | 5.75 MB | ||
| Advances in Computers, Vol.62, Advances in Software Engineering (Elsevier, 2004)(ISBN 9780120121625)(O)(368s)_CsAl_.pdf | 2.78 MB | ||
| Advances in Computers, Vol.63, Parallel, Distributed, and Pervasive Computing (Elsevier, 2005)(ISBN 9780120121632)(O)(312s)_CsAl_.pdf | 3.1 MB | ||
| Advances in Computers, Vol.64, New Programming Paradigms (Elsevier, 2005)(ISBN 9780120121649)(377s)_CsAl_.pdf | 2.25 MB | ||
| Advances in Computers, Vol.65 (Elsevier, 2005)(ISBN 9780120121656)(447s)_CsAl_.pdf | 3.24 MB | ||
| Advances in Computers, Vol.66, Quality Software Development (Elsevier, 2006)(ISBN 9780120121663)(345s)_CsAl_.pdf | 2.24 MB | ||
| Advances in Computers, Vol.67, Web Technology (Elsevier, 2006)(ISBN 9780120121670)(347s)_CsAl_.pdf | 2.72 MB | ||
| Advances in Computers, Vol.68, Computational Biology and Bioinformatics (Elsevier, 2006)(ISBN 9780120121687)(O)(335s)_CsAl_.pdf | 4.1 MB | ||
| Advances in Computers, Vol.69, Architectural Issues (Elsevier, 2007)(ISBN 9780123737458)(O)(343s)_CsAl_.pdf | 6.32 MB | ||
| Advances in Computers, Vol.70 (Elsevier, 2007)(ISBN 9780123737472)(O)(359s)_CsAl_.pdf | 5.28 MB | ||
| Advances in Computers, Vol.71, Nanotechnology (Elsevier, 2007)(ISBN 9780123737465)(O)(351s)_CsAl_.pdf | 5.88 MB | ||
| Advances in Computers, Vol.72, High performance computing (AP, 2008)(ISBN 0123744113)(369s)_CsAl_.pdf | 2 MB | ||
| Advances in Computers, Vol.73, Emerging Technologies (Elsevier, 2008)(ISBN 9780123744258)(307s)_CsAl_.pdf | 2.73 MB | ||
| Advances in Computers, Vol.74, Software Development (Elsevier, 2008)(ISBN 9780123744265)(O)(320s)_CsAl_.pdf | 4.46 MB | ||
| Advances in Computers, Vol.75, Computer performance issues (AP, 2009)(ISBN 9780123748102)(O)(351s)_CsAl_.pdf | 3.52 MB | ||
| Advances in Computers, Vol.76, Social networking and the web (AP, 2009)(ISBN 9780123748119)(O)(356s)_CsAl_.pdf | 3.42 MB | ||
| Advances in Computers, Vol.77 (AP, 2009)(ISBN 9780123748126)(O)(356s)_CsAl_.pdf | 4.52 MB | ||
| Advances in Computers, Vol.78.. Improving the Web (AP, 2010)(ISBN 9780123810199)(O)(354s)_CsAl_.pdf | 3.35 MB | ||
| Advances in Computers, Vol.79 (AP, 2010)(ISBN 0123810272)(O)(336s)_CsAl_.pdf | 2.58 MB | ||
| Aho A.V., Lam M.S., Sethi R., Ullman J.D. Compilers.. Principles, techniques, and tools (2ed., AW, 2007)(ISBN 0321486811)(400dpi)(T)(1038s)_CsAl_.djvu | 7.06 MB | ||
| Aho A.V., Lam M.S., Sethi R., Ullman J.D. Compilers.. Principles, techniques, and tools (2ed., AW, 2007)(ISBN 0321486811)(KA)(400dpi)(T)(1038s)_CsAl_.djvu | 5.69 MB | ||
| Aho A.V., Ullman J.D. The theory of parsing, translation, and compiling. Vol.1.. Parsing (PH, 1972)(ISBN 0139145567)(KA)(150dpi)(T)(562s)_CsAl_.djvu | 7 MB | ||
| Aho A.V., Ullman J.D. The theory of parsing, translation, and compiling. Vol.2.. Compiling (PH, 1973)(ISBN 0139145648)(KA)(150dpi)(T)(484s)_CsAl_.djvu | 4.27 MB | ||
| Aho, Sethi, Ullman. Compilers.. principles, techniques, and tools (AW, 1986)(100dpi)(T)(811s)_S_.djvu | 17.39 MB | ||
| Aizerman M.A., et al. Logic, automata, and algorithms (AP, 1971)(ISBN 0120463504)(T)(O)(444s)_CsAl_.djvu | 3.38 MB | ||
| Akl S.G. The design and analysis of parallel algorithms (PH, 1989)(ISBN 0132000563)(T)(415s)_CsAl_.djvu | 2.97 MB | ||
| Al-Jaber Ah. Combinatorial properties of heapsort (Dissertation, 1985)(T)(75s)_CsAl_.djvu | 468.71 KB | ||
| Alagic S., Arbib M.A. The design of well-structured and correct programs (Springer, 1978)(ISBN 0387902996)(600dpi)(T)(301s)_CsAl_.djvu | 2.37 MB | ||
| Andre F., Herman D., Verjus J.P. Synchronization of parallel programs (North Oxford Academic, 1985)(ISBN 9780946536207)(600dpi)(T)(122s)_CsAl_.djvu | 1.04 MB | ||
| Angelides M., Agius H. (eds.) The handbook of MPEG applications.. Standards in practice (Wiley, 2011)(ISBN 0470750073)(O)(551s)_CsAl_.pdf | 4.01 MB | ||
| Appel A.W. Modern compiler implementation in ML (corrected printing, CUP, 1999)(ISBN 0521607647)(600dpi)(T)(550s)_CsAl_.djvu | 5.23 MB | ||
| Apt K., Gradel E. (ed.) Lectures in game theory for computer scientists (CUP, 2011)(ISBN 0521198666)(O)(309s)_CsAl_.pdf | 1.55 MB | ||
| Arge L., et al. (eds.) Proceedings of the 6th Workshop on Algorithm Engineering and 1st workshop on Combinatorics (SIAM, 2004)(ISBN 0898715644)(T)(O)(242s)_CsAl_.djvu | 4.47 MB | ||
| Arndt J. Algorithms for programmers.. ideas and source code (web draft, 19.01.2008)(938s)_CsAl_.pdf | 2.74 MB | ||
| Arndt J. Matters Computational.. Ideas, Algorithms, Source Code (Springer, 2010)(ISBN 3642147631)(O)(981s)_CsAl_.pdf | 3.61 MB | ||
| Arndt J. Matters computational (algorithms for programmers)(free web version, 2010)(O)(978s)_CsAl_.pdf | 3.17 MB | ||
| Asano T. (ed.) Proceedings ISAAC 2006, Kolkata, India (LNCS4288, Springer, 2007)(ISBN 3540496947)(782s)_CsAl_.pdf | 7.42 MB | ||
| Astfalk G. (ed.) Applications on advanced architecture computers (SIAM, 1996)(ISBN 0898713684)(T)(O)(378s)_CsAl_.djvu | 2.99 MB | ||
| Astola J., Stankovic R. Fundamentals of switching theory and logic design (Springer, 2006)(ISBN 0387285938)(351s)_CsAl_.pdf | 3.36 MB | ||
| Atallah M., Blanton M. (eds.) Algorithms and theory of computation handbook, Vol.1, General concepts and techniques (2ed., CRC, 2009)(ISBN 1584888229)(O)(990s)_CsAl_.pdf | 5.92 MB | ||
| Atallah M., Blanton M. (eds.) Algorithms and theory of computation handbook, Vol.2, Special topics and techniques (2ed., CRC, 2009)(ISBN 1584888202)(O)(952s)_CsAl_.pdf | 6.82 MB | ||
| Atallah M.J. (ed.) Algorithms and theory of computation handbook (CRC, 1999)(T)(ISBN 0849326494)(1265s).djvu | 11.05 MB | ||
| Attiya H., Welch J. Distributed Computing.. Fundamentals, Simulations, and Advanced Topics (Wiley, 2004)(ISBN 0471453242)(T)(416s).djvu | 4.04 MB | ||
| Ausiello G., et al. Complexity and Approximation.. Combinatorial Optimization Problems and Their Approximability Properties (2pr., Springer, 2003)(ISBN 3504654313)(T)(538s)_CsAl_.djvu | 4.67 MB | ||
| Baader F., Nipkow T. Term rewriting and all that (CUP, 1998)(ISBN 0521455200)(600dpi)(T)(315s)_CsAl_.djvu | 2.4 MB | ||
| Bach M.J. The design of the Unix operating system(T)(C)(486s).djvu | 5.81 MB | ||
| Barron D. Recursive Techniques in Programming (Elsevier, 1968)(ISBN 9780444199867)(T)(71s)_CsAl_.djvu | 608.96 KB | ||
| Barron D. Recursive Techniques in Programming (Macdonald, 1968)(ISBN 9780356022017)(600dpi)(T)(70s)_CsAl_.djvu | 524.14 KB | ||
| Bauer F.L., De Remer F.L., et al. Compiler Construction (LNCS0021, Springer, 1974)(ISBN 3540069585)(T)(O)(636s)_CsAl_.djvu | 3.94 MB | ||
| Beckman F. Mathematical foundations of programming (AW, 1980)(ISBN 020114462X)(600dpi)(T)(O)(460s)_CsAl_.djvu | 4.73 MB | ||
| Bednorz W. Advances in greedy algorithms (In-Teh, 2008)(ISBN 9537619273)(600dpi)(T)(O)(596s)_CsAl_.djvu | 7.99 MB | ||
| Bentley J. More programming pearls (Addison-Wesley, 1988)(T)(ISBN 0201118890)(204s)_CsAl_.djvu | 1.48 MB | ||
| Bentley J. Programming pearls (Addison-Wesley, 1986)(T)(ISBN 0201103311)(195s)_CsAl_.djvu | 1.7 MB | ||
| Bentley J. Writing efficient programs (PH Inc, 2000)(T)(ISBN 0139702512)(183s)_CsAl_.djvu | 1.34 MB | ||
| Benvenuto N., Cherubini G. Algorithms for Communications Systems and Their Applications (Wiley,2002)(ISBN 0470843896)(T)(1305s)_CsAl_.djvu | 8.16 MB | ||
| Berard B., Bidoit M., Finkel A., et al. (eds.) Systems and software verification (Springer, 2001)(ISBN 3540415238)(T)(204s)_CsAl_.djvu | 2.17 MB | ||
| Berlekamp E., Wolfe D. Mathematical Go.. Chilling gets the last point (1994)(ISBN 1568810326)(KA)(T)(247s)_CsAl_.djvu | 2.02 MB | ||
| Berry M.W., Browne M. Understanding search engines (SIAM, 2005)(ISBN 0898715814)(T)(O)(136s)_CsAl_.djvu | 827.3 KB | ||
| Beveridge J., Wiener R. Multithreading Applications in Win32.. The Complete Guide to Threads (AW, 1996)(ISBN 9780201442342)(600dpi)(K)(T)(387s)_CsAl_.djvu | 6.26 MB | ||
| Beveridge J., Wiener R. Multithreading Applications in Win32.. The Complete Guide to Threads (program disk only)(AW, 1996)(ISBN 9780201442342)_CsAl_.rar | 6.63 MB | ||
| Binstock A., Rex J. Practical algorithms for programmers (AW, 1995)(ISBN 020163208X)(600dpi)(T)(585s)_CsAl_.djvu | 3.71 MB | ||
| Bird R. Pearls of Functional Algorithm Design (CUP, 2010)(ISBN 0521513383)(O)(291s)_CsAl_.pdf | 1.03 MB | ||
| Bird R., Wadler P. Einfuehrung in die funktionale Programmierung (Hanser, 1992)(ISBN 3446170014)(de)(KA)(600dpi)(T)(300s)_CsAl_.djvu | 2.25 MB | ||
| Bird R., Wadler P. Introduction to Functional Programming (PH, 1992)(ISBN 9780134841977)(600dpi)(T)(310s)_CsAl_.djvu | 1.78 MB | ||
| Birman A. The TMG recognition schema (phd thesis, Princeton, 1970)(KA)(600dpi)(T)(98s)_CsAl_.djvu | 1.47 MB | ||
| Blelloch G. Vector models for data-parallel computing (MIT, 1990)(ISBN 026202313X)(O)(268s)_CsAl_.pdf | 1.16 MB | ||
| Boginski V.L., et al. (eds.) Sensors. Theory, algorithms, and applications (Springer, 2011)(ISBN 9780387886183)(O)(253s)_CsAl_.pdf | 6.69 MB | ||
| Boissonnat J.D., Yvinec M. Algorithmic geometry (CUP, 1998)(ISBN 0521565294)(T)(O)(543s)_CsAl_.djvu | 3.96 MB | ||
| Boissonnat J.D., Yvinet M. Algorithmic Geometry (CUP, 1998)(L)(T)(272s).djvu | 3.11 MB | ||
| Booch G., et al. Object-oriented analysis and design with applications(3ed, AW, 2007)(ISBN 020189551X)(717s)_CsAl_.pdf | 7.85 MB | ||
| Bornat R. Programming from First Principles (Pearson, 1986)(ISBN 9780137291045)(600dpi)(T)(555s)_CsAl_.djvu | 3.86 MB | ||
| Brandes U., Erlebach T. (eds.) Network analysis. Methodological foundations (LNCS3418, Springer, 2005)(482s)_CsAl_.pdf | 3.95 MB | ||
| Brass P. Advanced Data Structures (CUP,2008)(ISBN 9780521880374)(474s)_CsAl_.pdf | 1.67 MB | ||
| Bremner M.R. Lattice basis reduction. An introduction to the LLL algorithm and its applications (CRC, 2012)(ISBN 1439807027)(O)(334s)_CsAl_.pdf | 1.58 MB | ||
| Brown P.J. Writing Interactive Compilers and Interpreters (Wiley, 1979)(ISBN 9780471276098)(600dpi)(T)(282s)_CsAl_.djvu | 1.73 MB | ||
| Brucker P. Scheduling Algorithms (5ed., Springer, 2007)(379s)_CsAl_.pdf | 1.81 MB | ||
| Buchberger B., et al. Hagenberg research (Springer, 2009)(ISBN 3642021263)(490s)_CsAl_.pdf | 10.74 MB | ||
| Budd T. An APL Compiler (Springer, 1987)(ISBN 9780387966434)(600dpi)(T)(167s)_CsAl_.djvu | 861.17 KB | ||
| Bunt H., Carroll J., Satta G. (eds.) New Developments in Parsing Technology (Springer, 2004)(ISBN 140202293X)(400dpi)(T)(407s)_CsAl_.djvu | 3.16 MB | ||
| Bunt H., Merlo P., Nivre J. Trends in Parsing Technology.. Dependency Parsing, Domain Adaptation, and Deep Parsing (Springer, 2010)(ISBN 9048193516)(O)(307s)_CsAl_.pdf | 2.81 MB | ||
| Bunt H., Tomita M. (eds.) Recent advances in parsing technology (Kluwer, 1996)(ISBN 079234152X)(600dpi)(T)(433s)_CsAl_.djvu | 3.38 MB | ||
| Burge W.H. Recursive Programming Techniques (AW, 1975)(ISBN 9780201144505)(T)(290s)_CsAl_.djvu | 1.77 MB | ||
| Calingaert P. Assemblers, compilers, and program translation (Computer Science, 1979)(ISBN 9780914894230)(600dpi)(T)(283s)_CsAl_.djvu | 2.11 MB | ||
| Catthoor F., et al. Data access and storage management for embedded programmable processors (Kluwer, 2002)(T)(ISBN 0792376897)(314s)_CsAl_.djvu | 4.74 MB | ||
| Chandra R., et al. Parallel Programming in OpenMP (Elsevier, 2001)(ISBN 9781558606715)(O)(249s)_CsAl_.pdf | 1.63 MB | ||
| Chapman N.P. LR Parsing.. Theory and Practice (CUP, 1988)(ISBN 052130413X)(600dpi)(T)(236s)_CsAl_.djvu | 1.81 MB | ||
| Chikalov I. Average time complexity of decision trees (Springer, 2011)(ISBN 3642226604)(O)(114s)_CsAl_.pdf | 858.76 KB | ||
| Chu. Speech Coding Algorithms.. Foundation and Evolution of Standardized Coders (Wiley,2003)(ISBN 0471373125)(578s).pdf | 3.48 MB | ||
| Coffman E.G., Lueker G. Probabilistic analysis of packing partitioning algorithms (Wiley, 1991)(T)(ISBN 047153272X)(202s)_CsAl_.djvu | 1.66 MB | ||
| Cohen A.M., et al. (eds.) International Congress on Mathematical Software (WS, 2002)(ISBN 9812380485)(T)(O)(529s)_CsAl_.djvu | 3.87 MB | ||
| Cooper R.B. Introduction to Queueing Theory (NH, 1981)(T)(C)(361s).djvu | 4.72 MB | ||
| Cormen T.H., Lee C., Lin E. Instructor's manual for Introduction to algorithms, 2ed. (MIT, 2002)(429s)_CsAl_.pdf | 1.41 MB | ||
| Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms (3ed., MIT, 2009)(ISBN 0262033844)(O)(1313s)_CsAl_.pdf | 5.39 MB | ||
| Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to algorithms (2ed., MIT, 2001)(K)(T)(ISBN 0070131511)(1202s)_CsAl_.djvu | 16.29 MB | ||
| Cormen T.H., et al. Introduction to algorithms (2ed., MIT, 2001)(ISBN 0070131511)(1202s)_CsAl_.pdf | 5.8 MB | ||
| Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(600dpi)(T)(ISBN 0070131511)(984s)_CsAl_.djvu | 11.04 MB | ||
| Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(ISBN 0070131511)(984s)_CsAl_.pdf | 11.37 MB | ||
| Cousineau G., Mauny M. The Functional Approach to Programming (CUP, 1998)(ISBN 0521571839)(600dpi)(T)(447s)_CsAl_.djvu | 6.78 MB | ||
| Cousineau G., Mauny M. The functional approach to programming (CUP, 1998)(ISBN 0521576814)(KA)(T)(447s)_CsAl_.djvu | 3.21 MB | ||
| Critchlow C., Eck D. Foundations of computation (web draft, 2010)(256s)_CsAl_.pdf | 1.81 MB | ||
| Crochemore M., Hancart C., Lecroq T. Algorithms on strings (CUP, 2007)(ISBN 9780521848992)(O)(393s)_CsAl_.pdf | 1.72 MB | ||
| Crochemore M., Rytter W. Jewels of stringology (WS, 2002)(T)(ISBN 9810247826)(309s)_CsAl_.djvu | 2.62 MB | ||
| Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(396s)_CsAl_.pdf | 2 MB | ||
| Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(600dpi)(T)(427s)_CsAl_.djvu | 8.99 MB | ||
| Cui Yu. High-dimensional indexing.. Transformational approaches to high-dimensional range and similarity searches (LNCS2341, Springer, 2002)(ISBN 3540441999)(159s)_CsAl_.pdf | 1.11 MB | ||
| Dahl O.-J., Dijkstra E.W., Hoare C.A.R. Structured Programming (AP, 1972)(ISBN 0122005503)(K)(T)(226s)_CsAl_.djvu | 1.77 MB | ||
| Dehmer M., Emmert-Streib F. (eds.) Analysis of Complex Networks.. From Biology to Linguistics (Wiley, 2009)(ISBN 3527323457)(O)(482s)_CsAl_.pdf | 3.82 MB | ||
| Dehne F., Sack J.-R., Santoro N. (eds.) Algorithms and data structures (Workshop WADS 89, LNCS0382, Springer, 1989)(T)(ISBN 3540515429)(600s).djvu | 5.49 MB | ||
| Demoen B., et al. The first 10 Prolog programming contests (2005)(ISBN 9789090197821)(161s)_CsAl_.pdf | 529.69 KB | ||
| Diaz J., et al. Paradigms for fast parallel approximability (CUP, 1997)(ISBN 0521431700)(T)(O)(167s)_CsAl_.djvu | 1012.27 KB | ||
| Diekert V. Combinatorics on traces (LNCS0454, Springer, 1990)(ISBN 3540530312)(T)(O)(169s)_CsAl_.djvu | 1.21 MB | ||
| Doerr H. Efficient graph rewriting and its implementation (LNCS0922, Springer, 1995)(ISBN 3540600558)(T)(269s)_CsAl_.djvu | 2.13 MB | ||
| Dolev S. Self-Stabilization (MIT Press, 2000)(K)(T)(ISBN 0262041782)(206s)_CsAl_.djvu | 1.25 MB | ||
| Downey A.B. The Little Book of Semaphores.. The Ins and Outs of Concurrency Control ...(2ed., CreateSpace, 2009)(ISBN 9781441418685)(O)(292s)_CsAl_.pdf | 484.13 KB | ||
| Dromey R.G. How to Solve it By Computer (PH, 1982)(ISBN 0134339959)(600dpi)(T)(O)(463s)_CsAl_.djvu | 2.94 MB | ||
| Drozdek A. Data Structures and Algorithms in C++ (2ed., Brooks-Cole, 2001)(ISBN 0534375979)(T)(C)(O)(665s)_CsAl_.djvu | 5.55 MB | ||
| Du D., Hu X. Steiner tree problems in computer communication networks (WS, 2008)(ISBN 9812791442)(373s)_CsAl_.pdf | 2.22 MB | ||
| Dumas J.-G. Algorithmes paralleles pour le calcul formel.. algebre lineaire creuse et extensions algebriques (fr)(Grenoble these, 2000)(242s)_CsAl_.pdf | 1.32 MB | ||
| Edmonds J. How to think about algorithms (CUP, 2008)(ISBN 0521849314)(464s)_CsAl_.pdf | 4.81 MB | ||
| Ehrig, Prange, Taentzer. Fundamentals of algebraic graph transformation (Springer, 2006)(ISBN 3540311874)(373s)_CsAl_.pdf | 3.12 MB | ||
| Eijkhout V. The computer science of TeX and LaTeX (web draft, lecture notes, 2004)(206s)_CsAl_.pdf | 1.46 MB | ||
| Erickson J. Algorithms (web draft, 2011)(O)(809s)_CsAl_.pdf | 16.3 MB | ||
| Ershov A.P., Knuth D.E. (eds.) Algorithms in modern mathematics and computer science (Proc., Urgench, Uzbek SSR)(LNCS0122, Springer, 1981)(ISBN 0387111573)(T)(498s)_CsAl_.djvu | 7.47 MB | ||
| Esparza J., Michaux C., Steinhorn C. (eds.) Finite and algorithmic model theory (CUP, 2011)(ISBN 0521718201)(O)(355s)_CsAl_.pdf | 1.49 MB | ||
| Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 0914894218)(T)(600dpi)(258s)_CsAl_.djvu | 2.02 MB | ||
| Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 9780914894216)(600dpi)(T)(258s)_CsAl_.djvu | 1.96 MB | ||
| Felleisen M., Findler R.B., Flatt M., Krishnamurthi S. How to design programs.. an introduction to computing and programming (using Scheme)(MIT press, free web version, 2002)(565s).pdf.gz | 3.14 MB | ||
| Fiore S., Aloisio G. (eds.) Grid and cloud database management (Springer, 2011)(ISBN 3642200443)(O)(364s)_CsAl_.pdf | 4.41 MB | ||
| Fleischer R., Trippen G. (eds.) Proc. ISAAC 2004, Algorithms and Computation (Springer, 2005)(ISBN 3540241310)(600dpi)(T)(C)(O)(957s)_CsAl_.djvu | 10.73 MB | ||
| Flum, Gradel, Wilke. (eds.) Logic and automata.. History and perspectives (U.Amsterdam, 2008)(ISBN 9053565760)(737s)_CsAl_.pdf | 4.25 MB | ||
| Flynt J., Kodicek D. Mathematics and physics for programmers (2ed., Course Technology, 2012)(ISBN 9781435457331)(O)(688s)_CsAl_.pdf | 5.6 MB | ||
| Fokker J. Functional programming (1995)(155s).pdf | 719.1 KB | ||
| Fomin F.V., Kratsch D. Exact exponential algorithms (Springer, 2010)(ISBN 364216532X)(O)(218s)_CsAl_.pdf | 3.18 MB | ||
| Forbellone A.L.V., Eberspaecher H.F. Logica de programacao (3ed., Pearson, 2005)(pt)(ISBN 8576050242)(600dpi)(T)(225s)_CsAl_.djvu | 5.66 MB | ||
| Foster I. Systems Programming in Parallel Logic Languages (PH, 1990)(ISBN 9780138807740)(600dpi)(T)(209s)_CsAl_.djvu | 1.62 MB | ||
| Fowler, et al. Refactoring - Improving the Design of Existing Code(337s)_CsAl_.pdf | 1.95 MB | ||
| Friedl J.E.F. Regulaere Ausdruecke (2ed., O'Reilly, 2008)(de)(ISBN 3897217201)(T)(554s)_CsAl_.djvu | 3.77 MB | ||
| Furht B., Escalante A. (eds.) Handbook of cloud computing (Springer, 2010)(ISBN 1441965238)(O)(655s)_CsAl_.pdf | 9.43 MB | ||
| Gabizon A. Deterministic extraction from weak random sources (Springer, 2011)(ISBN 3642149022)(O)(161s)_CsAl_.pdf | 1.21 MB | ||
| Gacs P., Lovasz L. Complexity of algorithms (lecture notes, 1999)(200dpi)(T)(180s).djvu | 1.06 MB | ||
| Gajski D.D., Abdi S., Gerstlauer A., Schirner G. Embedded System Design (Springer, 2009)(ISBN 1441905030)(O)(366s)_CsAl_.pdf | 3.78 MB | ||
| Gendreau M., Potvin J.Y. (eds.) Handbook of metaheuristics (2ed., Springer, 2010)(ISBN 1441916636)(O)(669s)_CsAl_.pdf | 5.49 MB | ||
| Gimpel J.F. Algorithms in SNOBOL4 (Wiley, 1976)(ISBN 0471302139)(600dpi)(T)(504s)_CsAl_.djvu | 5.09 MB | ||
| Goddard W. Introduction to algorithms (web draft, 2004)(O)(70s).pdf | 475.24 KB | ||
| Goldberg L. Efficient algorithms for listing combinatorial structures (CUP, 1993)(ISBN 0521450217)(T)(O)(177s)_CsAl_.djvu | 1.07 MB | ||
| Gonnet G.H., Baeza-Yates R. Handbook of algorithms and data structures (no p.232-234,238-239)(2ed., AW, 1991)(T)(ISBN 0201416077)(433s)_CsAl_.djvu | 3.66 MB | ||
| Gordon A.D. Functional Programming and Input-Output (CUP, 2008)(ISBN 9780521070072)(169s)_CsAl_.pdf | 1.12 MB | ||
| Gove D. Multicore Application Programming.. for Windows, Linux, and Oracle Solaris (AW, 2010)(ISBN 0321711378)(O)(463s).pdf | 2.62 MB | ||
| Gramss T., S.Bornholdt, M.Gross, M.Mitchell, T.Pellizzari. Non-standard Computation (Wiley-VCH,1998)(ISBN 3527294279)(T)(234s)_CsAl_.djvu | 2.41 MB | ||
| Greco F. (ed.) Traveling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(212s)_CsAl_.djvu | 1.79 MB | ||
| Greco F. (ed.) Travelling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(210s)_CsAl_.djvu | 1.83 MB | ||
| Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (2ed., Burkhauser, 1982)(T)(ISBN 376433102X)(123s)_CsAl_.djvu | 856.02 KB | ||
| Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (3ed., Burkhauser, 1990)(T)(ISBN 0817635157)(139s)_CsAl_.djvu | 834.63 KB | ||
| Greenlaw R., Hoover H.J., Ruzzo W. Limits to parallel computation. P-completeness theory (OUP, 1995)(ISBN 0195085914)(O)(328s)_CsAl_.pdf | 1.02 MB | ||
| Gries D. Compiler Construction for Digital Computers (Wiley, 1971)(ISBN 9780471327769)(600dpi)(T)(508s)_CsAl_.djvu | 4.59 MB | ||
| Griswold R.E. String and list processing in SNOBOL4 (PH, 1975)(ISBN 0138530106)(600dpi)(T)(305s)_CsAl_.djvu | 2.08 MB | ||
| Grune D., Bal H.E., Jacobs C.J.H., Langendoen K.G. Modern compiler design (Wiley, 2000)(K)(T)(ISBN 0471976970)(753s)_CsAl_.djvu | 4.99 MB | ||
| Grune D., Jacobs C.J. Parsing techniques.. a practical guide (2ed., Springer, 2007)(ISBN 9780387689548)(O)(677s)_CsAl_.pdf | 2.27 MB | ||
| Grune D., Jacobs C.J.H. Parsing Techniques.. A Practical Guide (Ellis Horwood, 1991)(ISBN 9780136514312)(318s)_CsAl_.pdf | 1.12 MB | ||
| Gusfield D. Algorithms on strings, trees and sequences (CUP, 1997)(ISBN 0521585198)(KA)(T)(325s)_CsAl_.djvu | 2.64 MB | ||
| Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(600dpi)(T)(329s)_CsAl_.djvu | 2.69 MB | ||
| Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(KA)(T)(329s)_CsAl_.djvu | 1.51 MB | ||
| Harris S., Ross J. Beginning algorithms (Wiley, 2006)(ISBN 9780764596742)(591s)_CsAl_.pdf | 3.44 MB | ||
| Hartmanis J. Feasible Computations and Provable Complexity Properties (SIAM, 1987)(ISBN 9780898710274)(T)(73s)_CsAl_.djvu | 425.11 KB | ||
| Hein J.L. Prolog experiments in discrete mathematics, logic, and computability (Portland State U., 2005)(160s)_CsAl_.pdf | 695.39 KB | ||
| Henderson P. Functional Programming Application and Implementation (PH, 1980)(ISBN 0133315797)(600dpi)(T)(O)(366s)_CsAl_.djvu | 2.77 MB | ||
| Hochbaum D. (ed.) Approximation algorithms for NP-hard problems (PWS, 1997)(ISBN 0534949681)(600dpi)(K)(T)(618s)_CsAl_.djvu | 8.68 MB | ||
| Hockey S. Snobol programming for the humanities (Clarendon Press, 1985)(ISBN 0198246765)(600dpi)(T)(189s)_CsAl_.djvu | 1.08 MB | ||
| Hoffmann S., Lienhart R. Open MP.. Eine Einfuehrung in die parallele Programmierung mit C, C++ (Springer, 2008)(ISBN 3540731229)(de)(164s)_CsAl_.pdf | 556.91 KB | ||
| Holmes J. Object-Oriented Compiler Construction (PH, 1994)(ISBN 9780136307402)(600dpi)(T)(494s)_CsAl_.djvu | 3.51 MB | ||
| Holub A. Compiler Design in C (PH, 1990)(ISBN 9780131550452)(600dpi)(T)(984s)_CsAl_.djvu | 8.77 MB | ||
| Hopgood F.R.A. Compiling techniques (MacDonald, 1974)(ISBN 0444197699)(600dpi)(T)(135s)_CsAl_.djvu | 1.33 MB | ||
| Hromkovic J. Algorithmics for Hard Problems (2ed., Springer, 2002)(ISBN 3540441344)(T)(549s)_CsAl_.djvu | 4.08 MB | ||
| Hromkovic J. Algorithmics for hard computing problems (no p.14-15)(Springer, 2001)(ISBN 3540668608)(400dpi)(T)(502s)_CsAl_.djvu | 3.73 MB | ||
| Hromkovic J. Communication Complexity and Parallel Computing (Springer, 1997)(ISBN 9783540574590)(600dpi)(T)(352s)_CsAl_.djvu | 3.99 MB | ||
| Hromkovic J. Design and analysis of randomized algorithms (Springer, 2005)(ISBN 3540239499)(279s)_CsAl_.pdf | 1.61 MB | ||
| Hromkovic J. Theoretical computer science (no References)(Springer, 2007)(ISBN 3540140158)(K)(T)(318s)_CsAl_.djvu | 5.94 MB | ||
| Hromkovic J. Theoretical computer science (no p.307-308)(Springer, 2007)(ISBN 9783540140153)(600dpi)(T)(321s)_CsAl_.djvu | 5.65 MB | ||
| Hunter R. The Design and Construction of Compilers (Wiley, 1982)(ISBN 9780471280545)(600dpi)(T)(283s)_CsAl_.djvu | 1.9 MB | ||
| Hyslop G.A. Bucketing algorithms for sorting selection and computational geometry (Dissertation, 1993)(T)(102s)_CsAl_.djvu | 1.35 MB | ||
| Ingerman P.Z. A syntax-oriented translator (AP, 1966)(ASIN B0000CN7CS)(600dpi)(T)(140s)_CsAl_.djvu | 1.02 MB | ||
| Ito M., Paun G., Yu S. (eds.) Words, semigroups, transductions (WS, 2001)(ISBN 9810247397)(T)(O)(455s)_CsAl_.djvu | 2.77 MB | ||
| Ivanyi A. (ed.) Algorithms of informatics, Vol.1.. Foundations (Kiado, 2007)(ISBN 9638759607)(579s)_CsAl_.pdf | 3.71 MB | ||
| Ivanyi A. (ed.) Algorithms of informatics, Vol.2.. Applications (Kiado, 2007)(ISBN 9638759623)(573s)_CsAl_.pdf | 4.72 MB | ||
| Jeuring J., Swierstra D. Grammars and parsing (web draft, 2001)(275s)_CsAl_.pdf | 861.97 KB | ||
| Jungnickel D. Graphs, Networks and Algorithms (2ed., Springer, 2005)(ISBN 3540219056)(615s)_CsAl_.pdf | 3.21 MB | ||
| Jungnickel D. Graphs, Networks and Algorithms (3ed., Springer, 2007)(ISBN 3540727795)(655s)_CsAl_.pdf | 3.39 MB | ||
| Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387301623)(1219s)_CsAl_.pdf | 10.89 MB | ||
| Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387307702)(1199s)_CsAl_.pdf | 11.1 MB | ||
| Kastens U., Hutt B., Zimmermann E. GAG.. a practical compiler generator (LNCS0141, Springer, 1982)(ISBN 3540115919)(T)(156s)_CsAl_.djvu | 796.69 KB | ||
| Kelly M.V. (ed.) Proc. 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s)_CsAl_.djvu | 31.23 MB | ||
| Kemp T. Fundamentals of the average case analysis of particular algorithms (Wiley, 1984)(T)(ISBN 0471903221)(239s)_CsAl_.djvu | 1.92 MB | ||
| Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(600dpi)(T)(375s)_CsAl_.djvu | 2.76 MB | ||
| Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(source code).rar | 45.24 KB | ||
| Kernighan B.W., Plauger P.J. The elements of programming style (2ed., MGH, 1978)(ISBN 0070342075)(600dpi)(T)(181s)_CsAl_.djvu | 1.19 MB | ||
| Khuller S. Advanced algorithms (lecture notes, web draft, 1994)(pages ordered backwards)(112s)_CsAl_.ps.gz | 219.61 KB | ||
| Khuller S. Design and analysis of algorithms (draft, 2003)(O)(161s)_CsAl_.pdf | 1.03 MB | ||
| Knuth D. The art of computer programming, vol. 1 (AW, 1ed, 1968)(T)(761s).djvu | 7.26 MB | ||
| Knuth D. The art of computer programming, vol. 2 (2ed., AW, 1981)(T)(ISBN 0201038226)(704s).djvu | 8.74 MB | ||
| Knuth D.E. Selected papers on the analysis of algorithms (Stanford, 2000)(ISBN 1575862115)(T)(O)(635s)_CsAl_.djvu | 4.29 MB | ||
| Knuth D.E. The art of computer programming 4A Combinatorial algorithms, Part 1 (AW, 2011)(ISBN 0201038048)(901s)_CsAl_.pdf | 7.18 MB | ||
| Knuth D.E. The art of computer programming I (AW, 1997)(T)(ISBN 0201896834)(665s)_CsAl_.djvu | 6.05 MB | ||
| Knuth D.E. The art of computer programming II (AW, 1997)(T)(ISBN 0201896834)(774s)_CsAl_.djvu | 7.59 MB | ||
| Knuth D.E. The art of computer programming III (AW, 1997)(T)(ISBN 0201038099)(791s)_CsAl_.djvu | 7.69 MB | ||
| Kodicek D. Mathematics and Physics for Programmers (Charles River Media, 2005)(ISBN 1584503300)(O)(641s)_CsAl_.pdf | 4.16 MB | ||
| Kordic V. Petri Net. Theory and applications (I-Tech, 2008)(ISBN 9783902613127)(542s)_CsAl_.pdf | 9.7 MB | ||
| Koren I. Computer Arithmetic Algorithms (2ed., A.K.Peters, 2001)(ISBN 9781568811604)(600dpi)(T)(296s)_CsAl_.djvu | 2.5 MB | ||
| Kosinski W. Advances in evolutionary algorithms (In-Tech, 2008)(ISBN 9537619117)(600dpi)(T)(C)(O)(476s)_CsAl_.djvu | 6.79 MB | ||
| Kowalski R. Algorithm = Logic + Control (Comm.ACM, 1971)(T)(13s).djvu | 495.89 KB | ||
| Kozen D.C. Automata and Computability (Springer, 1997)(ISBN 0387949070)(600dpi)(T)(414s)_CsAl_.djvu | 2.29 MB | ||
| Kozen D.C. The design and analysis of algorithms (Springer-Verlag, 1991)(K)(T)(ISBN 0387976876)(332s)_CsAl_.djvu | 1.64 MB | ||
| Kreher D.L., Stinson D.R. Combinatorial algorithms. Generation, enumeration, and search (CRC,1999)(K)(T)(ISBN 084933988X)(340s).djvu | 3.59 MB | ||
| Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (CUP, 2008)(ISBN 9780521876346)(754s)_CsAl_.pdf | 4.03 MB | ||
| Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (draft, 2005)(748s)_CsAl_.pdf | 4.05 MB | ||
| Kulisch U. Computer arithmetic and validity.. Theory, implementation, and applications (De Gruyter, 2008)(ISBN 3110203189)(429s)_CsAl_.pdf | 3.03 MB | ||
| LaValle S. Planning algorithms (CUP, 2006)(O)(1023s)_CsAl_.pdf | 7.95 MB | ||
| LaValle S.M. Planning algorithms (CUP, 2006)(ISBN 0521862051)(O)(844s)_CsAl_.pdf | 6.67 MB | ||
| Laboratory in software engineering (MIT EECS 6170 lecture notes, 2001)(206s)_CsAl_.pdf | 1.45 MB | ||
| Ladner R.E. (ed.) Proceedings of the 5th Workshop on Algorithm Engineering (SIAM, 2003)(ISBN 0898715423)(T)(O)(156s)_CsAl_.djvu | 3.24 MB | ||
| Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(600dpi)(T)(233s)_CsAl_.djvu | 2.8 MB | ||
| Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(T)(600dpi)(233s)_CsAl_.djvu | 2.86 MB | ||
| Lau H.T. A Java Library of Graph Algorithms and Optimization (CRC, 2006)(ISBN 1584887184)(385s)_CsAl_.pdf | 887.54 KB | ||
| Launchbury J., et al. (eds.) Advanced functional programming.. proc. school Olympia, 1996 (LNCS1129, Springer, 1996)(ISBN 3540616284)(T)(244s)_CsAl_.djvu | 1.89 MB | ||
| Lee E.A., Seshia S.A. Introduction to Embedded Systems.. A Cyber-Physical Systems Approach (Lulu.com, 2011)(ISBN 9780557708574)(O)(525s)_CsAl_.pdf | 5.32 MB | ||
| Lee J.A.N. The anatomy of a compiler (2ed., Van Nostrand, 1968)(ISBN 0442247338)(T)(480s)_CsAl_.djvu | 2.45 MB | ||
| Lee P. Realistic Compiler Generation (MIT, 1989)(ISBN 9780262121415)(600dpi)(T)(263s)_CsAl_.djvu | 1.45 MB | ||
| Leermakers R. The functional treatment of parsing (Kluwer AP Publishers, 1993)(ISBN 0792393767)(600dpi)(T)(176s)_CsAl_.djvu | 1.67 MB | ||
| Leiss E. A programmer's companion to algorithm analysis (CRC, 2007)(O)(ISBN 1584886730)(264s)_CsAl_.pdf | 2.32 MB | ||
| Lent J. Probabilistic analysis of some searching and sorting algorithms (Dissertation, 1996)(T)(112s)_CsAl_.djvu | 1.43 MB | ||
| Levitin A. Introduction to the design and analysis of algorithms (3ed., AW, 2011)(ISBN 0132316811)(O)(593s)_CsAl_.pdf | 2.17 MB | ||
| Levner E. (ed.) Multiprocessor scheduling. Theory and applications (I-Tech, 2007)(ISBN 9783902613028)(445s)_CsAl_.pdf | 4.94 MB | ||
| Li T.M. (ed.) Cellular automata (Nova, 2011)(ISBN 1617615927)(O)(308s)_CsAl_.pdf | 6.31 MB | ||
| Lilja D.J. Measuring computer performance. A practitioner's guide (CUP, 2004)(ISBN 0521641055)(O)(279s)_CsAl_.pdf | 1.27 MB | ||
| Limnios N. Fault trees (ISTE, 2007)(ISBN 1905209304)(224s)_CsAl_.pdf | 1.31 MB | ||
| Loudon K. Mastering algorithms with C (O'Reilly, 1999)(560s)_CsAl_.chm | 1.92 MB | ||
| Luccio F., Pagli L., Steel G. Mathematical and algorithmic foundations of the Internet (CRC, 2011)(ISBN 1439831386)(O)(219s)_CsAl_.pdf | 1.4 MB | ||
| Mahmoud H.M. Evolution of random search trees (Wiley, 1992)(T)(330s)_CsAl_.djvu | 2.46 MB | ||
| Mahmoud H.M. Sorting.. a distribution theory (Wiley, 2000)(T)(ISBN 0471327107)(405s)_CsAl_.djvu | 3.16 MB | ||
| Manber U. Introduction to algorithms.. a creative approach (AW, 1989)(ISBN 0201120372)(600dpi)(T)(496s)_CsAl_.djvu | 4.48 MB | ||
| Marriott K., Stuckey P.J. Programming with Constraints.. An Introduction (MIT, 1998)(ISBN 0262133415)(600dpi)(T)(O)(482s)_CsAl_.djvu | 3.34 MB | ||
| Mastorakis N., et al. (eds.) Proceedings of the european computing conference. Vol.2 (Springer, 2009)(ISBN 0387848185)(814s)_CsAl_.pdf | 9.16 MB | ||
| McConnell S. Code Complete (T)(890s)_CsAl_.djvu | 15.03 MB | ||
| McGeoch C.C. Experimental analysis of algorithms (thesis)(1986)(T)(161s)_CsAl_.djvu | 2.96 MB | ||
| McKeeman W.M., Horning J.J., Wortman D.B. A compiler generator (PH, 1971)(ISBN 9780131550773)(600dpi)(K)(T)(540s)_CsAl_.djvu | 3.49 MB | ||
| McKenney P.E. Is parallel programming hard, and if so, what can you do about it (free web version draft 2011-05-30, 2011)(588s)_CsAl_.pdf | 3.34 MB | ||
| Meduna A., Svec M. (eds.) Grammars With Context Conditions and Their Applications (Wiley, 2005)(ISBN 0471718319)(T)(O)(228s)_CsAl_.djvu | 1.19 MB | ||
| Mehlhorn K. Data structures and algorithms 3.. multi-dimensional searching and computational geometry (Springer, 1984)(T)(ISBN 3540136428)(294s)_CsAl_.djvu | 1.96 MB | ||
| Mehlhorn K. Efficient data structures and algorithms, three volumes (Springer, 1984)(T)(674s).djvu | 4.33 MB | ||
| Mehlhorn K., Sanders P. Algorithms and data structures.. the basic toolbox (Springer, 2008)(ISBN 3540779779)(305s)_CsAl_.pdf | 2.03 MB | ||
| Mehlhorn K., Sanders P. Concise algorithmics, the basic toolbox (draft book, CUP)(124s)_CsAl_.pdf | 1.05 MB | ||
| Mehta D., Sahni S. (eds.) Handbook of data structures and applications (ISBN 1584884355)(CRC, 2005)(1321s)_CsAl_.pdf | 10.77 MB | ||
| Melin P., et al. (eds.) Soft computing for recognition based on biometrics (Springer, 2010)(ISBN 3642151108)(O)(444s)_CsAl_.pdf | 12.9 MB | ||
| Michaelson G., Trinder P., Loidl H.-W. (eds.) Trends in functional programming (Intellect, 2001)(ISBN 1841500240)(T)(189s)_CsAl_.djvu | 1.6 MB | ||
| Miczo A. Digital logic testing and simulation (Wiley, 2003)(ISBN 0471439959)(688s)_CsAl_.pdf | 2.19 MB | ||
| Mikolajczak B. (ed.) Algebraic and structural automata theory (Ann. of discr. math. 44)(NH, 1991)(ISBN 0444874585)(T)(424s)_CsAl_.djvu | 2.16 MB | ||
| Mills B. Theoretical introduction to programming (Springer 2006)(365s)_CsAl_.pdf | 1.18 MB | ||
| Minker W., Bennacef S. Speech and human-machine dialog (Kluwer, 2004)(ISBN 1402080360)(104s)_CsAl_.pdf | 1.61 MB | ||
| Mirenkov N.N. (ed.) Parallel computing technologies (WS, 1991)(T)(ISBN 9810206984)(514s)_CsAl_.djvu | 6.86 MB | ||
| Mitchell J.C. Foundations for programming languages (MIT, 1996)(ISBN 0262133210)(400dpi)(T)(854s)_CsAl_.djvu | 5.95 MB | ||
| Munro, Sedgewick, et al. (eds.) Proc. 10th workshop on algorithm engineering, 5th workshop on analytic algorithmics and combinatorics (SIAM, 2008)(ISBN 9780898716535)(268s)_CsAl_.pdf | 4.66 MB | ||
| Nayak A., Stojmenovic I. (eds.) Handbook of applied algorithms.. solving scientific, engineering, and practical problems (Wiley, 2008)(ISBN 0470044926)(571s)_CsAl_.pdf | 3.37 MB | ||
| Nayak A., Stojmenovic I. (eds.) Handbook of applied algorithms.. solving scientific, engineering, and practical problems (Wiley, 2008)(ISBN 0470044926)(O)(572s)_CsAl_.pdf | 3.39 MB | ||
| Niedermeier R. Invitation to fixed-parameter algorithms (OUP, 2006)(ISBN 0198566077)(312s)_CsAl_.pdf | 1.62 MB | ||
| Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(200dpi)(T)(ISBN 0125192606)(309s)_CsAl_.djvu | 1.57 MB | ||
| Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(400dpi)(ISBN 0125192606)(T)(316s)_CsAl_.djvu | 2.03 MB | ||
| Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2006)(T)(316s)_CsAl_.djvu | 2.17 MB | ||
| Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2ed., AP, 1978)(ISBN 0125192606)(T)(316s)_CsAl_.djvu | 1.38 MB | ||
| Nikoletseas S.E. (ed.) Experimental and efficient algorithms (LNCS3503, Springer, 2005)(636s).pdf | 9.89 MB | ||
| Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(294s)_CsAl_.pdf | 1.28 MB | ||
| Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(Errata)(2s)_CsAl_.pdf | 51.33 KB | ||
| Okasaki C. Purely functional data structures (CUP, 1999)(ISBN 0521663504)(400dpi)(T)(O)(231s)(KA)_CsAl_.djvu | 1.64 MB | ||
| Okasaki C. Purely functional data structures (PhD thesis, CMU, 1996)(162s)_CsAl_.pdf | 614.14 KB | ||
| Olderog E.-R. Nets, Terms and Formulas.. Three Views of Concurrent Processes and their Relationship (CUP, 1991)(ISBN 9780521400442)(T)(277s)_CsAl_.djvu | 1.25 MB | ||
| Oliveira S., Stewart D. Writing scientific software. A guide to good style (CUP 2006)(316s)_CsAl_.pdf | 894.95 KB | ||
| Omondi A., Premkumar B. Residue number systems.. Theory and implementation (ICP, 2007)(ISBN 1860948669)(311s)_CsAl_.pdf | 2.61 MB | ||
| Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(600dpi)(T)(225s)_CsAl_.djvu | 1.53 MB | ||
| Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(T)(600dpi)(225s)_CsAl_.djvu | 1.59 MB | ||
| Parberry I., Gasarch W. Problems on algorithms (2002)(268s)_CsAl_.pdf | 1.92 MB | ||
| Parhami B. Introduction to parallel processing.. algorithms and architectures (Kluwer, 2002)(557s).pdf.gz | 3.43 MB | ||
| Parsons T.W. Introduction to Compiler Construction (W.H.Freeman, 1992)(ISBN 9780716782612)(600dpi)(T)(374s)_CsAl_.djvu | 2.45 MB | ||
| Pascal G. Arithmetique et algorithmique en algebre lineaire exacte pour la bibliotheque LinBox (fr)(Lyon these, 2004)(206s)_CsAl_.pdf | 1.16 MB | ||
| Pearl J. Heuristics (1984)(600dpi)(T)(401s)_CsAl_.djvu | 3.66 MB | ||
| Peled D.A. Software Reliability Methods (Springer, 2001)(ISBN 0387951067)(600dpi)(T)(354s)_CsAl_.djvu | 2.59 MB | ||
| Peleg D. Distributed computing (SIAM, 2000)(ISBN 0898714648)(T)(O)(360s)_CsAl_.djvu | 2.89 MB | ||
| Penttonen, Schmidt. (eds.) Algorithm theory - Proc. SWAT 2002 (LNCS2368, Springer, 2002)(455s)_CsAl_.pdf | 4.98 MB | ||
| Pepper P., Hofstedt P. Funktionale Programmierung.. Sprachdesign und Programmiertechnik (Springer, 2006)(de)(ISBN 9783540209591)(486s)_CsAl_.pdf | 2.57 MB | ||
| Perrin D., Berstel J., Reutenauer C. Codes and Automata (CUP, 2009)(ISBN 052188831X)(634s)_CsAl_.pdf | 4.26 MB | ||
| Peterson W.P., Arbenz P. Introduction to parallel computing (OUP, 2004)(ISBN 0198515766)(278s)_CsAl_.pdf | 1.22 MB | ||
| Pieprzyk J., Sadeghiyan B. Design of hashing algorithms (LNCS0756, Springer, 1993)(ISBN 3540575006)(T)(208s)_CsAl_.djvu | 1.2 MB | ||
| Pollack B.W. Compiler techniques (Auerbach Publishers, 1972)(ISBN 9780877690764)(600dpi)(T)(573s)_CsAl_.djvu | 4.15 MB | ||
| Preparata F. (ed.) Theoretical computer sciences (CIME0068 1975, Springer, 2011)(ISBN 3642111181)(600dpi)(T)(O)(183s)_CsAl_.djvu | 1.44 MB | ||
| Preve N. (ed.) Computational and data grids. Principles, applications and design (IGI Global, 2012)(ISBN 9781613501139)(O)(401s)_CsAl_.pdf | 11.49 MB | ||
| Proceedings of the 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s).djvu | 31.21 MB | ||
| Proceedings of the 14th annual ACM-SIAM symposium on discrete algorithms (SIAM 2003)(ISBN 0898715385)(T)(O)(891s).djvu | 16.93 MB | ||
| Proceedings of the 15th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2004)(ISBN 089871558X)(T)(O)(1149s)_CsAl_.djvu | 19.87 MB | ||
| Proceedings of the 16th annual ACM-SIAM symposium on discrete algorithms(SIAM, 2005)(ISBN 0898715857)(T)(O)(1204s)_CsAl_.djvu | 19.63 MB | ||
| Proceedings of the 17th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2006)(ISBN 0898716055)(T)(O)(1261s)_CsAl_.djvu | 21.25 MB | ||
| Proceedings of the 18th annual ACM-SIAM symposium on discrete algorithms (SIAM 2007)(ISBN 9780898716245)(600dpi)(T)(O)(1334s).djvu | 21.96 MB | ||
| Proceedings of the 19th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2008)(ISBN 9780898716474)(600dpi)(T)(1295s)_CsAl_.djvu | 19.72 MB | ||
| Pu I. Fundamental data compression (Elsevier, 2006)(ISBN 0750663103)(T)(269s)_CsAl_.djvu | 1.53 MB | ||
| Purdom R.W., Brown C.A. The analysis of algorithms (CBS, 1985)(T)(554s)_CsAl_.djvu | 5 MB | ||
| Queinnec C. LISP in small pieces (CUP, 1996)(T)(K)(ISBN 0521562473)(532s)_CsAl_.djvu | 4.73 MB | ||
| Rabhi F., Lapalme G. Algorithms.. a functional programming approach (AW, 1999)(ISBN 0201596040)(600dpi)(T)(O)(247s)_CsAl_.djvu | 2.3 MB | ||
| Rabiner L., Juang B.-H. Fundamentals of speech recognition (PH, 1993)(ISBN 0132858266)(K)(T)(O)(544s)_CsAl_.djvu | 3.87 MB | ||
| Raman R., Sedgewick R., Stallmann M.F. (eds.) Proc. 8th workshop on algorithm engineering (SIAM, 2006)(ISBN 0898716101)(T)(O)(292s)_CsAl_.djvu | 4.51 MB | ||
| Randell B., Russell L.J. ALGOL 60 implementation (AP, 1964)(ASIN B0006AYZGE)(600dpi)(T)(431s)_CsAl_.djvu | 3.19 MB | ||
| Rauber T., Runger G. Parallel programming.. for multicore and cluster systems (Springer, 2010)(ISBN 364204817X)(O)(463s)_CsAl_.pdf | 5.88 MB | ||
| Reekie H.J. Realtime signal processing - dataflow, visual, and functional programming (PhD thesis, 1995)(T)(226s)_CsAl_.djvu | 1.33 MB | ||
| Reghizzi S.C. Formal languages and compilation (Springer, 2009)(ISBN 1848820496)(O)(370s)_CsAl_.pdf | 1.8 MB | ||
| Reinelt G. The traveling salesman (Springer, 1994)(ISBN 3540583343)(230s)_CsAl_.pdf | 2.49 MB | ||
| Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(600dpi)(T)(444s)_CsAl_.djvu | 3.82 MB | ||
| Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(T)(600dpi)(444s)_CsAl_.djvu | 3.96 MB | ||
| Reps T.W. Generating Language-Based Environments (MIT, 1984)(ISBN 9780262181150)(600dpi)(T)(154s)_CsAl_.djvu | 963.77 KB | ||
| Resch M., et al. (eds.) High performance computing on vector systems 2010 (Springer, 2010)(ISBN 364211850X)(O)(200s)_CsAl_.pdf | 6.83 MB | ||
| Robbins K.A., Robbins S. UNIX Systems Programming.. Communication, Concurrency and Threads (PH, 2003)(ISBN 9780130424112)(O)(1008s)_CsAl_.pdf | 2.59 MB | ||
| Rohl J.S. Recursion via Pascal (CUP, 1984)(ISBN 0521269342)(T)(201s)_CsAl_.djvu | 1.37 MB | ||
| Ronse C. Feedback shift registers (LNCS0169, Springer, 1984)(ISBN 3540133305)(T)(144s)_CsAl_.djvu | 822.23 KB | ||
| Rose K.H. Explicit substitutions in rewriting systems - tutorial and survey (LS-96-3, BRICS, 1996)(600dpi)(T)(163s)_CsAl_.djvu | 1023.3 KB | ||
| Rosenberg A. The pillars of computation theory.. State, encoding, nondeterminism (Springer, 2010)(ISBN 0387096388)(O)(343s)_CsAl_.pdf | 2.07 MB | ||
| Rothenberg J., Narain S. The RAND advanced simulation language project's Declarative Modeling Formalism, DMOD (ARPA report MR-376, RAND, 1994)(ISBN 0833015559)(600dpi)(T)(72s)_CsAl_.djvu | 1.04 MB | ||
| Ruhe G. Algorithmic Aspects of Flows in Networks (Kluwer, 1991)(ISBN 0792311515)(600dpi)(T)(212s)_CsAl_.djvu | 1.57 MB | ||
| Ruskey F. Combinatorial generation (draft, 2003)(400dpi)(T)(311s).djvu | 2.08 MB | ||
| Sacco G.M., Tzitzikas Y. (eds.) Dynamic taxonomies and faceted search (Springer, 2009)(ISBN 3642023584)(O)(348s)_CsAl_.pdf | 5.89 MB | ||
| Salomaa A. Jewels of formal language theory (Computer Science, 1981)(ISBN 0914894692)(600dpi)(T)(150s)_CsAl_.djvu | 1.31 MB | ||
| Salomon D. A concise introduction to data compression (Springer, 2008)(ISBN 1848000715)(298s)_CsAl_.pdf | 1.7 MB | ||
| Salomon D. Coding for data and computer communications (Springer, 2005)(ISBN 0387212450)(600dpi)(T)(549s)_CsAl_.djvu | 9.51 MB | ||
| Salomon D. Data compression.. the complete reference (3ed., Springer, 2004)(K)(920s)_CsAl_.pdf | 4.82 MB | ||
| Salomon D. Data compression.. the complete reference (4ed., Springer, 2007)(1111s)_CsAl_.pdf | 5.35 MB | ||
| Samet H. The design and analysis of spatial data structures (AW, 1990)(T)(ISBN 0201502550)(499s)_CsAl_.djvu | 4.61 MB | ||
| Sayood K. Introduction to Data Compression (1ed., Morgan Kaufmann, 1996)(ISBN 1558603468)(600dpi)(T)(491s)_CsAl_.djvu | 15.87 MB | ||
| Sayood K. Introduction to data compression (3ed., Elsevier, 2006)(ISBN 012620862X)(T)(O)(688s)_CsAl_.djvu | 4.79 MB | ||
| Schaffer R.W. Analysis of heapsort (Dissertation, 1992)(T)(91s)_CsAl_.djvu | 1.02 MB | ||
| Schoenhage A., et al. Fast algorithms.. a multitape Turing machine implementation. With errata (B.I. Wissenschaftsverlag, 1994)(ISBN 3411168919)(600dpi)(K)(T)(311s)_CsAl_.djvu | 2.99 MB | ||
| Sedgewick R. Algorithms in C++, Parts 1-4 (3ed., AW, 1998)(ISBN 0201350882)_CsAl_.chm | 5.84 MB | ||
| Sedgewick R. Implementing Quicksort programs (Comm.ACM 21, p847, 1978)(T)(11s).djvu | 167.18 KB | ||
| Sedgewick R. Quicksort (Garland Pub, 1980)(T)(353s)_CsAl_.djvu | 2.44 MB | ||
| Sedgewick R., Flajolet P. An introduction to the analysis of algorithms (AW, 2006)(ISBN 7111186060)(600dpi)(T)(O)(508s)_CsAl_.djvu | 6.68 MB | ||
| Sedgewick R., Wayne K. Algorithms (4ed., AW, 2011)(ISBN 032157351X)(O)(969s)_CsAl_.pdf | 9.31 MB | ||
| Sedgewick. Algorithms (AW, 1983)(T)(560s)_CsAl_.djvu | 3.43 MB | ||
| Seroul R. Programming for mathematicians (Springer, 2000)(ISBN 354066422X)(K)(T)(445s)_CsAl_.djvu | 2.27 MB | ||
| Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(600dpi)(T)(O)(230s)_CsAl_.djvu | 2.03 MB | ||
| Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(T)(O)(230s)_CsAl_.djvu | 1.34 MB | ||
| Shonkwiler R., Lefton L. An introduction to parallel and vector scientific computing (CUP, 2006)(ISBN 9780521864787)(O)(306s)_CsAl_.pdf | 1.44 MB | ||
| Shroff G. Enterprise Cloud Computing (CUP, 2010)(ISBN 052176095X)(O)(291s)_CsAl_.pdf | 1.98 MB | ||
| Sikkel K. Parsing Schemata.. A Framework for Specification and Analysis of Parsing Algorithms (Springer, 2002)(ISBN 9783540616504)(600dpi)(T)(384s)_CsAl_.djvu | 6.62 MB | ||
| Skiena S. The algorithm design manual (2ed., Springer, 2008)(ISBN 9781848000698)(O)(739s)_CsAl_.pdf | 3.06 MB | ||
| Smith. Reflective procedural programming (phd thesis)(T)(762s).djvu | 9.23 MB | ||
| Smith. Reflective procedural programming (phd thesis).txt.bz2 | 426.63 KB | ||
| Smyth B. Computing patterns in strings (PEL, 2003)(ISBN 0201398397)(600dpi)(K)(T)(C)(O)(436s)_CsAl_.djvu | 9.76 MB | ||
| Smyth B. Computing patterns in strings (PEL, 2003)(T)(ISBN 0201398397)(429s)_CsAl_.djvu | 26.37 MB | ||
| Sommerville I. Software Engineering (8ed., AW, 2006)(ISBN 0321313798)(865s)_CsAl_.pdf | 9.61 MB | ||
| Stankovic R.S., Astola J. From Boolean Logic to Switching Circuits and Automata.. Towards Modern Information Technology (Springer, 2011)(ISBN 3642116817)(600dpi)(T)(C)(O)(214s)_CsAl_.djvu | 7.37 MB | ||
| Stevens R. Unix network programming vol.1 (PH, 1998)(T)(C)(1011s).djvu | 10.37 MB | ||
| Stevens R. Unix network programming vol.2 (PH, 1999)(T)(C)(564s).djvu | 5.84 MB | ||
| Stobo J. Problem Solving With Prolog (CRC, 1989)(ISBN 9780273029335)(O)(325s)_CsAl_.pdf | 2.2 MB | ||
| Sturm O. Functional Programming in C#.. Classic Programming Techniques for Modern Project (Wiley, 2011)(ISBN 0470744588)(600dpi)(T)(C)(O)(290s)_CsAl_.djvu | 2.73 MB | ||
| Tan C.M. (ed.) Simulated annealing (I-Tech, 2008)(ISBN 9789537619077)(600dpi)(T)(O)(426s)_CsAl_.djvu | 5.67 MB | ||
| Tan K.H. Asymptotic analysis of the number of comparisons in multipartition quicksort (Ph.D. thesis, CMU, 1993)(600dpi)(T)(165s)_CsAl_.djvu | 2.67 MB | ||
| Tanenbaum A.S. Distributed Operating Systems (no title, no TOC)(KA)(T)(588s)_CsAl_.djvu | 4.29 MB | ||
| Tanenbaum A.S. Modern Operating Systems.. International Version (3ed., Pearson, 2008)(ISBN 0138134596)(KA)(200dpi)(T)(1102s)_CsAl_.djvu | 9.09 MB | ||
| Tanenbaum A.S. Modern operating systems (2ed., PH)(100dpi)(KA)(T)(970s)_CsAl_.djvu | 10.95 MB | ||
| Tanenbaum A.S., Woodhull A.S. Operating systems.. design and implementation (2ed.)(KA)(T)(947s)_CsAl_.djvu | 7.94 MB | ||
| Tanenbaum. Introduction to distributed systems (T)(588s).djvu | 6.34 MB | ||
| Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(ISBN 0898711878)(T)(O)(142s)_CsAl_.djvu | 1.15 MB | ||
| Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(T)(ISBN 0898711878)(131s)_CsAl_.djvu | 1.23 MB | ||
| Testard L. Calculs et visualisation en nombres complexes (fr)(Grenoble these, 1997)(209s)_CsAl_.pdf | 1022.11 KB | ||
| Thulasiraman K., Swamy M.N.S. Graphs. Theory and algorithms (Wiley, 1992)(ISBN 0471513563)(T)(O)(477s)_CsAl_.djvu | 2.59 MB | ||
| Tomita M. (ed.) Generalized LR Parsing (Springer, 1991)(ISBN 0792392019)(600dpi)(T)(182s)_CsAl_.djvu | 1.6 MB | ||
| Tomita M. Efficient parsing for natural language.. a fast algorithm for practical systems (Kluwer, 1986)(ISBN 0898382025)(K)(600dpi)(T)(227s)_CsAl_.djvu | 1.57 MB | ||
| Tremblay J. An Implementation Guide to Compiler Writing (MGH, 1982)(ISBN 9780070651661)(600dpi)(T)(268s)_CsAl_.djvu | 1.65 MB | ||
| Tremblay J., Sorenson P.G. The Theory and Practice of Compiler Writing (MGH, 1985)(ISBN 9780070651616)(600dpi)(T)(O)(813s)_CsAl_.djvu | 6.29 MB | ||
| Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(531s)_CsAl_.pdf | 5.44 MB | ||
| Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(O)(545s)_CsAl_.pdf | 5.43 MB | ||
| Truemper K. Effective logic computation (Leibniz, 2010)(ISBN 0966355466)(O)(491s)_CsAl_.pdf | 2.91 MB | ||
| Tsang E. Foundations of Constraint Satisfaction (AP, 1993)(ISBN 9780127016108)(O)(441s)_CsAl_.pdf | 954.64 KB | ||
| Van D.L., Ito M. (eds.) The mathematical foundation of informatics. Conf. Hanoi, 1999 (WS, 2005)(ISBN 9810246560)(T)(208s)_CsAl_.djvu | 1.54 MB | ||
| Van Roy P., Haridi S. Concepts, techniques and models of computer programming (MIT, 2004)(ISBN 0262220695)(931s)_CsAl_.pdf | 4.33 MB | ||
| Van Roy, Haridi. Concepts and techniques of computer programming (draft 2003)(888s)_CsAl_.ps.gz | 1.72 MB | ||
| Vocking B., et al. (eds.) Algorithms unplugged (Springer, 2011)(ISBN 3642153275)(O)(417s)_CsAl_.pdf | 7.86 MB | ||
| Waite W.M., Carter L.R. An Introduction to Compiler Construction (Harper-Collins, 1993)(ISBN 9780673398222)(600dpi)(T)(449s)_CsAl_.djvu | 3.87 MB | ||
| Watson D. High-Level Languages and Their Compilers (AW, 1989)(ISBN 9780201184891)(600dpi)(T)(348s)_CsAl_.djvu | 2.46 MB | ||
| Watt D.A., Brown D.F. Programming language processors in Java.. compilers and interpreters (PH, 2000)(ISBN 0130257869)(T)(438s)_CsAl_.djvu | 3.23 MB | ||
| Webber R.E. Analysis of quadtree algorithms (1985)(T)(183s)_CsAl_.djvu | 2.43 MB | ||
| Weide B.W. Statistical methods in algorithm design and analysis (thesis)(1978)(T)(190s)_CsAl_.djvu | 1.57 MB | ||
| Wilf H. Algorithms and complexity (2ed., AK Peters, 2002)(ISBN 1568811780)(600dpi)(T)(O)(228s)_CsAl_.djvu | 1.54 MB | ||
| Wilf. Algorithms and Complexity (1ed, 1994)(139s).pdf | 986.46 KB | ||
| Winograd S. Arithmetic complexity of computations (SIAM 1980)(K)(600dpi)(T)(ISBN 0898711630)(97s)_CsAl_.djvu | 1.11 MB | ||
| Wirth N. Algorithms + data structures=programs (PH, 1976)(ISBN 0130224189)(600dpi)(T)(381s)_CsAl_.djvu | 3 MB | ||
| Wirth N. Systematic programming (PH 1973)(ISBN 0138803692)(600dpi)(T)(182s)_CsAl_.djvu | 1.29 MB | ||
| Witten I., Bainbridge D., Nichols D. How to build a digital library (2ed., Elsevier, 2010)(ISBN 0123748577)(O)(627s)_CsAl_.pdf | 15.25 MB | ||
| Witten, Moffat, Bell. Managing gigabytes.. compressing and indexing documents and images (2ed., AP, 1999)(ISBN 1558605703)(400dpi)(T)(544s)_CsAl_.djvu | 10.87 MB | ||
| Yang R. P-Prolog.. A Parallel Logic Programming Language (WS, 1988)(ISBN 9789971505080)(600dpi)(T)(152s)_CsAl_.djvu | 907.53 KB | ||
| Yovits M.C. (ed.) Advances in computers. Vol. 28 (AP, 1989)(ISBN 012012128X)(T)(315s)_CsAl_.djvu | 2.22 MB | ||
| Yovits M.C. (ed.) Advances in computers. Vol. 34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu | 3.31 MB | ||
| Zezula P., Amato G., Dohnal V., Batko M. Similarity search.. the metric space approach (ADBS32, Springer, 2006)(ISBN 0387291466)(600dpi)(K)(T)(O)(C)(239s)_CsAl_.djvu | 3.41 MB | ||
| Zhou Q. (ed.) Theoretical and mathematical foundations of computer science - ICTMF 2011 (Springer, 2011)(ISBN 3642249981)(O)(632s)_CsAl_.pdf | 8.82 MB | ||
| Zito M.A.A. Randomized techniques in combinatorial algorithms (phd thesis, Warwick, 1999)(400dpi)(T)(150s).djvu | 963.5 KB | ||
| van Rijsbergen C.J. Information Retrieval (draft, 1995)(153s)_CsAl_.pdf | 496.6 KB | ||
| von Neumann J. Theory of self-reproducing automata (Illinois, 1966)(ISBN 0598377980)(KA)(200dpi)(T)(403s)_CsAl_.djvu | 4.45 MB | ||
| Bash | |||
| Albing, et al. The BASH cookbook (O'Reilly, 2007)(ISBN 0596526784).pdf | 2.03 MB | ||
| Apress.Pro.Bash.Programming.Scripting.the.GNU.Linux.Shell.Oct.2009-o.pdf | 3.33 MB | ||
| Michael R.K. Mastering UNIX Shell Scripting (Wiley, 2003)(ISBN 9780471218210)(O)(704s)_S_.pdf | 2.37 MB | ||
| Robbins A., Beebe N. - Classic Shell Scripting - 2005-o.pdf | 4.73 MB | ||
| Robbins A., Beebe N. - Classic Shell Scripting - 2005.epub | 1.26 MB | ||
| Sarath Lakshman - Linux Shell Scripting Cookbook + Code - 2011-o.pdf | 2 MB | ||
| Computer science | |||
| AI | |||
| Aleksander I. How to build a mind.. Towards machines with imagination (Columbia, 2001)(ISBN 0231120125)(T)(S)(221s)_CsAi_.djvu | 1.27 MB | ||
| Alpaydin E. Introduction to machine learning (MIT Press, 2004)(ISBN 0262012111)(T)(432s)_CsAi_.djvu | 2.53 MB | ||
| Arbib M.A. Brains, machines, and mathematics (2ed., Springer, 1987)(ISBN 0387965394)(600dpi)(T)(217s)_CsAi_.djvu | 2.08 MB | ||
| Baader F., et al. (eds.) The description logic handbook (CUP, 2007)(ISBN 0521876257)(O)(622s)_CsAi_.pdf | 2.42 MB | ||
| Baader F., et al. The description logic handbook.. Theory, implementation and applications (CUP,2003)(ISBN 0521781760)(573s)_CsAi_.pdf | 2.2 MB | ||
| Ballard D.H. An Introduction to Natural Computation (MIT, 1999)(ISBN 0262024209)_CsAi_.chm | 3.47 MB | ||
| Barber D. Bayesian reasoning and machine learning (CUP, 2011, draft 2010)(ISBN 0521518148)(O)(646s)_CsAi_.pdf | 10.75 MB | ||
| Barr A., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 1 (Kaufmann, William Inc, 1981)(ISBN 9780865760059)(599dpi)(T)(421s)_CsAi_.djvu | 3.19 MB | ||
| Barr A., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 2 (Kaufmann, William Inc, 1981)(ISBN 9780865760066)(T)(440s)_CsAi_.djvu | 3.82 MB | ||
| Berry M.W. (ed.) Computational Information Retrieval (SIAM, 2001)(ISBN 9780898715002)(T)(200s)_CsAi_.djvu | 1.72 MB | ||
| Bertot Y., et al. (eds.) Interactive Theorem Proving and Program Development (Springer, 2004)(ISBN 3540208542)(600dpi)(T)(O)(497s)_CsAi_.djvu | 3.17 MB | ||
| Bhanu B., Lin Y., Krawiec K. Evolutionary synthesis of pattern recognition systems (Springer, 2005)(T)(ISBN 0387244522)(313s)_CsAi_.djvu | 2.69 MB | ||
| Bibel W. Automated theorem proving (2ed., Vieweg, 1987)(ISBN 3528185201)(600dpi)(T)(305s)_CsAi_.djvu | 2.59 MB | ||
| Bibel W. Deduction.. Automated Logic (AP, 1993)(ISBN 9780120958351)(600dpi)(T)(255s)_CsAi_.djvu | 2.01 MB | ||
| Birkgoff G. Matematika i psihologiya (Sovetskoe radio, 1977)(ru)(K)(600dpi)(T)(96s)_CsAi_.djvu | 1.6 MB | ||
| Bishop C. Pattern Recognition and Machine Learning (ISBN 0387310738)(Springer, 2006)(749s)_CsAi_.pdf | 4.52 MB | ||
| Boden M.A. Artificial Intelligence (AP, 1996)(ISBN 9780121619640)(T)(O)(395s)_CsAi_.djvu | 2.95 MB | ||
| Borgelt C., Steinbrecher M., Kruse R. Graphical models.. Representations for learning, reasoning and data mining (2ed., Wiley, 2009)(ISBN 047072210X)(O)(397s)_CsAl_.pdf | 1.66 MB | ||
| Boyer R.S. (ed.) Automated reasoning.. essays in honor of W.Bledsoe (Kluwer, 1991)(ISBN 0792314093)(600dpi)(T)(379s)_CsAi_.djvu | 2.7 MB | ||
| Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(T)(440s)_CsAi_.djvu | 1.62 MB | ||
| Boyer R.S., Moore J.S. The Computational Logic Handbook (AP, 1988)(ISBN 9780121229528)(600dpi)(T)(428s)_CsAi_.djvu | 2.4 MB | ||
| Bramer M., Devedzic V. (eds.) Artificial intelligence applications and innovations (Kluwer, 2004)(ISBN 1402081510)(K)(T)(C)(499s)_CsAi_.djvu | 6.79 MB | ||
| Bratko I. Prolog programming for artificial intelligence (3ed., AW, 2001)(ISBN 9780201403756)(600dpi)(K)(T)(702s)_CsAi_.djvu | 10.45 MB | ||
| Bundy A. The computer modelling of mathematical reasoning (no p.353-356) (AP, 1983)(ISBN 0121412504)(600dpi)(KA)(T)(413s)_CsAi_.djvu | 2.48 MB | ||
| Burstein F., Holsapple C. (eds.) Handbook on decision support systems 1.. Basic Themes (Springer, 2008)(ISBN 3540487123)(908s)_CsAi_.pdf | 17.2 MB | ||
| Burstein F., Holsapple C. (eds.) Handbook on decision support systems 2.. Variations (Springer, 2008)(ISBN 3540487158)(856s)_CsAi_.pdf | 14.98 MB | ||
| Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(300dpi)(T)(483s)_CsAi_.djvu | 2.71 MB | ||
| Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(600dpi)(T)(483s)_CsAi_.djvu | 7.54 MB | ||
| Camastra F., Vinciarelli A. Machine learning for audio, image and video analysis (Springer, 2008)(ISBN 1848000065)(O)(484s)_CsAi_.pdf | 4.09 MB | ||
| Cesa-Bianchi N., Lugosi G. Prediction, learning, and games (CUP, 2006)(ISBN 0521841089)(407s)_CsAi_.pdf | 2.27 MB | ||
| Chang C.-L., Lee R.C.-T. Symbolic logic and mechanical theorem proving (AP, 1973)(ISBN 0121703509)(600dpi)(T)(351s)_CsAi_.djvu | 2.39 MB | ||
| Cleeremans A. Mechanisms of Implicit Learning.. Connectionist Models of Sequence Processing (MIT, 1993)(ISBN 0262032058)_CsAi_.chm | 1.42 MB | ||
| Cohen P.R., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 3 (AW, 1986)(ISBN 9780865760073)(599dpi)(T)(656s)_CsAi_.djvu | 5.57 MB | ||
| Crocker M.W., Pickering M., Clifton Jr C. (eds.) Architectures and Mechanisms for Language Processing (CUP, 1999)(ISBN 9780521631211)(T)(375s)_CsAi_.djvu | 2.31 MB | ||
| Crockett L. The Turing Test and the Frame Problem.. AI's Mistaken Understanding of Intelligence (1994)(216s).pdf.gz | 517.37 KB | ||
| Dautenhahn, Bond, Canamero, Edmonds. (eds.) Socially intelligent agents.. creating relationships (Kluwer, 2002)(298s).pdf | 2.01 MB | ||
| Falmagne J.C., Doignon J.P. Learning spaces.. Interdisciplinary applied mathematics (Springer, 2011)(ISBN 3642010385)(O)(434s)_CsAi_.pdf | 2.34 MB | ||
| Figueiredo M., Zerubia J., Jain A.K. (eds.) Energy minimization methods in computer vision and pattern recognition (LNCS2134, Springer, 2001)(ISBN 3540425233)(O)(593s)_CsAi_.pdf | 9.8 MB | ||
| Fisher M. An Introduction to Practical Formal Methods Using Temporal Logic (Wiley, 2011)(ISBN 9780470027882)(O)(353s)_CsAi_.pdf | 2.14 MB | ||
| Fisher M.D., Gabbay D.M., Vila L. (eds.) Foundations of artificial intelligence 1.. Handbook of Temporal Reasoning in Artificial Intelligence (Elsevier, 2005)(ISBN 0444514937)(T)(O)(753s)_CsAi_.djvu | 6.08 MB | ||
| Fitting M. First-order Logic and Automated Theorem Proving (Springer, 1990)(ISBN 3540972331)(600dpi)(T)(O)(262s)_CsAi_.djvu | 1.8 MB | ||
| Frey B.J. Graphical Models for Machine Learning and Digital Communication (MIT, 1998)(ISBN 026206202X)_CsAi_.chm | 1.4 MB | ||
| Friedman J., Hastie T., Tibshirani R. The elements of statistical learning (2001)(T)(C)(524s).djvu | 3.94 MB | ||
| Friedman J., Hastie T., Tibshirani R. The elements of statistical learning.. Data mining, inference, and prediction (2ed., Springer, 2008)(ISBN 0387848576)(809s)_CsAi_.pdf | 10.92 MB | ||
| Friedman M., Kandel A. Introduction To Pattern Recognition.. Statistical, Structural, Neural and Fuzzy Logic Approaches (WS, 1999)(ISBN 9810233124)(T)(345s)_CsAi_.djvu | 1.9 MB | ||
| Fu K.S. Sequential methods in pattern recognition and machine learning (AP, 1968)(ISBN 012269550X)(T)(O)(245s)_CsAi_.djvu | 1.31 MB | ||
| Fu K.S. Syntactic methods in pattern recognition (AP, 1974)(ISBN 0122695607)(600dpi)(T)(306s)_CsAi_.djvu | 2.52 MB | ||
| Fu K.S. Syntactic pattern recognition and applications (PH, 1982)(ISBN 0138801207)(600dpi)(T)(605s)_CsAi_.djvu | 6.97 MB | ||
| Fu K.S., et al. (eds.) Digital pattern recognition (Springer, 1976)(ISBN 0387075119)(600dpi)(T)(217s)_CsAi_.djvu | 3.4 MB | ||
| Fu K.S., et al. (eds.) Syntactic pattern recognition (Springer, 1977)(ISBN 038707841X)(600dpi)(T)(281s)_CsAi_.djvu | 7.79 MB | ||
| Furuhashi T. (ed.) Advances in Fuzzy Logic Neural Networks and Genetic Algorithms. Proc. Workshop Nagoya, 1994 (LNCS1011, Springer, 1995)(ISBN 3540606076)(T)(155s)_CsAi_.djvu | 1.57 MB | ||
| Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Logic Programming, Vol.5. Handbook of logic in AI and logic programming (OUP, 1998)(ISBN 0198537921)(815s)_CsAi_.pdf | 9.48 MB | ||
| Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Logic Programming, Vol.5. Handbook of logic in AI and logic programming (OUP, 1998)(ISBN 0198537921)(T)(815s)_CsAi_.djvu | 5.07 MB | ||
| Gal A., Lapalme G., Saint-Dizier P., Somers H. PROLOG for Natural Language Processing (Wiley, 1991)(ISBN 0471930822)(600dpi)(T)(322s)_CsAi_.djvu | 2.32 MB | ||
| Galton A. (ed.) Temporal Logics and their Applications (AP, 1988)(ISBN 0122740602)(600dpi)(T)(258s)_CsAi_.djvu | 1.69 MB | ||
| German O.V., Ofitserov D.V. Problem solving (no title,no TOC)(Elsevier, 1995)(ISBN 0444822267)(T)(419s)_CsAi_.djvu | 2.3 MB | ||
| Giarratano J.C., Riley G.D. Expert Systems.. Principles and Programming (3ed., Course Technology, 1998)(ISBN 9780534950538)(T)(KA)(602s)_CsAi_.djvu | 8.37 MB | ||
| Gordon M.J.C., Melham T.F. Introduction to HOL.. A Theorem-Proving Environment for Higher-Order Logic (CUP, 1993)(ISBN 9780521441896)(600dpi)(T)(493s)_CsAi_.djvu | 3.06 MB | ||
| Griffiths M., Palissier C. Algorithmic methods for artificial intelligence (Kogan Page, 1987)(ISBN 1850912572)(600dpi)(T)(144s)_CsAi_.djvu | 891.28 KB | ||
| Grimshaw D. CPS 720 Artificial Intelligence topics with agents (MIT lecture notes, 2001)(1016s).pdf.gz | 5.8 MB | ||
| Harrison J. Handbook of Practical Logic and Automated Reasoning (CUP, 2009)(ISBN 0521899575)(O)(703s)_CsAi_.pdf | 2.54 MB | ||
| Herbrich R. Learning kernel classifiers. Theory and algorithms(MIT,2002)(ISBN 026208306X)(382s)_CsAi_.pdf | 2.56 MB | ||
| Hofstadter D. Fluid concepts and creative analogies (Basic Books, 1995)(KA)(600dpi)(T)(511s)_CsAi_.djvu | 5.18 MB | ||
| Holden T. Knowledge Based CAD and Microelectronics (Elsevier, 1987)(ISBN 0444701508)(600dpi)(T)(241s)_CsAi_.djvu | 3.62 MB | ||
| Hsieh W.W. Machine learning methods in the environmental sciences (draft, CUP, 2010)(ISBN 9780521791922)(O)(365s)_CsAi_.pdf | 7.43 MB | ||
| Hsu F. Behind Deep Blue.. Building the Computer that Defeated the World Chess Champion (PUP, 2002)(ISBN 9780691090658)(600dpi)(K)(T)(315s)_CsAi_.djvu | 4.29 MB | ||
| Huet G., Plotkin G. (eds.) Logical Frameworks (CUP, 1991)(ISBN 0521413001)(T)(O)(416s)_CsAi_.djvu | 2.53 MB | ||
| Jain L.C., Lim C.P. (eds.) Handbook on decision making. Vol 1. Techniques and applications (Springer, 2010)(ISBN 3642136389)(O)(548s)_CsAi_.pdf | 10.86 MB | ||
| Jain S., Osherson D., Royer J.S., Sharma A. Systems That Learn.. An Introduction to Learning Theory (2ed., MIT, 1999)(ISBN 0262100770)_CsAi_.chm | 2.26 MB | ||
| Jang J.-S.R., Sun C.-T., Mizutani E. Neuro-fuzzy and soft computing.. a computational approach to learning and machine intelligence (PH, 1997)(400dpi)(T)(ISBN 0132610663)(640s).djvu | 6.97 MB | ||
| Kasabov N.K. Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering (MIT, 1996)(ISBN 0262112124)_CsAi_.chm | 3.83 MB | ||
| Kashyap V., Bussler C., Moran M. The semantic web. Semantics for data and services on the web (Springer, 2008)(ISBN 9783540764519)(O)(414s)_CsAi_.pdf | 1.76 MB | ||
| Kecman V. Learning and Soft Computing.. Support Vector Machines, Neural Networks and Fuzzy Logic Models (MIT Press,2001)(ISBN 0262112558)(400dpi)(T)(568s)_CsAi_.djvu | 7.05 MB | ||
| Kitamura T. (ed.) What should be computed to understand and model brain function (WS, 2001)(ISBN 9810245181)(T)(323s)_CsAi_.djvu | 2.54 MB | ||
| Klerer M., Reinfelds J. Interactive Systems for Experimental Applied Mathematics (AP, 1968)(600dpi)(T)(485s)_CsAi_.djvu | 7.42 MB | ||
| Konar A. Artificial intelligence and soft computing (CRC, 2000)(ISBN 9780849313851)(O)(788s)_CsAi_.pdf | 3.78 MB | ||
| Konar A. Computational intelligence. Principles techniques and applications (Springer, 2005)(600dpi)(T)(C)(713s)_CsAi_.djvu | 4.11 MB | ||
| Leondes C. (ed.) Artificial intelligence and robotics in manufacturing (CRC, 2001)(ISBN 0849309999)(O)(276s)_CsAi_.pdf | 4.74 MB | ||
| Luger G., Stubblefield W. Artificial Intelligence.. Structures And Strategies For Complex Problem Solving(3ed., AW, 1998)(ISBN 9780805311969)(K)(600dpi)(T)(851s)_CsAi_.djvu | 11.8 MB | ||
| Luger G.F. Artificial Intelligence.. Structures and Strategies for Complex Problem Solving (5ed., AW, 2004)(ISBN 9780321263186)(K)(400dpi)(T)(912s)_CsAi_.djvu | 11.27 MB | ||
| Luger G.F. Artificial Intelligence.. Structures and Strategies for Complex Problem Solving (6ed., AW, 2008)(ISBN 9780321545893)(O)(779s)_CsAi_.pdf | 4.03 MB | ||
| MacKay D.J.C. Information Theory, Inference and Learning Algorithms (CUP, 2003)(ISBN 0521642981)(600dpi)(T)(640s)_CsAi_.djvu | 10.35 MB | ||
| MacKay D.J.C. Information theory, inference and learning algorithms (CUP, 2005)(ISBN 0521642981)(O)(642s)_CsAi_.pdf | 5.87 MB | ||
| Mahadevan S. Representation discovery using harmonic analysis (Morgan, 2008)(ISBN 1598296590)(160s)_CsAi_.pdf | 5.13 MB | ||
| Melo-Pinto P., Teodorescu H.-N., Fukuda T. (eds.) Systematic organisation of information in fuzzy systems (IOS Press, 2003)(400dpi)(T)(409s).djvu | 9.27 MB | ||
| Merritt D. Building Expert Systems in Prolog (Springer, 1989)(ISBN 9780387970165)(O)(308s)_CsAi_.pdf | 1.47 MB | ||
| Merritt D. Building expert systems in Prolog (free web version, 2001)(308s)_CsAi_.pdf | 1.47 MB | ||
| Michie D., Spiegelhalter D.J., Taylor C.C. (eds.) Machine Learning, Neural and Statistical Classification (1994)(200dpi)(T)(298s).djvu | 1.9 MB | ||
| Minker J. (ed.) Logic-based artificial intelligence (Kluwer, 2000)(ISBN 0792372247)(600dpi)(K)(T)(630s)_CsAi_.djvu | 4.93 MB | ||
| Minsky M. The society of mind (Simon & Schuster, 1988)(ISBN 0671657135)(400dpi)(K)(T)(O)(337s)_CsAi_.djvu | 3.97 MB | ||
| Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(420s)_CsAi_.djvu | 6.58 MB | ||
| Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(430s)_CsAi_.djvu | 6.99 MB | ||
| Mohammadian, Sarker, Yao. Computational intelligence in control (2003)(T)(C)(ISBN 1591400376)(348s).djvu | 3.59 MB | ||
| Neal R. Probabilistic Inference Using Markov Chain Monte Carlo Methods (Toronto tech.report, 1993) (T)(144s).djvu | 1.1 MB | ||
| Negnevitsky M. Artificial Intelligence.. A Guide to Intelligent Systems (2ed., AW, 2004)(ISBN 9780321204660)(435s)_CsAi_.pdf | 9.05 MB | ||
| Nemenman I.M. Information theory and learning.. a physical approach (Princeton PhD thesis, 2000)(physics_0009032)(T)(140s).djvu | 726.01 KB | ||
| Nilsson N. Problem solving methods in artificial intelligence (MGH, 1971)(T)(268s)_CsAi_.djvu | 2.39 MB | ||
| Nilsson N.J. Introduction to machine learning (lecture notes, 1996)(T)(208s)_CsAi_.djvu | 1.1 MB | ||
| Nilsson N.J. Introduction to machine learning (web draft, 1996)(208s)_CsAi_.pdf | 1.33 MB | ||
| Nilsson N.J. Problem Solving Methods in Artificial Intelligence (MGH, 1971)(ISBN 0070465738)(600dpi)(T)(O)(270s)_CsAi_.djvu | 2.33 MB | ||
| Norvig P. Paradigms of Artificial Intelligence Programming.. Case Studies in Common Lisp (Morgan Kaufmann, 1991)(ISBN 1558601910)(600dpi)(T)(973s)_CsAi_.djvu | 5.88 MB | ||
| Pal S.K., Pal A. (ed.) Pattern recognition.. From Classical to Modern Approaches (WSP, 2001)(ISBN 9810246846)(T)(635s)_CsAi_.djvu | 5.79 MB | ||
| Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(600dpi)(T)(318s)_CsAi_.djvu | 2.05 MB | ||
| Pedrycz W., Gomide F. An Introduction to Fuzzy Sets.. Analysis and Design (MIT, 1998)(ISBN 0262161710)_CsAi_.chm | 3.46 MB | ||
| Prince V., Roche M. Information Retrieval in Biomedicine.. Natural Language Processing for Knowledge Integration (Medical Information Science Reference, 2009)(ISBN 1605662747)(600dpi)(T)(C)(461s)_CsAi_.djvu | 6.58 MB | ||
| Principe J.C. Information theoretic learning.. Renyi's entropy and kernel perspectives (Springer, 2010)(ISBN 1441915699)(O)(527s)_CsAi_.pdf | 5.85 MB | ||
| Rasmussen C., Williams C. Gaussian Processes for Machine Learning(MIT, 2006)(ISBN 026218253X)(266s)_CsAi_.pdf | 2.68 MB | ||
| Raynor W.J. The international dictionary of artificial intelligence (Glenlake, 1999)(ISBN 0814404448)(295s)_CsAi_.pdf | 769.23 KB | ||
| Reiter E., Dale R. Building Natural Language Generation Systems (CUP, 2000)(ISBN 9780521620369)(600dpi)(T)(270s)_CsAi_.djvu | 2.37 MB | ||
| Richards W. (ed.) Natural computation (MIT, 1988)(ISBN 0262181320)(K)(S)(T)(O)(571s)_CsAi_.djvu | 5.72 MB | ||
| Robinson J.A. Logic.. Form and function - The Mechanization of Deductive Reasoning (Edinburgh Univ., 1979)(ISBN 9780852243053)(600dpi)(T)(316s)_CsAi_.djvu | 2.04 MB | ||
| Rokach L. Pattern classification using ensemble methods (WS, 2010)(ISBN 9814271063)(O)(241s)_CsAi_.pdf | 1.61 MB | ||
| Ross T.J., Booker J.M., Parkinson W.J. Fuzzy Logic and Probability Applications.. A Practical Guide (SIAM, 2002)(ISBN 9780898715255)(T)(O)(434s)_CsAi_.djvu | 3.92 MB | ||
| Rossi F., van Beek P., Walsh T. (eds.) Foundations of artificial intelligence 2.. Handbook of constraint programming (Elsevier, 2006)(ISBN 0444527265)(977s).pdf | 6.28 MB | ||
| Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.chm | 728.99 KB | ||
| Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.pdf | 706.05 KB | ||
| Ruan D., D'hondt P., et al. (eds.) Applied artificial intelligence. Proc. 7th FLINS conf. (WS, 2006)(ISBN 9812566902)(T)(O)(1019s)_CsAi_.djvu | 8.81 MB | ||
| Russell S., Norvig P. Instructor's Manual for Artificial Intelligence.. the modern approach 2ed. (PH, 2003)(ISBN 0130903760)(181s)_CsAi_.pdf | 1.24 MB | ||
| Russell S.J., Norvig P. Artificial intelligence.. A modern approach (2ed., PH, 2003)(ISBN 0130303052)(T)(K)(1109s)_CsAi_.djvu | 12.29 MB | ||
| Russell, Norvig. Artificial intelligence - a modern approach (PH, 1995)(T)(ISBN 0131038052)(947s).djvu | 11.31 MB | ||
| Rutkowski L. Computational Intelligence.. methods and techniques (Springer, 2008)(ISBN 3540762876)(600dpi)(T)(519s)_CsAi_.djvu | 3.82 MB | ||
| Saitta L., Giordana A., Cornuejols A. Phase transitions in machine learning (CUP, 2011)(ISBN 0521763916)(O)(401s)_CsAi_.pdf | 3.81 MB | ||
| Sammut C., Webb G. (eds.) Encyclopedia of machine learning (Springer, 2011)(ISBN 0387307680)(O)(1059s)_CsAi_.pdf | 23.31 MB | ||
| Sarker R.A., H.A.Abbass, C.S.Newton. Heuristic and Optimization for Knowledge Discovery (Idea Group,2002)(ISBN 1930708262)(301s)_CsAi_.pdf | 2.21 MB | ||
| Schapire R.E. The design and analysis of efficient learning algorithms (MIT, 1992)(ISBN 0262193256)(400dpi)(T)(219s)_CsAi_.djvu | 1.63 MB | ||
| Scheutz M. (ed.) Computationalism.. New Directions (MIT,2002)(ISBN 0262194783)(217s).pdf | 603.51 KB | ||
| Schoelkopf B., Burges C.J.C., Smola A.J. (eds.) Advances in Kernel Methods.. Support Vector Learning (MIT, 1999)(ISBN 0262194163)_CsAi_.chm | 3.11 MB | ||
| Schwab B. AI game engine programming (1ed., Charles River Media, 2004)(ISBN 1584503440)(600dpi)(T)(C)(622s)_CsAi_.djvu | 5.36 MB | ||
| Schwab B. AI game engine programming (2ed., Cengage, 2009)(ISBN 1584505729)(O)(741s)_CsAi_.pdf | 3.71 MB | ||
| Shafer G. Probabilistic expert systems (SIAM, 1996)(ISBN 0898713730)(T)(O)(91s)_CsAi_.djvu | 832.28 KB | ||
| Shapiro S.C. Encyclopedia of Artificial Intelligence, vol.1.. A-N (Wiley, 1987)(ISBN 9780471629740)(KA)(600dpi)(T)(O)(704s)_CsAi_.djvu | 14.2 MB | ||
| Shapiro S.C. Encyclopedia of Artificial Intelligence, vol.2.. O-Z and Index (Wiley, 1987)(ISBN 9780471629733)(KA)(600dpi)(T)(O)(543s)_CsAi_.djvu | 14.13 MB | ||
| Smets P., Mamdani E.H., Dubois D., Prade H. Non-Standard Logics for Automated Reasoning (AP, 1988)(ISBN 9780126495201)(600dpi)(T)(344s)_CsAi_.djvu | 2.9 MB | ||
| Smola A.J., Schoelkopf B. Tutorial on support vector regression (2003)(24s).pdf | 364.5 KB | ||
| Smola A.J., et al. (eds.) Advances in large margin classifiers (MIT, 2000)(ISBN 0262194481)(600dpi)(T)(O)(423s)_CsAi_.djvu | 3.12 MB | ||
| Spitzer M. Lernen (Spektrum, 2002)(KA)(de)(600dpi)(T)(528s)_CsAi_.djvu | 12.63 MB | ||
| Steinwart I., Christmann A. Support vector machines (Springer, 2008)(ISBN 0387772413)(O)(611s)_CsAi_.pdf | 3.38 MB | ||
| Sugihara K. Machine interpretation of line drawings (MIT, 1986)(ISBN 0262192543)(237s)_CsAi_.pdf | 3.48 MB | ||
| Sutton R.S., Barto A.G. Reinforcement learning (MIT, 1998)(ISBN 0262193981)_CsAi_.chm | 3.77 MB | ||
| Tanimoto S.L. Elements of artificial intelligence.. an introduction using LISP (1987)(T)(553s).djvu | 6.9 MB | ||
| Vapnik V. Statistical Learning Theory (Wiley 1998)(400dpi)(T)(ISBN 0471030031)(740s).djvu | 5.38 MB | ||
| Vapnik V.N. The nature of statistical learning theory (2ed., Springer, 2000)(K)(150dpi)(T)(ISBN 0387987800)(332s).djvu | 2.13 MB | ||
| Vijaya Kumar B.V.K., Mahalanobis A., Juday R.D. Correlation Pattern Recognition (CUP, 2005)(ISBN 0521571030)(O)(404s)_CsAi_.pdf | 2.85 MB | ||
| Vlassis N. A Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence (MC, 2007)(ISBN 1598295268)(O)(84s)_CsAi_.pdf | 702.07 KB | ||
| Wallen L.A. Automated Deduction in Nonclassical Logics.. Efficient Matrix Proof Methods for (MIT, 1989)(ISBN 9780262231442)(600dpi)(T)(260s)_CsAi_.djvu | 1.69 MB | ||
| Wang C., Hill D. Deterministic learning theory for identification, recognition, and control (CRC, 2010)(ISBN 0849375533)(O)(218s)_CsAi_.pdf | 10.94 MB | ||
| Weiss G. (ed.) Multiagent systems.. a modern approach to distributed artificial intelligence (MIT, 1999)(585s).pdf.gz | 2.68 MB | ||
| Weitzenfeld A., M.A.Arbib, A.Alexander. The Neural Simulation Language.. A System for Brain Modeling (Bradford Book,2002)(ISBN 0262731495)(460s)_CsAi_.pdf | 4.02 MB | ||
| Williamson D., Shmoys D. The design of approximation algorithms (CUP, 2011)(ISBN 0521195276)(O)(502s)_CsAi_.pdf | 2.79 MB | ||
| Winograd T., Flores F. Understanding computers and cognition (AW, 1987)(ISBN 0201112973)(T)(221s)_CsAi_.djvu | 1.79 MB | ||
| Winston P.H., Prendergast K.A. (eds.) The AI Business.. Commercial Uses of Artificial Intelligence (MIT, 1986)(ISBN 9780262730778)(T)(332s)_CsAi_.djvu | 2.16 MB | ||
| Zaknich A. Principles of adaptive filters and self-learning systems (Springer 2005)(397s)_CsAi_.pdf | 2.27 MB | ||
| von Harmelen F., Lifschitz V., Porter B. (eds.) Foundations of artificial intelligence 3.. Handbook of Knowledge Representation (Elsevier, 2007)(ISBN 0444522115)(1035s)_CsAi_.pdf | 4.16 MB | ||
| Ashby W.R. Introduction to cybernetics (1957)(400dpi)(L)(T)(156s).djvu | 2.36 MB | ||
| Aspray W. John von Neumann and the origins of modern computing (MIT Press, 1990)(ISBN 0262011212)(600dpi)(T)(394s)_Cs_.djvu | 4.15 MB | ||
| Barabasi A. Linked-the new science of networks (Perseus Publ., 2002)(T)(ISBN 0738206679)(279s)_Cs_.djvu | 2.59 MB | ||
| Barbin E., et al. (eds.) A history of algorithms (Springer, 1999)(ISBN 3540633693)(600dpi)(T)(533s)_Cs_.djvu | 6.4 MB | ||
| Bardini T. Bootstrapping.. Douglas Engelbart, Coevolution, and origins of personal computing (Stanford 2000)(ISBN 0804738718)(600dpi)(T)(309s)_Cs_.djvu | 3.72 MB | ||
| Bashe C.J., et al. IBM's early computers (MIT, 1986)(ISBN 0262022257)(600dpi)(T)(735s)_Cs_.djvu | 8.57 MB | ||
| Berkeley E.C. Giant brains, or Machines that think (Science Editions, 1961)(ASIN B000NSR5P2)(600dpi)(T)(309s)_Cs_.djvu | 2.83 MB | ||
| Bidgoli H. (ed.) Handbook of information security, Vol.1 (Wiley, 2006)(ISBN 0471648302)(O)(1122s)_Cs_.pdf | 12.18 MB | ||
| Bidgoli H. (ed.) Handbook of information security, Vol.3 (Wiley, 2006)(ISBN 0471648329)(O)(1154s)_Cs_.pdf | 12.18 MB | ||
| Bidgoli H. (ed.) Encyclopedia of information systems, Vol.1 (AP, 2002)(ISBN 0122272404)(676s)_Cs_.pdf | 12.02 MB | ||
| Bidgoli H. (ed.) Encyclopedia of information systems, Vol.2 (AP, 2002)(ISBN 0122272404)(713s)_Cs_.pdf | 10.87 MB | ||
| Bidgoli H. (ed.) Encyclopedia of information systems, Vol.3 (AP, 2002)(ISBN 0122272404)(705s)_Cs_.pdf | 14.2 MB | ||
| Bidgoli H. (ed.) Encyclopedia of information systems, Vol.4 (AP, 2002)(ISBN 0122272404)(652s)_Cs_.pdf | 19.37 MB | ||
| Bidgoli H. (ed.) Handbook of information security, Vol.2 (Wiley, 2006)(ISBN 0471648310)(O)(1008s)_Cs_.pdf | 11.24 MB | ||
| Bidgoli H. (ed.) The Internet encyclopedia, Vol.1 (Wiley, 2004)(ISBN 0471222011)(O)(881s)_Cs_.pdf | 11.6 MB | ||
| Bidgoli H. (ed.) The Internet encyclopedia, Vol.2 (Wiley, 2004)(ISBN 0471222011)(O)(875s)_Cs_.pdf | 14 MB | ||
| Bidgoli H. (ed.) The Internet encyclopedia, Vol.3 (Wiley, 2004)(ISBN 0471222011)(O)(979s)_Cs_.pdf | 10.71 MB | ||
| Brady J.M. The theory of computer science.. A programming approach (Wiley, 1977)(ISBN 0470991038)(600dpi)(T)(O)(300s)_Cs_.djvu | 2.43 MB | ||
| Brookshear J.G. Computer science - an overview (9ed., AW, 2006)(ISBN 0321387015)(T)(C)(616s)_Cs_.djvu | 7.99 MB | ||
| Burks A.R., Burks A.W. The First Electronic Computer.. The Atanasoff Story (University of Michigan Press, 1988)(ISBN 9780472100903)(600dpi)(T)(399s)_CsPop_.djvu | 6.82 MB | ||
| Ceruzzi P.E. A History of Modern Computing (MIT,2003)(ISBN 0262532034)(452s)_Cs_.pdf | 4.27 MB | ||
| Computability | |||
| Arora S., Barak B. Computational complexity.. A modern approach (CUP, 2009)(ISBN 0521424267)(605s)_CsNp_.pdf | 3.14 MB | ||
| Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf | 3.48 MB | ||
| Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf | 483.49 KB | ||
| Barendregt H., Barendsen E. Introduction to Lambda calculus (free web version, 2000)(53s)_CsNp_.pdf | 250.74 KB | ||
| Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(600dpi)(T)(474s)_CsNp_.djvu | 9.8 MB | ||
| Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(T)(474s)_CsNp_.djvu | 4.68 MB | ||
| Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysis (Springer 2003)(448s).pdf | 2.74 MB | ||
| Bogdanov A., Trevisan L. Average-case complexity (NOW, 2006)(ISBN 1933019492)(122s)_CsNp_.pdf | 584.34 KB | ||
| Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf | 252.89 KB | ||
| Bovet D., Crescenzi P. Introduction to the theory of complexity (PH, 1994)(ISBN 0139153802)(O)(291s)_CsNp_.pdf | 1.15 MB | ||
| Bridges D.S. Computability.. A mathematical sketchbook (GTM146, Springer, 1994)(ISBN 0387941746)(600dpi)(K)(T)(O)(190s)_CsNp_.djvu | 1.85 MB | ||
| Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(KA)(T)(ISBN 3540605827)(645s)_CsNp_.djvu | 4.57 MB | ||
| Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(L)(T)(ISBN 3540605827)(323s).djvu | 7.27 MB | ||
| Calude C. Information and randomness.. An algorithmic perspective (2ed., Springer, 2002)(ISBN 3540434666)(600dpi)(T)(487s)_CsNp_.djvu | 3.67 MB | ||
| Calude C. Information and randomness.. an algorithmic approach (Springer, 1994)(ISBN 3540574565)(600dpi)(T)(258s)_CsNp_.djvu | 1.92 MB | ||
| Calude C. Theories of computational complexity (ADM35, NH, 1988)(ISBN 044470356X)(T)(498s)_CsNp_.djvu | 2.11 MB | ||
| Chazelle B. The discrepancy method. Randomness and complexity (draft, 2001)(O)(497s)_CsNp_.pdf | 3.01 MB | ||
| Chiswell I. A course in formal languages, automata and groups (Springer, 2009)(ISBN 1848009399)(161s)_CsNp_.pdf | 1.14 MB | ||
| Clote P., Kranakis E. Boolean functions and computation models (Springer, 2002)(ISBN 3540594361)(T)(O)(618s)_CsNp_.djvu | 4.26 MB | ||
| Codd E.F. Cellular automata (ACM monograph, AP, 1968)(ISBN 0121788504)(KA)(600dpi)(T)(132s)_CsNp_.djvu | 937.21 KB | ||
| Cooper S.B. Computability theory (CRC, 2004)(ISBN 1584882379)(K)(600dpi)(T)(421s)_CsNp_.djvu | 3.17 MB | ||
| Cooper S.B., Sorbi A. (eds.) Computability in context. Computation and logic in the real world (WS, 2009)(ISBN 1848162456)(O)(419s)_CsNp_.pdf | 2.21 MB | ||
| Cooper, Lowe, Sorbi. (eds.) New computational paradigms. Changing conceptions of what is computable (Springer, 2008)(ISBN 0387360336)(551s)_CsNp_.pdf | 4.9 MB | ||
| Cowan G., Pines D., Meltzer D. (eds.) Complexity (Perseus Books, 1999)(ISBN 0738202320)(40dpi)(T)(O)(S)(750s)_CsNp_.djvu | 10.16 MB | ||
| Cutland N. Computability.. an Introduction to Recursive Function Theory (CUP, 1992)(ISBN 0521223849)(K)(T)(260s)_CsNp_.djvu | 2.34 MB | ||
| Dasgupta S., Papadimitriou C.H., Vazirani U.V. Algorithms (web draft, 2006)(ISBN 0073523402)(336s)_CsNp_.pdf | 1.66 MB | ||
| Davis M. Computability and unsolvability (MGH, 1958)(ISBN 0486614719)(T)(235s)_CsNp_.djvu | 1.73 MB | ||
| Davis M., Sigal R., Weyuker E. Computability, complexity, and languages.. Fundamentals of theoretical computer science (2ed., AP, 1994)(ISBN 0122063821)(600dpi)(T)(O)(628s)_CsNp_.djvu | 3.62 MB | ||
| Davis M., Weyuker E. Computability, complexity and languages.. Fundamentals of theoretical computer science (AP, 1983)(ISBN 0122063805)(K)(T)(434s)_CsNp_.djvu | 2.19 MB | ||
| Dowek G. Proofs and algorithms.. An introduction to logic and computability (Springer, 2011)(ISBN 0857291203)(O)(168s)_CsNp_.pdf | 944.15 KB | ||
| Downey R., Hirschfeldt D. Algorithmic randomness and complexity (Springer, 2010)(ISBN 0387955674)(O)(884s)_CsNp_.pdf | 5.32 MB | ||
| Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(450s)_CsNp_.pdf | 3.06 MB | ||
| Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(453s)_CsNp_.pdf | 2.87 MB | ||
| Du Ding-Zhu, Ko Ker-I. Problem solving in automata, languages and complexity (Wiley, 2001)(ISBN 0471439606)(T)(401s).djvu | 3.36 MB | ||
| Eilenberg S., Elgot C. Recursiveness (AP, 1970)(ISBN 0122340507)(600dpi)(T)(94s)_CsNp_.djvu | 441.52 KB | ||
| Enderton H. Computability theory.. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(176s)_CsNp_.pdf | 1.79 MB | ||
| Enderton H.B. Computability theory. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(187s)_CsNp_.pdf | 1.89 MB | ||
| Epstein R.L., Carnielli W.A. Computability. Computable functions, logic, foundations of mathematics (3ed., ARF, 2008)(ISBN 098155072X)(400dpi)(T)(O)(378s)_CsNp_.djvu | 2.66 MB | ||
| Epstein R.L., Carnielli W.A. Computability.. computable functions, logic, foundations of mathematics (3ed., Advanced Reasoning Forum, 2008)(ISBN 098155072X)(400dpi)(T)(377s)_CsNp_.djvu | 2.64 MB | ||
| Fernandez M. Models of computation.. An introduction to computability theory (Springer, 2009)(ISBN 1848824335)(188s)_CsNp_.pdf | 1.02 MB | ||
| Feynman et al. Lectures on computation (1996)(T)(ISBN 0201489910)(324s).djvu | 3.17 MB | ||
| Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(ISBN 0716710447)(600dpi)(T)(O)(351s)_CsNp_.djvu | 2.95 MB | ||
| Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(L)(T)(ISBN 0716710447)(175s).djvu | 3.07 MB | ||
| Goldreich O. Computational complexity.. A conceptual perspective (CUP, 2008)(ISBN 052188473X)(632s)_CsNp_.pdf | 3.3 MB | ||
| Goldreich O. Introduction to complexity theory, lecture notes (1999)(375s).pdf | 2.33 MB | ||
| Goldreich O. P, NP, and NP-completeness.. The basics of computational complexity (CUP, 2010)(ISBN 052119248X)(O)(216s)_CsNp_.pdf | 966.94 KB | ||
| Griffor E.R. (ed.) Handbook of computability theory (Elsevier, 1999)(ISBN 0444898824)(T)(710s)_CsNp_.djvu | 3.5 MB | ||
| Griffor E.R. (ed.) Handbook of computability theory (SLFM140, Elsevier, 1999)(ISBN 0444898824)(T)(O)(735s)_CsNp_.djvu | 4.51 MB | ||
| Gurari E. Introduction to the theory of computation (1989)(ISBN 0716781824)(600s).pdf | 6.35 MB | ||
| Gurari. Introduction to theory of computation (1989)(html).zip | 2.95 MB | ||
| Harel D. Computers Ltd.. What they really can't do (OUP, 2000)(ISBN 0198505558)(600dpi)(T)(O)(238s)_CsNp_.djvu | 1.68 MB | ||
| Hehner E.C.R. A practical theory of programming (2ed., 2004)(ISBN 0387941061)(242s).pdf | 911.85 KB | ||
| Hein J. Theory of Computation. An Introduction (JaBP, 1996)(ISBN 0867204974)(600dpi)(T)(628s)_CsNp_.djvu | 3.22 MB | ||
| Homer S., Selman A.L. Computability and complexity theory (2ed., Springer, 2011)(ISBN 9781461406815)(O)(315s)_CsNp_.pdf | 1.5 MB | ||
| Homer S., Selman A.L. Computability and complexity theory (Springer, 2001)(ISBN 0387950559)(T)(207s)_CsNp_.djvu | 1.35 MB | ||
| Iordache O. Polystochastic models for complexity (Springer, 2010)(ISBN 3642106536)(O)(310s)_Cs_.pdf | 1.67 MB | ||
| Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(O)(484s)_CsNp_.pdf | 1.67 MB | ||
| Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(T)(457s)_CsNp_.djvu | 3.56 MB | ||
| Lewis H.R., Papadimitriou C.H. Elements of the Theory of Computation (2ed., PH, 1998)(ISBN 0132624788)(K)(T)(375s)_CsNp_.djvu | 2.94 MB | ||
| Lipton R. The P=NP question and Goedel's lost letter (Springer, 2010)(ISBN 1441971548)(O)(254s)_CsNp_.pdf | 1.1 MB | ||
| Luby M., Wigderson A. Pairwise independence and derandomization (NOW, 2006)(ISBN 1933019220)(78s)_CsNp_.pdf | 465.22 KB | ||
| Mal'cev A.I. Algorithms and recursive functions (Wolters, 1970)(ISBN 9001570704)(K)(T)(O)(370s)_CsNp_.djvu | 2.14 MB | ||
| Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsNp_.djvu | 268.98 KB | ||
| Moret B. The theory of computation (AW, 1998)(ISBN 0201258285)(T)(471s)_CsNp_.djvu | 3.37 MB | ||
| Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(450s)_CsNp_.pdf | 2.34 MB | ||
| Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(O)(450s)_CsNp_.pdf | 2.37 MB | ||
| O'Donnell M.J. Computing in systems described by equations (LNCS0058, Springer, 1977)(ISBN 0387085319)(T)(125s)_CsNp_.djvu | 733.29 KB | ||
| Papadimitriou C.H. Computational Complexity (1994)(600dpi)(T)(540s)_CsNp_.djvu | 4.5 MB | ||
| Parberry I. Complexity of parallel computations (free web version, 1987)(ISBN 0470209313)(T)(O)(212s)_CsNp_.djvu | 1.37 MB | ||
| Peter R. Recursive functions (2ed., AP, 1967)(ASIN B0006BP0OE)(T)(301s)_CsNp_.djvu | 1.82 MB | ||
| Salomaa A. Computation and automata (CUP 1985)(T)(ISBN 0521302455)(290s).djvu | 3.11 MB | ||
| Schoening U. Algorithmen kurz gefasst (Spectrum, 1997)(ISBN 3827402328)(de)(T)(209s)_CsNp_.djvu | 1.35 MB | ||
| Schoening U. Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu | 1.64 MB | ||
| Schoning U. Gems of theoretical computer science (draft, Springer, 1998)(ISBN 3540644253)(327s)_CsNp_.pdf | 1.33 MB | ||
| Singh A. Elements of computation theory (Springer, 2009)(ISBN 1848824963)(429s)_CsNp_.pdf | 3.12 MB | ||
| Sipser M. Introduction to the theory of computation (2005)(600dpi)(T)(ISBN 0534950973)(453s)_CsNp_.djvu | 4.97 MB | ||
| Sipser M. Introduction to the theory of computation (PWS, 1997)(ISBN 053494728X)(K)(T)(410s)_CsNp_.djvu | 3.5 MB | ||
| Sipser M. Introduction to the theory of computation. Instructor's manual.. solutions to 1ed., 1997 (Thomson, 1999)(ISBN 053437462X)(600dpi)(K)(T)(O)(61s)_CsNp_.djvu | 884.74 KB | ||
| Smith C. A recursive introduction to the theory of computation (Springer, 1994)(ISBN 0387943323)(600dpi)(T)(O)(155s)_CsNp_.djvu | 1.1 MB | ||
| Straubing H. Finite automata, formal logic, and circuit complexity (Birkhauser, 1994)(600dpi)(T)(ISBN 0817637192)(237s).djvu | 10.63 MB | ||
| Streicher T. Domain-theoretic foundations of functional programming (WS, 2006)(ISBN 9812701427)(T)(C)(O)(132s)_CsNp_.djvu | 855.89 KB | ||
| Sudan M. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems (LNCS1001, Springer, 1995)(ISBN 3540606157)(T)(O)(98s)_CsNp_.djvu | 736.08 KB | ||
| Turner R. Computable Models (Springer, 2009)(ISBN 1848820518)(238s)_CsNp_.pdf | 1.02 MB | ||
| Wegener I. Branching programs and binary decision diagrams (SIAM, 2000)(ISBN 0898714583)(T)(O)(419s)_CsNp_.djvu | 3.44 MB | ||
| Yap C.K. Theory of complexity classes (web draft, 2009)(O)(438s)_CsNp_.pdf | 4.75 MB | ||
| Yap C.K. Theory of complexity classes. Vol.1 (free draft, 1998)(O)(435s)_CsNp_.pdf | 1.94 MB | ||
| Zenil H. (ed.) Randomness through computation. Some answers, more questions (WS, 2011)(ISBN 9814327743)(O)(440s)_CsNp_.pdf | 2.36 MB | ||
| Zhou C., Hansen M.R. Duration Calculus.. A Formal Approach to Real-Time Systems (Springer, 2004)(ISBN 3540408231)(600dpi)(T)(256s)_CsNp_.djvu | 1.79 MB | ||
| Zimand M. Computational complexity. A quantitative perspective (Elsevier, 2004)(ISBN 0444828419)(T)(350s)_CsNp_.djvu | 1.9 MB | ||
| Cortada J.W., Corada J.W. Before the Computer (PUP, 1993)(ISBN 9780691048079)(600dpi)(T)(399s)_CsPop_.djvu | 5.13 MB | ||
| Davis M. Engines of logic (Norton, 2001)(ISBN 0393322297)(600dpi)(T)(268s)_Cs_.djvu | 1.83 MB | ||
| Feynman R.P. Lectures on computation (AW, 1996)(ISBN 0201489910)(T)(O)(317s)_Cs_.djvu | 2.52 MB | ||
| Fischer P., Hofer P. Lexikon der Informatik (Springer,2007)(ISBN 3540725490)(de)(982s)_Cs_.pdf | 2.48 MB | ||
| Ghosh S., Turrini E. (eds.) Cybercrimes.. A multidisciplinary analysis (Springer, 2010)(ISBN 3642135463)(O)(435s)_Cs_.pdf | 2.71 MB | ||
| Grier D.A. When computers were human (PUP, 2005)(ISBN 0691091579)(600dpi)(T)(421s)_Cs_.djvu | 6.03 MB | ||
| Gyllenberg M., Persson L.E. (eds.) Analysis, algebra, and computers in mathematical research (M.Dekker, 1994)(ISBN 0824792173)(400dpi)(T)(403s)_Cs_.djvu | 3.13 MB | ||
| Henderson H. Alan Turing.. Computing genius and wartime code breaker (Chelsea House, 2011)(ISBN 0816061750)(O)(161s)_Cs_.pdf | 2.36 MB | ||
| Hey A.J.G. (ed.) Feynman and computation.. exploring the limits of computers (Perseus, 1998)(KA)(T)(ISBN 0738200573)(462s)_Cs_.djvu | 5.39 MB | ||
| Hiltzik M.A. Dealers of Lightning.. Xerox PARC and the Dawn of the Computer Age (HarperBusiness, 1999)(ISBN 9780887308918)(600dpi)(T)(475s)_CsPop_.djvu | 3.13 MB | ||
| History of computer science (web draft, 2001)(40s)_Cs_.pdf | 246.11 KB | ||
| Karny et al. Probabilistic advisory system, research report(401s).ps.bz2 | 2.09 MB | ||
| Khosrow-Pour M. (ed.) Encyclopedia of information science and technology (Idea Group, 2005)(3256s)_Cs_.pdf | 21.8 MB | ||
| Kumar S., Bentley P.J. On Growth, Form and Computers (Elsevier, 2003)(ISBN 0124287654)(T)(O)(456s)_Cs_.djvu | 5.81 MB | ||
| McCartney S. ENIAC.. The triumphs and tragedies of the world's first computer (Walker, 1999)(ISBN 0802713483)(600dpi)(T)(C)(271s)_Cs_.djvu | 1.7 MB | ||
| Mitchell M. Complexity. A guided tour (OUP, 2009)(ISBN 9780195124415)(O)(366s)_CsPop_.pdf | 4.07 MB | ||
| Morrison P., Morrison E. Charles Babbage and His Calculating Engines (Dover, 1961)(ISBN 9780486200125)(600dpi)(T)(438s)_CsPop_.djvu | 3.99 MB | ||
| Mullen G.L., Shiue P.J-S. (eds.) Finite fields, coding theory, and advances in communications and computing (M.Dekker, 1993)(ISBN 0824788052)(400dpi)(T)(439s)_Cs_.djvu | 3.74 MB | ||
| Murray C.J. The supermen.. the story of Seymour Cray and the supercomputer (Wiley, 1997)(ISBN 0471048852)(600dpi)(T)(241s)_Cs_.djvu | 1.97 MB | ||
| Proceedings TOPLAS POPL96 (ACM, 1996)(T)(O)(409s).djvu | 6.76 MB | ||
| Resnick M. Turtles, termites and traffic jams.. explorations in massively parallel microworlds (no p.97)(MIT, 1994)(T)(ISBN 0262181622)(170s)_Cs_.djvu | 1.54 MB | ||
| Reynolds C., Tymann P. Schaum's outline of principles of computer science (MGH, 2008)(ISBN 0071460519)(233s)_Cs_.pdf | 1.73 MB | ||
| Roberts E.S. Thinking Recursively (Wiley, 1986)(ISBN 9780471816522)(T)(189s)_CsPop_.djvu | 1.15 MB | ||
| Schoening U. Theoretische Informatik - kurz gefasst (Spektrum, 2008)(ISBN 3827418240)(de)(KA)(150dpi)(T)(171s)_Cs_.djvu | 1.5 MB | ||
| Sudkamp T. Languages and machines.. An introduction to the theory of computer science (2ed., AW, 1997)(ISBN 0201821362)(T)(574s)_Cs_.djvu | 3.18 MB | ||
| Tan J. (ed.) Medical informatics.. Concepts, methodologies, tools, and applications (IGI Global, 2009)(ISBN 1605660507)(2593s)_Cs_.pdf | 35.99 MB | ||
| Tucker A.B. (ed.) Computer science handbook (CRC, 2004)(ISBN 158488360X)(2624s)_Cs_.pdf | 22.06 MB | ||
| Turing A., Copeland J. (ed.) The essential Turing. Seminal writings in computing, logic, philosophy, AI (OUP, 2004)(ISBN 0198250800)(622s)_Cs_.pdf | 3.33 MB | ||
| Vickers S. Topology via logic (CUP, 1989)(ISBN 0521360625)(K)(T)(211s)_Cs_.djvu | 1.26 MB | ||
| Waldrop M.M. The Dream Machine.. J.C.R. Licklider and the Revolution That Made Computing Personal (Viking Adult, 2001)(ISBN 9780670899760)(600dpi)(T)(511s)_CsPop_.djvu | 5.51 MB | ||
| Weinberg G.M. Psychology of Computer Programming (Van Nostrand, 1985)(ISBN 0442292643)(T)(C)(299s)_Cs_.djvu | 2.27 MB | ||
| Wiener N. Cybernetics, or the control and communication in the animal and the machine (MIT, 1965)(ISBN 026273009X)(600dpi)(T)(O)(231s)_Cs_.djvu | 1.87 MB | ||
| Databases | |||
| Abiteboul S., Hull R., Vianu V. Foundations of databases (AW, 1995)(ISBN 0201537710)(O)(704s)_CsAl_.pdf | 2.6 MB | ||
| Alagic S. Relational database technology (Springer, 1986)(ISBN 038796276X)(T)(271s)_CsAl_.djvu | 1.59 MB | ||
| C. J. Date SQL and Relational Theory 2009.chm | 1.19 MB | ||
| C. J. Date SQL and Relational Theory 2012(446s).pdf | 20.25 MB | ||
| C. J. Date, Hugh Darwen Guide to SQL Standard, A 1996(T)(523s).djvu | 4.18 MB | ||
| C.J. Date, Hugh Darwen, Nikos Lorentzos Temporal Data & the Relational Model The Morgan Kaufmann Series in Data Management Systems 2002 (2)(448s).pdf | 9.85 MB | ||
| Date C. Database in Depth.. Relational Theory for Practitioners (O'Reilly, 2005)(ISBN 0596100124)(600dpi)(T)(227s)_CsDb_.djvu | 1.9 MB | ||
| Date C.J. An Introduction to Database Systems.. Volume 1 (6ed., AW, 1994)(ISBN 9780201824582)(T)(863s)_CsDb_.djvu | 7.14 MB | ||
| Date C.J. An introduction to database systems, vol.2 (AW, 1985)(ISBN 0201144743)(600dpi)(T)(400s)_CsAl_.djvu | 3.07 MB | ||
| Date C.J. Date on Database.. Writings 2000-2006 (Apress, 2006)(ISBN 9781590597460)(600dpi)(T)(C)(O)(566s)_CsDb_.djvu | 5.31 MB | ||
| Date C.J. Instructor's Manual for Introduction to Database Systems, 8ed. (2003)(T)(401s)_CsDb_.djvu | 1.82 MB | ||
| Date C.J. Introduction to database systems (8ed., Pearson, 2004)(ISBN 0321189566)(300dpi)(K)(T)(1033s)_CsAl_.djvu | 24.68 MB | ||
| Garcia-Molina H., Ullman J.D., Widom J.D. Database System Implementation (PH, 1999)(ISBN 0130402648)(600dpi)(T)(671s)_CsDb_.djvu | 12.61 MB | ||
| Garcia-Molina H., Ullman J.D., Widom J.D. Database Systems.. The Complete Book (PH, 2001)(ISBN 9780130319951)(T)(1144s)_CsDb_.djvu | 8.03 MB | ||
| Lausen G., Vossen G. Models and languages of object-oriented databases (AW, 1998)(ISBN 0201624311)(T)(224s)_CsDb_.djvu | 1.58 MB | ||
| Liu L., Ozsu M. (eds.) Encyclopedia of database systems (Springer, 2009)(ISBN 9780387355443)(O)(3818s)_CsDb_.pdf | 59.62 MB | ||
| Trinder P. A functional database (phd thesis, report PRG-82, Oxford, 1989)(600dpi)(T)(210s)_CsDb_.djvu | 1.73 MB | ||
| Ullman J.D., Widom J.D. A First Course in Database Systems (2ed., PH, 2001)(ISBN 9780130353009)(600dpi)(T)(O)(529s)_CsDb_.djvu | 9.48 MB | ||
| Ullman J.D., Widom J.D. A first course in database systems (PH, 1997)(ISBN 0138613370)(400dpi)(T)(O)(482s)_CsDb_.djvu | 9.41 MB | ||
| Formal methods | |||
| Aldini A., Bernardo M., Corradini F. A process algebraic approach to software architecture design (Springer, 2009)(ISBN 184800222X)(O)(321s)_CsAl_.pdf | 2.49 MB | ||
| Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf | 3.53 MB | ||
| Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu | 952.12 KB | ||
| Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf | 3.73 MB | ||
| Amtoft T., Nielson F., Nielson H.R. Type and Effect Systems.. Behaviours for Concurrency (WS, 1999)(ISBN 9781860941542)(600dpi)(T)(268s)_CsAl_.djvu | 1.54 MB | ||
| Apt K.R., de Boer F.S., Olderog E.-R. (eds.) Verification of sequential and concurrent programs (3ed., Springer, 2010)(ISBN 9781848827455)(O)(524s)_CsAl_.pdf | 2.1 MB | ||
| Arbib M.A. (ed.) Algebraic Theory of Machines, Languages and Semigroups (AP, 1968)(ISBN 0120590506)(KA)(T)(373s)_CsAl_.djvu | 2.34 MB | ||
| Baeten J., Basten T., Reniers M. Process algebra.. Equational theories of communicating processes (CUP, 2010)(ISBN 0521820499)(O)(478s)_CsAl_.pdf | 1.55 MB | ||
| Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf | 4.34 MB | ||
| Berard B., Bidoit M., Finkel A., et al. Systems and Software Verification.. Model-Checking Techniques and Tools (Springer, 2001)(ISBN 3540415238)(600dpi)(T)(O)(201s)_CsAl_.djvu | 1.51 MB | ||
| Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra (Elsevier, 2001)(ISBN 9780444828309)(T)(1357s)_CsAl_.djvu | 10.25 MB | ||
| Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu | 2.98 MB | ||
| Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu | 5.99 MB | ||
| Bhattacharya A., Konar A., Mandal A. Parallel and distributed logic programming (Springer, 2006)(301s)_CsAl_.pdf | 1.71 MB | ||
| Bird R., de Moor O. Algebra of programming (PH, 1997)(ISBN 013507245X)(600dpi)(T)(314s)_CsAl_.djvu | 2.45 MB | ||
| Bjorner D. Software Engineering 1.. Abstraction and Modelling (Springer, 2006)(ISBN 9783540211495)(T)(O)(735s)_CsAl_.djvu | 8.01 MB | ||
| Bjorner D. Software Engineering 2.. Specification of Systems and Languages (Springer, 2006)(ISBN 9783540211501)(T)(O)(783s)_CsAl_.djvu | 8.45 MB | ||
| Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu | 6.1 MB | ||
| Bowen J. Formal Specification and Documentation Using Z.. A Case Study Approach (Thomson Computer Press, 1996)(ISBN 9781850322306)(315s)_CsPl_.pdf | 699.84 KB | ||
| Bowman H., Gomez R. Concurrency Theory.. Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Springer, 2005)(ISBN 9781852338954)(444s)_CsAl_.pdf | 1.65 MB | ||
| Bradley A., Manna Z. The calculus of computation.. Decision procedures with applications to verification (Springer, 2007)(ISBN 3540741127)(O)(375s)_CsAl_.pdf | 1.71 MB | ||
| Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu | 975.67 KB | ||
| Carroll J., Long D. Theory of finite automata (PH, 1989)(ISBN 0139137084)(T)(447s)_CsAl_.djvu | 3.1 MB | ||
| Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu | 6.42 MB | ||
| Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s).djvu | 3.38 MB | ||
| Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu | 2.13 MB | ||
| Clarke E.M., Grumberg O., Peled D.A. Model checking (no some pages)(MIT, 2000)(ISBN 0262032708)(K)(T)(326s)_CsAl_.djvu | 1.88 MB | ||
| Cohen E. Programming in the 1990's.. An Introduction to the Calculation of Programmes (Springer, 1990)(ISBN 9783540973829)(600dpi)(T)(286s)_CsAl_.djvu | 1.39 MB | ||
| Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf | 1.37 MB | ||
| Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf | 1.68 MB | ||
| Darlington. Sintez algoritmov sortirovki (ru)(T)(36s)_CsAl_.djvu | 316.1 KB | ||
| Dastani M., Hindriks K.V., Meyer J.C. (eds.) Specification and Verification of Multi-agent Systems (Springer, 2011)(ISBN 9781441969842)(O)(416s)_CsAl_.pdf | 3.55 MB | ||
| Dejkstra E'. (_Dijkstra_) Disciplina programmirovaniya (Mir, 1978)(ru)(600dpi)(T)(277s)_CsAl_.djvu | 2.79 MB | ||
| Dejkstra E. (_Dijkstra_) Disciplina programmirovaniya (M.Mir, 1978)(ru)(K)(600dpi)(T)(275s)_CsAl_.djvu | 4.45 MB | ||
| Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu | 3.28 MB | ||
| Dijkstra E.W. A discipline of programming (PH, 1976)(ISBN 013215871X)(600dpi)(T)(232s)_CsAl_.djvu | 1.61 MB | ||
| Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf | 1.93 MB | ||
| Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu | 4.66 MB | ||
| Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf | 3.96 MB | ||
| Eilenberg S. Automata, languages, and machines. Volume A (AP, 1974)(ISBN 0122340019)(T)(469s)_CsAl_.djvu | 2.32 MB | ||
| Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu | 1.8 MB | ||
| Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu | 2.77 MB | ||
| Fokkink W. Introduction to process algebra (2ed., Springer, 2007)(ISBN 354066579X)(175s)_CsAl_.pdf | 983.7 KB | ||
| Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf | 1.6 MB | ||
| Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu | 2.4 MB | ||
| Gill A. Linejnye posledovatel'nostnye mashiny(Nauka, 1974)(600dpi)(T)(288s)(KA)(ru)_CsAl_.djvu | 3.4 MB | ||
| Gill A. Vvedenie v teoriju konechnyh avtomatov (Nauka, 1966)(ru)(T)(272s)_CsAl_.djvu | 1.91 MB | ||
| Ginsburg S. An introduction to mathematical machine theory (Addison, 1962)(ISBN 0201023903)(T)(157s)_CsAl_.djvu | 911.53 KB | ||
| Ginsburg S. The mathematical theory of context-free languages (MGH, 1966)(ASIN B0000CNDEK)(T)(245s)_CsAl_.djvu | 1.72 MB | ||
| Ginzburg A. Algebraic theory of automata (AP, 1968)(ISBN 0122850505)(T)(173s)_CsAl_.djvu | 1.89 MB | ||
| Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu | 1.15 MB | ||
| Gries D. (ed.) Programming methodology (Springer, 1978)(ISBN 0387903291)(600dpi)(T)(454s)_CsAl_.djvu | 4.85 MB | ||
| Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu | 2.46 MB | ||
| Gris D. Nauka programmirovaniya(Mir, 1984)(600dpi)(T)(416s)(ru)(KA)_CsAl_.djvu | 6.71 MB | ||
| Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf | 1.73 MB | ||
| Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu | 2.29 MB | ||
| Harary F., et al. Structural Models.. An Introduction to the Theory of Directed Graphs (Wiley, 1966)(ISBN 047135130X)(600dpi)(K)(T)(426s)_CsAl_.djvu | 3.57 MB | ||
| Hehner E.C.R. A practical theory of programming (free web version, 2012)(O)(256s).pdf | 1.39 MB | ||
| Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu | 1.92 MB | ||
| Hoar Ch. (_Hoare_) Vzaimodejstvujushchie posledovatel'nye processy (Mir, 1989)(ISBN 5030010432)(ru)(T)(266s)_CsAl_.djvu | 1.77 MB | ||
| Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf | 1.06 MB | ||
| Holcombe M. Algebraic automata theory (CUP, 1982)(ISBN 0521231965)(400dpi)(T)(O)(238s)_CsAl_.djvu | 1.7 MB | ||
| Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628)(O)(690s).pdf | 3.91 MB | ||
| Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628).chm | 1.33 MB | ||
| Hopcroft J.E., Motwani R., Ullman J.D. Introduction to automata theory, languages, and computation (2ed., AW, 2001)(ISBN 0201441241)(T)(537s)_CsAl_.djvu | 6.62 MB | ||
| Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(253s)_CsAl_.djvu | 1.74 MB | ||
| Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(262s)_CsAl_.djvu | 1.73 MB | ||
| Hopcroft, Motwani, Ullman. Introduction to automata theory, languages and computation (2ed. AW 2001)(T)(ISBN 0201441241)(537s).djvu | 8.79 MB | ||
| Ito M. Algebraic theory of automata and languages(WS,2004)(T)(ISBN 9810247273)(202s)_CsPl_.djvu | 1.24 MB | ||
| Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf | 1.58 MB | ||
| Jacky J. The Way of Z.. Practical Programming with Formal Methods (CUP, 1996)(ISBN 9780521559768)(600dpi)(T)(370s)_CsPl_.djvu | 2.21 MB | ||
| Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf | 1.09 MB | ||
| Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf | 656.48 KB | ||
| Klark, Gramberg, Peled. (_Clarke,Grumberg,Peled_) Verifikaciya modelej programm.. Model Checking (MCNMO, 2002)(ru)(T)(416s)_CsAl_.djvu | 4.6 MB | ||
| Kobern A. (_Cockburn_) Sovremennye metody opisaniya funkcional'nyx trebovanij k sistemam (Lori, 2002)(ISBN 5855821528)(ru)(T)(K)(280s)_CsPl_.djvu | 2.09 MB | ||
| Kobrinskii N., Trakhtenbrot B. Introduction to the theory of finite automata (SLFM038, NH, 1965)(ISBN 0444534032)(T)(342s)_CsAl_.djvu | 2.09 MB | ||
| Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu | 1.11 MB | ||
| Lamport L. Specifying Systems.. The TLA+ Language and Tools for Hardware and Software Engineering (AW, 2002)(ISBN 032114306X)(382s)_CsAl_.pdf | 2.48 MB | ||
| Lamport L. Specifying systems.. errata (2010)(5s).pdf | 108.56 KB | ||
| Lectures and papers on computational logic (2008)(758s)-o.pdf | 6.38 MB | ||
| Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf | 1.55 MB | ||
| Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu | 8.66 MB | ||
| Liskov B., Guttag J. Abstraction and specification in program development (2pr., MIT, MGH, 1987)(ISBN 0262121123)(600dpi)(T)(486s)_CsAl_.djvu | 3.01 MB | ||
| Maibaum T.S.E., Turski W.M. The Specification of Computer Programs (AW, 1987)(ISBN 0201142260)(600dpi)(T)(O)(287s)_CsPl_.djvu | 2.23 MB | ||
| Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsAl_.djvu | 311.72 KB | ||
| Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu | 3.11 MB | ||
| Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu | 4.42 MB | ||
| Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu | 2.8 MB | ||
| Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu | 5.64 MB | ||
| McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu | 3.32 MB | ||
| Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu | 1.76 MB | ||
| Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu | 1.96 MB | ||
| Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu | 4.46 MB | ||
| Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf | 491.19 KB | ||
| Murray F.J. The theory of mathematical machines (Rev.ed., King's Crown, 1947)(ASIN B0007EA3B0)(600dpi)(T)(123s)_Cs_.djvu | 2.6 MB | ||
| Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu | 1.62 MB | ||
| Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu | 1.4 MB | ||
| Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(T)(316s).djvu | 1.5 MB | ||
| Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf | 2.61 MB | ||
| Ramsay A.M. Formal Methods in Artificial Intelligence (CUP, 1988)(ISBN 0521352363)(600dpi)(T)(286s)_CsAi_.djvu | 3.89 MB | ||
| Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu | 3.56 MB | ||
| Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu | 5.65 MB | ||
| Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu | 1.82 MB | ||
| Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf | 576.01 KB | ||
| Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu | 1.78 MB | ||
| Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu | 1.96 MB | ||
| Weiss B. Deductive verification of object-oriented software.. dynamic frames, dynamic logic and predicate abstraction (phd thesis, Karlsruhe, 2011)(ISBN 3866446233)(600dpi)(T)(C)(O)(294s).djvu | 1.98 MB | ||
| Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu | 2.38 MB | ||
| Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf | 664.08 KB | ||
| Wood D. Grammars and L-forms.. an introduction (LNCS0091, Springer, 1980)(ISBN 3540102337)(T)(323s)_CsAl_.djvu | 2.2 MB | ||
| Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf | 1.24 MB | ||
| Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf | 1.24 MB | ||
| Wordsworth J. Software Development With Z.. A Practical Approach to Formal Methods in Software Engineering (AW, 1992)(ISBN 9780201627572)(600dpi)(T)(375s)_CsPl_.djvu | 2.12 MB | ||
| van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.B. Formal models and semantics (Elsevier, 1990)(ISBN 0262220393)(T)(1264s)_Cs_.djvu | 9.35 MB | ||
| van Leeuwen J.(ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(T)(ISBN 0444880712)(1010s).djvu | 12.2 MB | ||
| Game programming | |||
| Astle D., Hawkins K. Beginning OpenGL game programming (Course Technology PTR, 2004)(ISBN 1592003699)(600dpi)(T)(C)(334s).djvu | 3.87 MB | ||
| Barron T. Multiplayer game programming (PrimaTech, 2001)(ISBN 0761532986)(817s).pdf | 12.76 MB | ||
| Finney K.C. 3D game programming all in one (1ed., Course Technology PTR, 2004)(ISBN 159200136X)(O)(849s).pdf | 11.55 MB | ||
| Finney K.C. 3D game programming all in one (2ed., Course Technology PTR, 2007)(ISBN 1598632663)(1117s).pdf | 13.19 MB | ||
| Flynt J.P., Salem O. Software engineering for game developers (Course Technology PTR, 2005)(ISBN 1592001556)(O)(890s).pdf | 15.17 MB | ||
| Gregory J. Game Engine Architecture (A.K.Peters, 2009)(ISBN 1568814135)(413s).pdf | 7.96 MB | ||
| Koster R. A theory of fun for game design (Paraglyph Press, 2005)(ISBN 1932111972)(600dpi)(T)(C)(256s).djvu | 6.37 MB | ||
| Strougo R., Wenderlich R. - Learning Cocos2D A Hands-On Guide to Building iOS Games with Cocos2D, Box2D, and Chipmunk - 2011.pdf | 5.64 MB | ||
| Zerbst S., Duevel O. 3D game engine programming (Thomson, 2004)(ISBN 1592003516)(897s).pdf | 4.69 MB | ||
| Mobile devices | |||
| Lee G. Test-driven iOS development (AW, 2012)(ISBN 0321774183).epub | 4.19 MB | ||
| Mednieks Z. - Programming Android 2nd Edition - 2012-o.pdf | 5.48 MB | ||
| Mednieks Z. - Programming Android 2nd Edition - 2012.epub | 6.02 MB | ||
| Neuburg M. Programming iOS 4.. Fundamentals of iPhone, iPad, and iPod Touch Development (O'Reilly, 2011)(ISBN 9781449388430)(O)(834s).pdf | 8.62 MB | ||
| Natural language | |||
| Aliseda-Llera A., et al. Computing natural language (1998)(ISBN 1575861003)(T)(168s)_CsAi_.djvu | 1.07 MB | ||
| Allen J. Natural Language Understanding (Benjamin-Cummings, 1988)(ISBN 0805303308)(600dpi)(T)(591s)_CsAi_.djvu | 4.2 MB | ||
| Allen J. Natural language understanding (2ed., Benjamin-Cummings, 1995)(ISBN 0805303340)(600dpi)(T)(675s)_CsAi_.djvu | 6.77 MB | ||
| Alshawi H. (ed.) The CORE language engine (MIT, 1992)(ISBN 0262011263)(600dpi)(T)(340s)_CsAi_.djvu | 1.82 MB | ||
| Alvarado S.J. Understanding editorial text.. a computer model of argument comprehension (Kluwer, 1990)(ISBN 0792391233)(600dpi)(T)(326s)_CsAi_.djvu | 2.99 MB | ||
| Bird S., Klein E., Loper E. Natural Language Processing with Python (O'Reilly, 2009)(ISBN 9780596516499)(O)(504s)_CsAi_.pdf | 3.42 MB | ||
| Blackburn P., Bos J. Representation and inference for natural language, vol. 1 (program code).tar.gz | 47.34 KB | ||
| Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (program code).tar.gz | 34.12 KB | ||
| Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (web draft, 1999)(225s)_CsAi_.pdf | 994.79 KB | ||
| Blackburn P., Bos J. Representation and inference for natural language.. a first course in computational semantics (CSLI, 2005)(ISBN 1575864967)(600dpi)(T)(378s)_CsAi_.djvu | 2.68 MB | ||
| Bolc L. (ed.) Natural language communication with computers (LNCS0063, Springer, 1978)(ISBN 038708911X)(T)(288s)_CsAi_.djvu | 1.55 MB | ||
| Bunt H., Muskens R. (eds.) Computing meaning, vol.1 (Kluwer, 1999)(ISBN 0792361083)(600dpi)(T)(371s)_CsAi_.djvu | 2.78 MB | ||
| Carpenter R.L. The Logic of Typed Feature Structures.. With Applications to Unification Grammar (CUP, 1992)(ISBN 0521419328)(T)(280s)_CsAi_.djvu | 1.62 MB | ||
| Cole R., Mariani J., Uszkoreit H., Varile G.B., Zaenen A., Zampolli A. Survey of the State of the Art in Human Language Technology (CUP, 1998)(ISBN 0521592771)(O)(550s)_CsAi_.pdf | 4.72 MB | ||
| Copestake A. Implementing Typed Feature Structure Grammars (CSLI, 2001)(ISBN 1575862611)(600dpi)(T)(249s)_CsAi_.djvu | 1.9 MB | ||
| Dale R. Generating Referring Expressions.. Constructing Descriptions in a Domain of Objects and Processes (MIT, 1992)(ISBN 0262041286)(600dpi)(T)(288s)_CsAi_.djvu | 1.47 MB | ||
| Delmonte R. Computational linguistic text processing.. lexicon, grammar, parsing, and anaphora resolution (Nova, 2008)(ISBN 9781604567496)(600dpi)(T)(401s)_CsNl_.djvu | 3.27 MB | ||
| Delmonte R. Computational linguistic text processing.. logical form, semantic interpretation, discourse relations and question answering (Nova, 2007)(ISBN 1600217001)(600dpi)(T)(381s)_CsNl_.djvu | 3.1 MB | ||
| Deng L. Dynamic Speech Models (MC, 2006)(ISBN 1598290649)(118s)_CsAi_.pdf | 1.68 MB | ||
| Dik S.C. Functional Grammar in Prolog.. An Integrated Implementation for English, French, and Dutch (de Gruyter Mouton, 1992)(ISBN 3110129795)(600dpi)(T)(278s)_CsAi_.djvu | 1.65 MB | ||
| Dowty D.R., Karttunen L., Zwicky A.M. (eds.) Natural Language Parsing.. Psychological, Computational, and Theoretical Perspectives (CUP, 2005)(ISBN 9780521023108)(T)(428s)_CsAi_.djvu | 2.77 MB | ||
| Dowty D.R., Karttunen L., Zwicky A.M. Natural Language Parsing.. Psychological, Computational, and Theoretical Perspectives (CUP, 1985)(ISBN 9780521262033)(600dpi)(T)(428s)_CsAi_.djvu | 3.68 MB | ||
| Fellbaum C. WordNet.. An Electronic Lexical Database (MIT, 1998)(ISBN 9780262061971)(600dpi)(T)(447s)_CsAi_.djvu | 5.14 MB | ||
| Fomichov V. Semantics-oriented natural language processing.. Mathematical models and algorithms (Springer, 2010)(ISBN 0387729240)(O)(340s)_CsAi_.pdf | 1.64 MB | ||
| Frederking R.E. Integrated Natural Language Dialogue.... A Computational Model (Springer, 1987)(ISBN 9780898382556)(600dpi)(T)(201s)_CsAi_.djvu | 1.14 MB | ||
| Gamut L.T.F. Logic, language, and meaning vol.2.. Intensional logic and logical grammar (U.Chicago Press, 1991)(ISBN 0226280888)(600dpi)(T)(367s)_CsAi_.djvu | 2.59 MB | ||
| Gardner A. An Artificial Intelligence Approach to Legal Reasoning (MIT, 1987)(ISBN 0262071045)(600dpi)(T)(239s)_CsAi_.djvu | 1.45 MB | ||
| Gazdar G., Mellish C. Natural Language Processing in Lisp.. An Introduction to Computational Linguistics (AW, 1989)(ISBN 0201178257)(600dpi)(T)(543s)_CsAi_.djvu | 3.49 MB | ||
| Gazdar G., Mellish C. Natural Language Processing in Prolog.. An Introduction to Computational Linguistics (AW, 1989)(ISBN 9780201180534)(600dpi)(T)(523s)_CsAi_.djvu | 3.68 MB | ||
| Gelbukh A., Bolshakov I. Computational linguistics.. models, resources, applications (U. Nacional Autonoma de Mexico, 2004)(ISBN 9703601472)(198s).pdf | 1.58 MB | ||
| Georgiev H. English algorithmic grammar (Continuum, 2006)(ISBN 0826487777)(T)(265s)_CsAi_.djvu | 1.64 MB | ||
| Georgiev H. Language Engineering (Continuum, 2007)(ISBN 9780826482945)(600dpi)(T)(318s)_CsAi_.djvu | 2.62 MB | ||
| Georgiev H. Language Engineering (program code).zip | 2.17 MB | ||
| Gonzalez R.C., Thomason M.G. Syntactic pattern recognition (AW, 1978)(ISBN 0201029316)(600dpi)(T)(302s)_CsAi_.djvu | 2.55 MB | ||
| Goshawke W., Kelly I.D.K., Wigg J.D. Computer translation of natural language (Sigma press, 1987)(ISBN 1850580561)(600dpi)(T)(292s)_CsAi_.djvu | 2.37 MB | ||
| Gries S.T. Quantitative Corpus Linguistics with R.. A Practical Introduction (Routledge, 2009)(ISBN 0415962714)(600dpi)(T)(257s)_CsAi_.djvu | 2.04 MB | ||
| Grimm M., Kroscel K. (eds.) Robust speech recognition and understanding (I-Tech, 2007)(ISBN 9783902613080)(468s)_CsAi_.pdf | 5.58 MB | ||
| Grishman R. Computational Linguistics.. An Introduction (CUP, 1986)(ISBN 9780521325028)(600dpi)(K)(T)(203s)_CsAi_.djvu | 1.5 MB | ||
| Grishman R. Computational linguistics.. an introduction (CUP, 1986)(ISBN 0521310385)(KA)(600dpi)(T)(195s)_CsAi_.djvu | 1.94 MB | ||
| Guo C.-M. (ed.) Machine Tractable Dictionaries.. Design and Construction (Ablex, 1995)(ISBN 0893918539)_CsAi_.chm | 783.76 KB | ||
| Hausser R. A Computational Model of Natural Language Communication.. Interpretation, Inference, and Production in Database Semantics (Springer, 2006)(ISBN 354035476X)(364s)_CsAi_.pdf | 1.62 MB | ||
| Hausser R. Foundations of Computational Linguistics (2ed., Springer, 2001)(ISBN 3540424172)(600dpi)(T)(592s)_CsAi_.djvu | 4.39 MB | ||
| Holmes J., Holmes W. Speech synthesis and recognition (2ed., Taylor & Francis, 2001)(ISBN 0748408576)(317s)_CsAi_.pdf | 2.94 MB | ||
| Hovy E.H. Generating Natural Language Under Pragmatic Constraints (Psychology, 1988)(ISBN 9780805802498)(600dpi)(T)(227s)_CsAi_.djvu | 1.59 MB | ||
| Huang, Acero, Hon. Spoken language processing.. guide to algorithms and system development (PH, 2001)(965s)_Cs_.pdf | 10.35 MB | ||
| Jackson P., Moulinier I. (eds.) Natural language processing for online applications.. text retrieval, extraction and categorization (2002)(ISBN 902724989X)(237s).pdf | 1.28 MB | ||
| Jurafsky D., Martin G.H. Speech and Language Processing (PH, draft, 1999)(T)(975s).djvu | 5.73 MB | ||
| Jurafsky, Martin. Speech and Language Processing.. An Introduction to Natural Language Processing (no front matter, no back matter)(2ed., draft 2007)(O)(1044s)_LF_.pdf | 13.21 MB | ||
| Kallmeyer L. Parsing beyond context-free grammars (Springer, 2010)(ISBN 364214845X)(O)(260s)_LF_.pdf | 1.22 MB | ||
| Kao A., Poteet S.R. Natural Language Processing and Text Mining (Springer, 2006)(ISBN 9781846281754)(O)(272s)_CsAi_.pdf | 2.65 MB | ||
| Kempen G. (ed.) Natural Language Generation.. New Results in Artificial Intelligence, Psychology and Linguistics (Springer, 1987)(ISBN 9789024735587)(600dpi)(T)(481s)_CsAi_.djvu | 7.12 MB | ||
| Konrad K. Model Generation for Natural Language Interpretation and Analysis (Springer, 2010)(ISBN 9783540246404)(600dpi)(T)(171s)_CsLn_.djvu | 2.04 MB | ||
| Konrad K. Model generation for natural language interpretation and analysis (PhD thesis, Saarbruecken, 2000)(600dpi)(T)(212s)_CsAi_.djvu | 1.3 MB | ||
| Levinson S.E. Mathematical Models for Speech Technology (Wiley,2005)(ISBN 0470844078)(284s)_CsAi_.pdf | 1.6 MB | ||
| Lobanov B.M., Cirul'nik L.I. Komp'yuternyj sintez i klonirovanie rechi (Minsk, 2008)(ru)(316s)_CsAi_.pdf | 8.82 MB | ||
| MacCartney B. Natural language inference (phd thesis, Stanford, 2009)(179s)_CsAi_.pdf | 1.13 MB | ||
| Mahlow C., Piotrowski M. (eds.) State of the art in computational morphology.. (Springer, 2009)(ISBN 3642041302)(147s)_CsAi_.pdf | 2.3 MB | ||
| Mani I., Maybury M.T. (eds.) Advances in Automatic Text Summarization (MIT, 1999)(ISBN 0262133598)_CsAi_.chm | 5.11 MB | ||
| Manning C.D., Schuetze H. Foundations of Statistical Natural Language Processing (MIT, 1999)(ISBN 9780262133609)(O)(717s)_CsAi_.pdf | 6.34 MB | ||
| Marchuk Yu.N. Kompyuternaya lingvistika (AST, 2007)(ru)(ISBN 5170394802)(K)(T)(319s)_L_.djvu | 3.17 MB | ||
| Marcus M.P. Theory of Syntactic Recognition for Natural Language (MIT, 1980)(ISBN 0262131498)(600dpi)(T)(352s)_CsAi_.djvu | 2.58 MB | ||
| Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 0582066220)(T)(O)(312s)_CsAi_.djvu | 1.84 MB | ||
| Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 9780582066229)(600dpi)(T)(O)(312s)_CsAi_.djvu | 3.18 MB | ||
| McKeown K. Text Generation (CUP, 1992)(ISBN 9780521438025)(600dpi)(T)(256s)_CsAi_.djvu | 1.81 MB | ||
| Mihelic F., Zibert J. (eds.) Speech recognition. Technologies and applications (I-Tech, 2008)(ISBN 9789537619299)(600dpi)(T)(O)(574s)_CsAi_.djvu | 6.98 MB | ||
| Minnen G. Efficient processing with constraint-logic grammars using grammar compilation (CSLI, 2001)(ISBN 1575863065)(600dpi)(T)(265s)_CsAi_.djvu | 1.75 MB | ||
| Nugues P.M. An Introduction to Language Processing with Perl and Prolog.. ...with Special Consideration of English, French, and German (Springer, 2006)(ISBN 9783540250319)(O)(524s)_CsAi_.pdf | 2.11 MB | ||
| Oakes M.P. Statistics for Corpus Linguistics (EUP, 1998)(ISBN 0748610324)_LF_.chm | 1.05 MB | ||
| Partee B.H., Meulen A.T., Wall R.E. Mathematical methods in linguistics (Kluwer, 1990)(ISBN 9027722447)(T)(O)(686s)_LF_.djvu | 3.69 MB | ||
| Partee B.H., ter Meulen A., Wall R.E. Errata for Mathematical Methods in Linguistics (Kluwer, 1990)(ISBN 9027722447)(1s)_LF_.pdf | 78.52 KB | ||
| Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(204s)_CsAi_.pdf | 1.18 MB | ||
| Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(program code)_CsAi_.rar | 109.38 KB | ||
| Perkins J. Python Text Processing with NLTK 2.0 Cookbook (Packt Publishing, 2010)(ISBN 1849513600)(O)(272s)_S_.pdf | 2.63 MB | ||
| Popov E'.V. Obshchenie s E'VM na estestvennom jazyke (Nauka, 1982)(ru)(T)(360s)_CsAi_.djvu | 5.75 MB | ||
| Reiter E., Dale R. Building natural language generation systems (CUP, 2000)(ISBN 0521620368)(T)(S)(272s)_CsAi_.djvu | 2.19 MB | ||
| Sag I.A., Wasow T. Syntactic theory.. a formal introduction (1999)(483s).pdf | 2.25 MB | ||
| Sager N. Natural Language Information Processing.. A Computer Grammar of English and Its Applications (AW, 1980)(ISBN 9780201067699)(600dpi)(T)(419s)_CsAi_.djvu | 4.24 MB | ||
| Saint-Dizier P., Viegas E. (eds.) Computational lexical semantics (CUP, 1995)(ISBN 0521444101)(T)(459s)_CsAi_.djvu | 2.56 MB | ||
| Saint-Dizier P., Viegas E. Computational Lexical Semantics (CUP, 1995)(ISBN 9780521444101)(600dpi)(T)(457s)_CsAi_.djvu | 4.29 MB | ||
| Shevelyov O.G. Metody avtomaticheskoj klassifikacii tekstov na estestvennom yazyke (Tomsk, 2007)(ISBN 5913020278)(ru)(360dpi)(K)(T)(146s)_CsAi_.djvu | 2.37 MB | ||
| Shieber S.M. An Introduction to Unification-Based Approaches to Grammar (CSLI, 1986)(ISBN 0937073008)(600dpi)(T)(121s)_LF_.djvu | 728.91 KB | ||
| Simmons R.F. Computations from the English.. A procedural logic approach for representing and understanding English text (PH, 1983)(ISBN 0131646400)(600dpi)(T)(320s)_CsAi_.djvu | 2.43 MB | ||
| Stabler E.P. The Logical Approach to Syntax.. Foundations, Specifications, and Implementation (MIT, 1993)(ISBN 0262193159)(600dpi)(T)(454s)_CsAi_.djvu | 2.65 MB | ||
| Stevenson M. Word sense disambiguation.. the case for combinations of knowledge sources (CSLI, 2003)(ISBN 1575863901)(600dpi)(T)(193s)_CsAi_.djvu | 1.35 MB | ||
| Tennant H. Natural Language Processing.. An Introduction to an Emerging Technology (MGH, 1981)(ISBN 0894331000)(600dpi)(T)(286s)_CsAi_.djvu | 1.84 MB | ||
| Zoeppritz M. Syntax for German in the User Specialty Languages system (Niemeyer, 1984)(ISBN 3484319097)(600dpi)(T)(384s)_CsAi_.djvu | 3.15 MB | ||
| de Swart H. Introduction to natural language semantics (CSLI, 1998)(ISBN 1575861380)(600dpi)(T)(271s)_CsAi_.djvu | 1.84 MB | ||
| de la Higuera C. Grammatical Inference.. Learning Automata and Grammars (CUP, 2010)(ISBN 9780521963165)(O)(433s)_CsAi_.pdf | 2.38 MB | ||
| van Eijck J., Unger C. Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(O)(422s)_CsAi_.pdf | 1.74 MB | ||
| van Eijck J., Unger C. Solutions for Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(38s)_CsAi_.pdf | 171.22 KB | ||
| Object-oriented development | |||
| Diaconescu R., Futatsugi K. CafeOBJ report.. the language, proof techniques, and methodologies for object-oriented algebraic specification (WS, 1998)(ISBN 9810235135)(600dpi)(T)(196s)_CsF_.djvu | 1.06 MB | ||
| Wellington C.A. Refactoring to agility (AW, 2006)(ISBN 0321486471).chm | 389.17 KB | ||
| Programming languages | |||
| Alcock D. Illustrating Pascal (CUP, 1987)(ISBN 0521336953)(T)(S)(194s)_CsPl_.djvu | 4.52 MB | ||
| Apt K. Principles of constraint programming (CUP, 2003)(420s)_CsPl_.pdf | 1.73 MB | ||
| Armstrong J. Making reliable distributed systems (using Erlang)(PhD thesis, Stockholm, 2003)(295s)_CsPl_.pdf | 839.11 KB | ||
| Bergin, Gibson. (eds.) History of programming languages, vol.2 (AW, 1996)(ISBN 0201895021)(T)(O)(878s)_CsPl_.djvu | 8.46 MB | ||
| Brooks D.R. An Introduction to HTML and JavaScript for Scientists and Engineers (Springer, 2007)(ISBN 1846286565)(O)(207s)_CsPl_.pdf | 3.1 MB | ||
| Budd T. A little Smalltalk (AW, 1987)(K)(ISBN 9780201106985)(600dpi)(T)(O)(295s)_CsPl_.djvu | 2.09 MB | ||
| Budd T. Multiparadigm Programming in Leda (AW, 1994)(ISBN 0201820803)(600dpi)(T)(412s)_CsPl_.djvu | 2.64 MB | ||
| Butenhof. Programming with POSIX threads (AW, 1997)(T)(ISBN 0201633922)(398s).djvu | 9.57 MB | ||
| C | |||
| Alcock D. Illustrating C (ANSI ISO version) (Rev.Ed., CUP, 1992)(ISBN 0521468213)(O)(T)(S)(225s)_CsPl_.djvu | 2.8 MB | ||
| Harbison S.P., Steele G.L. C, a reference manual (PH, 2002)(ISBN 013089592X)(600dpi)(T)(551s)_CsPl_.djvu | 3.93 MB | ||
| Kernighan B.W., Ritchie D.M. Programmieren in C (PH, 1988)(ISBN 013110330X)(de)(KA)(T)(300s)_CsPl_.djvu | 2.74 MB | ||
| Kernighan B.W., Ritchie D.M. The ANSI C programming language (2ed., PH, 1998)(ISBN 0131103709)(600dpi)(T)(287s)_CsPl_.djvu | 1.95 MB | ||
| Kernighan B.W., Ritchie D.M. The C programming language, ANSI C edition (2ed., PH, 1988)(ISBN 0131103628)(600dpi)(T)(O)(286s)_CsPl_.djvu | 2.18 MB | ||
| Kernighan, Ritchie. The ANSI C programming language (2ed.)(T)(C)(281s).djvu | 2.52 MB | ||
| Navia J. Quick introduction to C (lcc compiler docs, 2002)(T)(249s).djvu | 1.77 MB | ||
| Plauger. The standard C library (PH, 1991)(ISBN 0138380120)(T)(C)(514s).djvu | 5.55 MB | ||
| C++ | |||
| Alexandrescu A. Modern C++ design.. generic programming and design patterns applied (AW, 2001)(ISBN 0201704315)(285s).pdf | 1.11 MB | ||
| Alexandrescu. Modern C++ Design, Generic Programming and Design Patterns Applied (AW).chm | 815.78 KB | ||
| Barton J.J., Nackman L.R. Scientific and engineering C++ (AW, 1994)(T)(667s)_CsPl_.djvu | 4.92 MB | ||
| Barton J.J., Nackman L.R. Scientific and engineering C++ (Addison Wesley Longman, 1994)(example C code).rar | 164.53 KB | ||
| Deitel P.J., Deitel H.M. C++ How to Program (7ed., PH, 2009)(ISBN 9780136117261)(200dpi)(T)(C)(1090s)_CsPl_.djvu | 19.58 MB | ||
| Gaddis T., Walters J., Muganda G. Starting Out with C++.. Early Objects (5ed., AW, 2005)(ISBN 0321383486)(600dpi)(T)(1337s)_CsPl_.djvu | 6.86 MB | ||
| Glassborow F. You can program in C++. A programmer's introduction (Wiley, 2006)(ISBN 0470014687)(O)(391s)_CsPl_.pdf | 1.94 MB | ||
| Hubbard J.R. Schaum's Outline of Fundamentals of Computing with C++ (Schaum,1998)(ISBN 0070308683)(T)(372s)_CsPl_.djvu | 3.83 MB | ||
| Hubbard J.R. Theory and problems of programming with C++ (Schaum's outline, MGH, 1996)(T)(446s).djvu | 8.54 MB | ||
| Josuttis. The C++ STL - A Tutorial And Reference (AW, 1999)(642s)_CsPl_.pdf | 2.61 MB | ||
| Lippman S.B. Essential C++ (AW, 2002)(ISBN 0201485184)(251s)_CsPl_.pdf | 668.73 KB | ||
| Logan S. Cross platform development in C++ (AW, 2008)(O)(ISBN 032124642X)(575s)_CsPl_.pdf | 2.95 MB | ||
| Pothering G.J., Naps T.L. Introduction to Data Structures and Algorithm Analysis With C++ (West Publishing Company, 1995)(ISBN 9780314045744)(600dpi)(T)(673s)_CsPl_.djvu | 16.74 MB | ||
| Pothering G.J., Naps T.L. Introduction to Data Structures and Algorithm Analysis With C++ (West Publishing Company, 1995)(ISBN 9780314045744)(T)(673s)_CsPl_.djvu | 8.15 MB | ||
| Pozrikidis C. Introduction to C++ programming and graphics (Springer, 2007)(ISBN 0387689923)(O)(383s)_CsPl_.pdf | 2.34 MB | ||
| Roberge, Brandle, Whittington. A laboratory course in C++ data structures (2ed., 2003)(ISBN 0763719765)(600dpi)(T)(C)(381s)_CsPl_.djvu | 3.2 MB | ||
| Savitch W. Problem Solving with C++ (7ed., AW, 2008)(ISBN 9780321531346)(600dpi)(T)(1061s)_CsPl_.djvu | 9.3 MB | ||
| Scheinerman E. C++ for mathematicians. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(520s)_CsPl_.pdf | 1.74 MB | ||
| Scheinerman E. C++ for mathematicians.. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(521s)_CsPl_.pdf | 2.02 MB | ||
| Stroustrup B. The Design and Evolution of C++ (AW, 1994)(ISBN 0201543303)(600dpi)(T)(O)(472s)_CsPl_.djvu | 3.28 MB | ||
| Vandevoorde D. C++ solutions.. companion to Stroustrup's book C++ programming language, 3ed. (AW, 1998)(ISBN 0201309653)(600dpi)(T)(O)(300s)_CsPl_.djvu | 1.64 MB | ||
| Weiss M.A. Data structures and problem solving using C++ (2ed., Pearson, 2003)(ISBN 0321205006)(600dpi)(T)(976s)_CsPl_.djvu | 9.47 MB | ||
| Curien P.-L. Categorical combinators, sequential algorithms, and functional programming (Birkhauser, 1993)(ISBN 3764336544)(600dpi)(T)(424s)_CsPl_.djvu | 3.07 MB | ||
| Dongarra J., et al. Sourcebook of parallel computing (Elsevier, 2003)(ISBN 1558608710)(852s).pdf | 6.23 MB | ||
| Erlang | |||
| Armstrong J. Programming Erlang.. Software for a Concurrent World (Pragmatic Bookshelf, 2007)(ISBN 9781934356005)(O)(526s)_CsPl_.pdf | 2.79 MB | ||
| Cesarini F., Thompson S. Erlang Programming (O'Reilly, 2009)(ISBN 9780596518189)(600dpi)(T)(C)(O)(496s)_CsPl_.djvu | 4.35 MB | ||
| Cesarini F., Thompson S. Erlang programming (O'Reilly, 2009)(ISBN 9780596518189)(O)(496s)_CsPl_.pdf | 3.04 MB | ||
| Virding R., Wikstrom C., Williams M. Concurrent Programming in Erlang. Part 1 (2ed., PH, 1996)(ISBN 9780135083017)(205s)_CsPl_.pdf | 557.26 KB | ||
| Feldt, Johnson, Neumann. Ruby developers guide (Syngress, 2002)(T)(C)(721s).djvu | 6.4 MB | ||
| Finkel R.A. Advanced programming language design (AW 1996)(ISBN 0805311912)(600dpi)(T)(O)(370s)_CsPl_.djvu | 2.36 MB | ||
| Finkel R.A. Advanced programming language design (AW, 1996)(ISBN 0805311912)(O)(370s)_CsPl_.pdf | 1.35 MB | ||
| Fortran | |||
| Adams J.C., et al. Fortran 90 Handbook, complete ANSI-ISO reference (MGH, 1992)(ISBN 0070004064)(835s).pdf | 1.62 MB | ||
| Adams J.C., et al. The Fortran 2003 Handbook (Springer, 2008)(ISBN 1846283787)(713s)_CsPl_.pdf | 3.2 MB | ||
| Akin E. Object-oriented programming via Fortran 90-95 (1991)(301s)_S_.pdf | 1.15 MB | ||
| Chapman S.J. Fortran 90-95 for scientists and engineers (1ed., MGH, 1998)(ISBN 0070119384)(600dpi)(T)(891s)_CsPl_.djvu | 14.54 MB | ||
| Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(600dpi)(T)(O)(988s)_CsPl_.djvu | 7.48 MB | ||
| Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(program code)_CsPl_.rar | 1.02 MB | ||
| Chapman. Fortran 90-95 for scientists and engineers. Files for the book and errata.zip | 320.33 KB | ||
| Chivers, Sleightholme. Introduction to Fortran 77, 90, 95, 2003 - code examples.rar | 36.82 KB | ||
| Chivers, Sleightholme. Introduction to programming with Fortran 77, 90, 95, 2003 (Springer, 2006)(599s)_S_.pdf | 822.59 KB | ||
| Fortran 90 5-day course (U.Liverpool, 1997)(600dpi)(T)(278s).djvu | 1.7 MB | ||
| Hahn B. Introduction to Fortran 90 for scientists and engineers (bad fonts, bad equations)(ISBN 0340600349)(286s).pdf | 1.88 MB | ||
| Kupferschmid M. Classical Fortran (M.Dekker, 2002)(ISBN 0824708024)(KA)(T)(755s)_CsPl_.djvu | 4.52 MB | ||
| Metcalf M., Reid J., Cohen M. Fortran 95 2003 explained (OUP, 2004)(ISBN 019852692X)(600dpi)(T)(434s)_CsPl_.djvu | 4.31 MB | ||
| Metcalf, Reid. Fortran 90,95 explained (Oxford, 1999)(400dpi)(ISBN 0198505582)(T)(355s).djvu | 2.86 MB | ||
| Page C. Fortran 90 for Fortran 77 programmers (web draft, 2002)(28s).pdf | 153.29 KB | ||
| Page C. Professional programmer's guide to Fortran 77 (free web version, FDL, 2005)(128s).pdf | 367.09 KB | ||
| Ramsden, Lin, et al. Fortran 90.. a conversion course for Fortran 77 programmers (Manchester lecture notes, v3.0, 1995)(105s).pdf | 224.8 KB | ||
| Fourer R., Gay D.M., Kernighan B.W. AMPL.. A Modeling Language for Mathematical Programming (Duxbury Press, 2002)(ISBN 0534388094)(T)(O)(525s)_CsPl_.djvu | 4.78 MB | ||
| Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1 (Wiley, 2004)(ISBN 0471471631)(600dpi)(T)(O)(917s)_CsPl_.djvu | 20.23 MB | ||
| Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns.. Elements of Reusable Object-Oriented Software (AW, 1994)(ISBN 0201633612)(600dpi)(T)(O)(417s)_CsPl_.djvu | 5.93 MB | ||
| Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns.. Elements of Reusable Object-Oriented Software (AW, 1994)(ISBN 0201633612)(T)(O)(417s)_CsPl_.djvu | 3.17 MB | ||
| Gamma, Helm, Johnson, Vlissides. Design patterns CD(400dpi)(T)(C)(806s).djvu | 8.5 MB | ||
| Gottfried B.S. Schaum's Outline of Visual Basic (Schaum,2001)(ISBN 0071356711)(224s).pdf | 2.07 MB | ||
| Griswold R.E. Macroimplementation of Snobol 4 (W.H.Freeman, 1972)(ISBN 9780716704478)(600dpi)(T)(323s)_CsPl_.djvu | 2.18 MB | ||
| Griswold R.E., et al. Snobol 4 Programming Language (PH, 1971)(ISBN 9780138153731)(600dpi)(K)(T)(O)(272s)_CsPl_.djvu | 1.63 MB | ||
| Griswold, Griswold. Implementation of the ICON programming language (2002)(400dpi)(L)(T)(ISBN 0691084319)(174s).djvu | 2.64 MB | ||
| Grune D., Bal H.E., Jacobs C.J.H., Langendoen K.G. Modern compiler design (Wiley, 2000)(K)(T)(ISBN 0471976970)(753s)_CsPl_.djvu | 6.34 MB | ||
| Hall J.N., McAdams J.A., Foy B.D. Effective Perl Programming.. Ways to Write Better, More Idiomatic Perl (2ed., AW, 2010)(ISBN 9780321496942)(O)(494s)_CsPl_.pdf | 1.53 MB | ||
| Harrison J. Introduction to functional programming (web draft, 1997)(168s)_CsPl_.pdf | 506.6 KB | ||
| Harrop J. F# for Scientists (Wiley, 2008)(ISBN 9780470242117)(T)(O)(371s)_CsPl_.djvu | 2.57 MB | ||
| Haskell | |||
| Chakravarty M.M.T., Keller G.C. Einfuehrung in die Programmierung mit Haskell (de)(Pearson, 2004)(ISBN 3827371376)(KA)(600dpi)(T)(199s)_CsPl_.djvu | 1.96 MB | ||
| Hudak P. The Haskell school of expression (CUP, 2000)(ISBN 0521643384)(K)(600dpi)(T)(382s)_CsAl_.djvu | 3.32 MB | ||
| Hutton A. Programming in Haskell (draft, CUP, 2005)(200s)_CsPl_.pdf | 861.87 KB | ||
| Thompson S. Haskell.. the art of functional programming (1ed., AW, 1996)(KA)(T)(502s).djvu | 2.68 MB | ||
| Thompson S. Haskell.. the art of functional programming (2ed., AW, 1999)(KA)(T)(504s).djvu | 3.54 MB | ||
| Henderson P., Jones G.A., Jones S.B. The LispKit manual, vols.1 and 2 (report PRG-32, Oxford, 1983)(400dpi)(T)(263s)_CsPl_.djvu | 1.7 MB | ||
| Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.epub | 6.93 MB | ||
| Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.pdf | 15.86 MB | ||
| Hook B. Write Portable Code.. An Introduction to Developing Software for Multiple Platforms (No Starch Press, 2005)(ISBN 9781593270568)(150dpi)(T)(O)(273s)_CsPl_.djvu | 1.71 MB | ||
| Hudak P. Conception, Evolution, And Application Of Functional Programming Languages (ACM Comp.Surv. 21, p359, 1989)(T)(53s)_CsPl_.djvu | 571.97 KB | ||
| Hudak P. Conception, evolution, and application of functional programming languages (ACM comp.surveys 21, 1989)(T)(53s).djvu | 730.47 KB | ||
| Hyde R. The Art of Assembly Language (No Starch Press, 2010)(ISBN 9781593272074)(600dpi)(T)(O)(764s)_CsPl_.djvu | 4.99 MB | ||
| Ierusalimschy R. Programming in Lua (2ed., Lua.org, 2006)(ISBN 9788590379829)(O)(329s).pdf | 1.58 MB | ||
| Irvine K.R. Assembly language for Intel-based computers (4ed., PH, 2003)(ISBN 0130910139)(T)(731s)_CsPl_.djvu | 7.54 MB | ||
| Iverson K. A Programming Language (Wiley, 1962)(ISBN 0471430145)(600dpi)(T)(303s)_CsPl_.djvu | 2.7 MB | ||
| Java | |||
| Deitel P., Deitel H. Java, how to program (9ed., PH, 2012)(ISBN 9780132575669)(C)(O)(1535s)_CsPl_.pdf | 24.09 MB | ||
| Lindsey C.S., Tolliver J.S., Lindblad T. JavaTech (CUP, 2005)(ISBN 0521821134)(729s)_CsPl_.pdf | 3.37 MB | ||
| Marinescu F. EJB design patters (Wiley, 2002)(400dpi)(ISBN 0471208310)(T)(C)(289s).djvu | 1.62 MB | ||
| Jung K., Brown A. Beginning Lua Programming (Wrox, 2007)(ISBN 9780470069172)(O)(674s).pdf | 8.46 MB | ||
| Katzan H. APL Programming and Computer Techniques (Van Nostrand, 1970)(ISBN 9780442242510)(T)(342s)_CsPl_.djvu | 1.72 MB | ||
| Kernighan, Pike. The practice of programming (1999)(ISBN 020161586X)(T)(C)(273s).djvu | 2.52 MB | ||
| Kiusalaas J. Numerical Methods in Engineering With Python (ISBN 9780521852876)(433s).pdf | 1.78 MB | ||
| Kluge W. (ed.) Implementation of functional languages (Proc. Bad Godesberg, LNCS1268, Springer, 1997)(T)(ISBN 3540632379)(295s)_CsPl_.djvu | 2.55 MB | ||
| Knuth D.E. Literate Programming (CSLI, 1992)(ISBN 9780937073803)(600dpi)(T)(O)(384s)_CsPl_.djvu | 2.74 MB | ||
| Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s).pdf | 4.96 MB | ||
| Langtangen H.P. A Primer on Scientific Programming with Python (Springer, 2009)(ISBN 9783642024740)(O)(726s).pdf | 6.82 MB | ||
| Langtangen H.P. A primer on scientific programming with Python (3ed., Springer, 2012)(ISBN 9783642302923)(O)(820s)_CsPl_.pdf | 5.18 MB | ||
| Langtangen H.P. Python scripting for computational science (Springer, 2011)(ISBN 9783540739166)(769s).pdf | 6.31 MB | ||
| Leler W. Constraint Programming Languages.. Their Specification and Generation (AW, 1987)(ISBN 9780201062434)(K)(600dpi)(T)(210s)_CsPl_.djvu | 1.33 MB | ||
| Lewis D.W. Fundamentals of embedded software.. where C and Assembly meet (PH, 2001)(ISBN 0130615897)(KA)(T)(280s)_CsPl_.djvu | 2.88 MB | ||
| Lieberherr K. Adaptive object-oriented software.. the Demeter method (1996)(400dpi)(T)(651s).djvu | 3.66 MB | ||
| Lift in Action - Perrett - Manning (2011)-o.pdf | 3.59 MB | ||
| Lin A.C. Implementing concurrency for ML-based operating system (MS thesis, MIT, 1998)(400dpi)(T)(43s).djvu | 246.28 KB | ||
| Lisp | |||
| Allen J. Anatomy of LISP (MGH, 1978)(ISBN 007001115X)(600dpi)(T)(463s)_CsPl_.djvu | 4.16 MB | ||
| Chazarain J. Programmer avec Scheme (Thomson, 1998)(fr)(ISBN 2841801314)(600dpi)(T)(O)(767s)_CsPl_.djvu | 4.68 MB | ||
| Cooper D. Basic LISP techniques (free web version, 2003)(100s)_CsPl_.pdf | 394.57 KB | ||
| Eisenberg M., Abelson H. Programming in Scheme (MIT, 1988)(ISBN 9780262550178)(K)(T)(318s)_CsPl_.djvu | 2.25 MB | ||
| Eisenberg, Abelson. Programming in Scheme (MIT, 1988)(T)(ISBN 0262550172)(318s).djvu | 7.71 MB | ||
| Friedman D.P., Felleisen M. The Little Schemer (4ed., MIT, 1995)(ISBN 0262560992)(600dpi)(T)(O)(211s)_CsPl_.djvu | 1.96 MB | ||
| Gabriel R.P. Performance and evaluation of LISP systems (MIT, 1985)(ISBN 9780262070935)(294s)_CsPl_.pdf | 1.1 MB | ||
| Harvey B., Wright M. Simply SCHEME.. introducing computer science (MIT, 1994)(ISBN 0262082268)(T)(610s)_CsPl_.djvu | 5.38 MB | ||
| Keene S.E. Object-Oriented Programming in Common Lisp (AW, 1989)(T)(ISBN 0201175894)(288s)_CsPl_.djvu | 1.77 MB | ||
| Kiczales G., des Rivieres J., Bobrow D.G. The art of the metaobject protocol (MIT, 1991)(ISBN 9780585358123)(KA)(T)(330s)_CsPl_.djvu | 1.6 MB | ||
| Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005)(html).rar | 187.13 KB | ||
| Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005).chm | 234.68 KB | ||
| McCarthy J. LISP 1.5 Programmer's Manual (MIT, 1962)(ISBN 0262130114)(400dpi)(T)(O)(116s)_CsPl_.djvu | 745.26 KB | ||
| Queinnec C. LISP in small pieces (CUP, 1996)(KA)(ISBN 0521562473)(600dpi)(T)(526s)_CsPl_.djvu | 4.76 MB | ||
| Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(600dpi)(T)(O)(532s)_CsPl_.djvu | 3.28 MB | ||
| Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(errata).html.gz | 4.67 KB | ||
| Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(program code).zip | 227.86 KB | ||
| Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395).chm | 2.1 MB | ||
| Steele G. Common LISP. The Language (2ed., Digital Press, 1990)(ISBN 1555580416)(1097s)_CsPl_.pdf | 3.76 MB | ||
| Steele G.L. Common Lisp, the language (1990)(1096s).ps.gz | 1.69 MB | ||
| Touretzky D.S. Common LISP.. a gentle introduction to symbolic computation (1990)(ISBN 0805304924)(T)(587s).djvu | 2.38 MB | ||
| Watson M. Loving LISP (version 0.7, 2002)(pdf,code).zip | 328.33 KB | ||
| Winston P.H., Horn B. Lisp (AW, 1980)(ISBN 0201083299)(T)(435s)_CsPl_.djvu | 2.63 MB | ||
| Loogen R. Integration funktionaler und logischer Programmiersprachen (Oldenbourg, 1995)(ISBN 3486230409)(de)(600dpi)(T)(286s)_CsPl_.djvu | 2.29 MB | ||
| Loukides, Oram. Programming with GNU software (O'Reilly, 1996)(ISBN 1565921127)(T)(C)(263s).djvu | 3.78 MB | ||
| ML | |||
| Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(757s)_CsPl_.pdf | 2.74 MB | ||
| Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(T)(757s)_CsPl_.djvu | 3.93 MB | ||
| Gansner E.R., Reppy J.H. (eds.) The Standard ML Basis Library (CUP, 2002)(ISBN 0521794781)(O)(487s)_CsPl_.pdf | 1.31 MB | ||
| Harper. Programming in Standard ML (lecture notes, 2002)(T)(293s).djvu | 1.33 MB | ||
| Harrop J. OCaml for scientists (Flying Frog Consultancy, 2005)(T)(281s)_CsPl_.djvu | 2.09 MB | ||
| Kahrs S. Mistakes and ambiguities in the definition of Standard ML (1993)(600dpi)(T)(33s)_CsPl_.djvu | 245.12 KB | ||
| Milner R., Tofte M. Commentary on Standard ML (MIT, 1991)(ISBN 0262631377)(176s)_CsPl_.pdf | 865.32 KB | ||
| Milner R., Tofte M., Harper R. The Definition of Standard ML (1ed., MIT, 1990)(ISBN 0262132559)(600dpi)(T)(O)(116s)_CsPl_.djvu | 679.48 KB | ||
| Milner R., Tofte M., Harper R., MacQueen D. The definition of Standard ML, revised (MIT, 1997)(ISBN 9780262631815)(400dpi)(T)(104s)_CsPl_.djvu | 662.84 KB | ||
| Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(600dpi)(T)(493s)_CsPl_.djvu | 5.36 MB | ||
| Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(T)(493s)_CsPl_.djvu | 4.03 MB | ||
| Reppy J.H. Concurrent Programming in ML (CUP, 2007)(ISBN 0521714729)(325s)_CsPl_.pdf | 891 KB | ||
| Sokolowski S. Applicative High Order Programming.. Standard ML in Practice (Chapman and Hall, 1991)(ISBN 9780442308384)(600dpi)(T)(255s)_CsPl_.djvu | 1.62 MB | ||
| Ullman J.D. Elements of ML Programming, ML97 Edition (2ed., PH, 1998)(ISBN 0137903871)(600dpi)(T)(399s)_CsPl_.djvu | 2.78 MB | ||
| Marshal B. XML by example (QUE, 2000)(T)(C)(528s).djvu | 5.87 MB | ||
| Martin R.C. Agile software development.. principles, patterns, and practices (Pearson, 2003)(ISBN 0135974445)(600dpi)(T)(557s)_CsPl_.djvu | 5.65 MB | ||
| McGettrick A.D. The Definition of Programming Languages (CUP, 1980)(ISBN 0521295858)(600dpi)(T)(O)(279s)_CsPl_.djvu | 1.99 MB | ||
| Merz T., Druemmer O. Die PostScript-PDF-Bibel (2ed.)(de)(ISBN 3935320019)(658s).pdf | 8 MB | ||
| Metsker S.J. Building Parsers With Java (AW, 2001)(ISBN 9780201719628).chm | 3.03 MB | ||
| Meyer B. Object-Oriented Software Construction (2ed., PH, 2000)(ISBN 0136291554)(O)(1406s)_CsPl_.pdf | 7.32 MB | ||
| Neuburg M. AppleScript.. The Definitive Guide (O'Reilly, 2003)(ISBN 9780596005573)(600dpi)(T)(481s)_CsPl_.djvu | 4.67 MB | ||
| Odersky M., Spoon L., Venners B. Programming in Scala.. A Comprehensive Step-by-Step Guide (2ed., Artima Inc, 2011)(ISBN 0981531644)(O)(883s)_CsPl_.pdf | 2.75 MB | ||
| Odersky M., Spoon L., Venners B. Programming in Scala.. A Comprehensive Step-by-step Guide (Artima Inc, 2008)(ISBN 0981531601)(O)(754s)_CsPl_.pdf | 2.47 MB | ||
| Parr T. The Definitive ANTLR Reference.. Building Domain-Specific Languages (Pragmatic Bookshelf, 2007)(ISBN 9780978739256)(O)(369s).pdf | 1.86 MB | ||
| Petricek T., Skeet J. Functional Programming for the Real World.. With Examples in F# and C# (Manning Publications, 2009)(ISBN 9781933988924)(O)(495s)_CsPl_.pdf | 3.5 MB | ||
| Pickering R. Foundations of F# (Apress, 2007)(ISBN 9781590597576)(O)(383s)_CsPl_.pdf | 4.95 MB | ||
| Pierce B.C. (ed.) Advanced Topics in Types and Programming Languages (MIT, 2004)(ISBN 9780262162289)(O)(589s)_CsPl_.pdf | 3.14 MB | ||
| Pierce B.C. Types and Programming Languages (MIT, 2002)(ISBN 0262162091)(O)(645s)_CsPl_.pdf | 1.74 MB | ||
| Plasmeijer R., van Eckelen M. Functional programming and parallel graph rewriting (AW, 1993)(free web version)(622s)_CsPl_.pdf | 1.38 MB | ||
| Plotkin G., Stirling C.P., Tofte M. (eds.) Proof, Language, and Interaction.. Essays in Honour of Robin Milner (MIT, 2000)(ISBN 0262161885)(400dpi)(T)(737s)_CsPl_.djvu | 5.38 MB | ||
| Pollard et al. (eds.) High Performance Computing Systems and Applications (Kluwer, 2000)(T)(619s).djvu | 7.29 MB | ||
| Priestley M. A science of operations.. Machines, logic and the invention of programming (Springer, 2011)(ISBN 1848825544)(O)(352s)_CsPl_.pdf | 1.46 MB | ||
| Proceedings of the third ACM SIGPLAN conference on History of programming languages (ACM, 2007)(484s)_CsPl_.pdf | 9.38 MB | ||
| Prolog | |||
| Ait-Kaci H. Warren's Abstract Machine.. a tutorial reconstruction (MIT, 1991)(ISBN 9780262510585)(600dpi)(T)(134s)_CsPl_.djvu | 909.97 KB | ||
| Apt K.R. From logic programming to Prolog (PH, 1997)(ISBN 013230368X)(O)(345s)_CsPl_.pdf | 1.1 MB | ||
| Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (Vieweg, 1991)(de)(ISBN 9783528051587)(O)(369s)_CsPl_.pdf | 1.06 MB | ||
| Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (program code)(Vieweg, 1991)(ISBN 9783528051587)(de)_CsPl_.zip | 51.9 KB | ||
| Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(228s)_CsPl_.pdf | 587.76 KB | ||
| Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(O)(229s)_CsPl_.pdf | 619.74 KB | ||
| Clocksin W., Mellish C. Programming in Prolog, using the ISO standard (5ed., Springer, 2003)(ISBN 3540006788)(T)(314s)_CsPl_.djvu | 1.8 MB | ||
| Clocksin W.F., Mellish C.S. Programming in Prolog (3ed., Springer, 1987)(ISBN 9783540175391)(600dpi)(T)(297s)_CsPl_.djvu | 2.22 MB | ||
| Coelho H., Cotta J.C. PROLOG by Example. How to Learn, Teach and Use It (Springer, 1988)(ISBN 9783540183136)(600dpi)(T)(394s)_CsPl_.djvu | 2.04 MB | ||
| Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 013138645X)(KA)(400dpi)(T)(528s)_CsPl_.djvu | 2.93 MB | ||
| Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 9780131386457)(400dpi)(T)(528s)_CsPl_.djvu | 3 MB | ||
| Dobry T. A High Performance Architecture for Prolog (Kluwer, 1990)(ISBN 0792390601)(600dpi)(T)(238s)_CsPl_.djvu | 1.56 MB | ||
| Gregory S. Parallel Logic Programming in Parlog.. The Language and Its Implementation (AW, 1987)(ISBN 9780201192414)(600dpi)(T)(229s)_CsPl_.djvu | 1.74 MB | ||
| Hill P., Lloyd J. The Goedel Programming Language (MIT, 1994)(ISBN 9780262082297)(600dpi)(T)(370s)_CsPl_.djvu | 1.98 MB | ||
| Maier D., Warren D.S. Computing With Logic.. Logic Programming With Prolog (AW, 1988)(ISBN 9780805366815)(600dpi)(T)(559s)_CsPl_.djvu | 3.71 MB | ||
| O'Keefe R. The Craft of Prolog (MIT, 1990)(ISBN 9780262150392)(K)(600dpi)(T)(412s)_CsPl_.djvu | 1.97 MB | ||
| Ross P. Advanced Prolog.. Techniques and Examples (AW, 1989)(ISBN 0201175274)(600dpi)(T)(306s)_CsPl_.djvu | 2.02 MB | ||
| Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(ISBN 9780262193382)(600dpi)(T)(O)(552s)_CsPl_.djvu | 6.1 MB | ||
| Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(T)(ISBN 0262193388)(550s)_CsPl_.djvu | 2.85 MB | ||
| Van Le T. Techniques of PROLOG Programming.. with Implementation of Logical Negation and Quantified Goals (Wiley, 1993)(ISBN 0471599700)(600dpi)(T)(621s)_CsPl_.djvu | 3.35 MB | ||
| Python | |||
| Beazley D. Python essential reference (2ed., New Riders, 2001)(T)(C)(ISBN 0735710910)(586s).djvu | 4.11 MB | ||
| Beginning Python (Wiley, 2005)(ISBN 0764596543)(679s)_CsPl_.pdf | 3.5 MB | ||
| Dawson M. Python programming for absolute beginner (Premier, 2003)(ISBN 1592000738)(480s)_CsPl_.chm | 5.47 MB | ||
| Goerzen J. Foundations of Python network programming (APress, 2004)(KA)(T)(ISBN 1590593715)(538s)_CsPl_.djvu | 2.88 MB | ||
| Gupta R. Making use of Python (Wiley, 2002)(ISBN 0471219754)(416s)_CsPl_.pdf | 3.04 MB | ||
| Hetland M.L. Beginning Python.. From novice to professional (APress, 2005)(ISBN 159059519X)(O)(641s)_CsPl_.pdf | 9.55 MB | ||
| Jones, Drake. Python and XML (OReilly, 2001)(T)(C)(ISBN 0596001282)(446s).djvu | 2.83 MB | ||
| Langtangen H.-P. Python Scripting For Computational Science (Springer, 2004)(745s).pdf | 3.94 MB | ||
| Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s)_CsPl_.pdf | 3.76 MB | ||
| Langtangen H.P. Python scripting for computational science (3ed., Springer, 2011)(ISBN 9783540739166)(769s)_CsPl_.pdf | 4.07 MB | ||
| Lessa A. Python Developer's Handbook (Sams Pub., 2000)(ISBN 0672319942)(O)(958s)_CsPl_.pdf | 2.8 MB | ||
| Lessa. Python developer's handbook (Sams, 2000)(ISBN 0672319942)(1481s).pdf | 10.51 MB | ||
| Lundh F. Python standard library (O'Reilly, 2001)(ISBN 0596000960)(300s)_CsPl_.chm | 355.63 KB | ||
| Lutz M. Learning Python (4ed., O'Reilly, 2009)(ISBN 9780596158064)(O)(1213s)_CsPl_.pdf | 4.55 MB | ||
| Lutz M. Python pocket reference (O'Reilly, 2010)(ISBN 9780596158088)(O)(210s)_CsPl_.pdf | 938.94 KB | ||
| Mertz D. Text processing in Python (AW, 2003)(ISBN 0321112547)(O)(544s)_CsPl_.chm | 855.28 KB | ||
| Nix M., et al. Exploring Python (Entwickler, 2005)(ISBN 3935042698)(de)(600dpi)(T)(174s)_CsAl_.djvu | 1.61 MB | ||
| Pilgrim M. Dive into Python (draft, 2002)(O)(220s)_CsPl_.pdf | 404.56 KB | ||
| Preiss B.R. Data structures and algorithms in Python (2004).chm | 3.34 MB | ||
| Telles M. Python power. The comprehensive guide (Thomson, 2008)(ISBN 1598631586)(O)(529s)_CsPl_.pdf | 2.97 MB | ||
| Reek K. Pointers on C (no front matter, no TOC, no index)(AW, 1997)(ISBN 0673999866)(600dpi)(T)(O)(609s)_CsPl_.djvu | 13.4 MB | ||
| Rempt B. GUI programming with Python.. Qt edition (html).tar.bz2 | 294.49 KB | ||
| Rempt B. GUI programming with Python.. Qt edition (source)_pyqtsrc.tar.gz | 15.43 MB | ||
| Reynolds J.C. Theories of programming languages (CUP, 1998)(ISBN 0521594146)(O)(T)(S)(513s)_CsPl_.djvu | 3.24 MB | ||
| Rosenberg. How debuggers work(T)(C)(263s).djvu | 3.17 MB | ||
| Schach S. Object-Oriented Software Engineering (7ed., MGH, 2007)(ISBN 007352333X)(O)(578s)_CsPl_.pdf | 9.29 MB | ||
| Schach S. Object-Oriented and Classical Software Engineering (8ed., MGH, 2010)(ISBN 0073376183)(O)(688s)_CsPl_.pdf | 2.55 MB | ||
| Schach S.R. Object-oriented and Classical Software Engineering (7ed., MGH, 2006)(ISBN 0071258493)(400dpi)(T)(642s)_CsPl_.djvu | 12.74 MB | ||
| Scott M.L. Programming Language Pragmatics (3ed., Elsevier, 2009)(ISBN 9780123745149)(941s)_CsPl_.pdf | 5.96 MB | ||
| Scott M.L. Programming Language Pragmatics (Morgan Kaufmann, 2000)(ISBN 9781558604421)(K)(600dpi)(T)(866s)_CsPl_.djvu | 8.47 MB | ||
| Sebesta R.W. Concepts of Programming Languages (7ed., AW, 2005)(ISBN 0321330250)(600dpi)(T)(738s).djvu | 24.29 MB | ||
| Sebesta R.W. Concepts of Programming Languages (no TOC)(9ed., AW, 2009)(ISBN 9780136073475)(600dpi)(T)(773s)_CsPl_.djvu | 11.71 MB | ||
| Sebesta R.W. Concepts of programming languages (5ed., AW, 2001)(ISBN 0201752956)(KA)(150dpi)(T)(698s)_CsPl_.djvu | 4.94 MB | ||
| Smart J.F. Jenkins.. The Definitive Guide (O'Reilly, 2011)(ISBN 9781449305352)(600dpi)(T)(C)(O)(406s).djvu | 8.98 MB | ||
| Spivey J.M. An Introduction to Logic Programming Through Prolog (PH, 1996, free web version, 2002)(ISBN 9780135360477)(260s)_CsAl_.pdf | 1.06 MB | ||
| Vandevoorde D. C++ Solutions.. companion to C++ programming language (AW, 1998)(O)(600dpi)(T)(ISBN 0201309653)(300s)_CsPl_.djvu | 1.83 MB | ||
| Vladimir Kushnir Safe C++ How to avoid common mistakes 2012(140s).pdf | 5.48 MB | ||
| Vladimir Kushnir Safe C++ How to avoid common mistakes 2012.epub | 2.7 MB | ||
| Wadge W.W., Ashcroft E.A. Lucid, the dataflow programming language (AP, 1985)(ISBN 9780127296500)(600dpi)(T)(328s)_CsPl_.djvu | 2.22 MB | ||
| Wagner R., Wagner R. XSLT for dummies (Hungry Minds, 2002)(ISBN 0764536516)_CsPl_.chm | 1.03 MB | ||
| Wampler D. Functional Programming for Java Developers (O'Reilly, 2011)(ISBN 9781449311032)(600dpi)(T)(C)(O)(88s).djvu | 714.91 KB | ||
| Wexelblat R.L. (ed.) History of programming languages, vol.1 (ACMM, AP, 1981)(ISBN 0127450408)(T)(O)(822s)_CsPl_.djvu | 8.9 MB | ||
| Williams A. - CPP Concurrency in Action - 2012-o.pdf | 2.78 MB | ||
| Williams A. - CPP Concurrency in Action - 2012.epub | 6.59 MB | ||
| Williams J.H., Fisher D.A. Design and Implementation of Programming Languages (LNCS0054, Springer, 1977)(ISBN 354008360X)(T)(506s)_CsPl_.djvu | 2.84 MB | ||
| Winskel G. The formal semantics of programming languages.. an introduction (MIT, 1993)(ISBN 0262231697)(600dpi)(T)(383s)_CsPl_.djvu | 2.52 MB | ||
| Yourdon E. Writings of the revolution (Yourdon Press, 1982)(ISBN 0917072251)(600dpi)(T)(471s)_CsPl_.djvu | 4.92 MB | ||
| Yourdon E.N. (ed.) Classics in software engineering (Yourdon Press, 1979)(ISBN 0917072146)(600dpi)(T)(433s)_CsPl_.djvu | 3.26 MB | ||
| SSH | |||
| Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001(560s)-o.pdf | 5.8 MB | ||
| Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001 (4)(594s)-o.pdf | 5.84 MB | ||
| TeX | |||
| Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(391s)_ST_.pdf | 1.36 MB | ||
| Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(O)(392s)_ST_.pdf | 1.41 MB | ||
| AmsTeX reference card (A4 paper)(2s).pdf | 87.18 KB | ||
| Bausum D. TeX reference manual (Springer, 2002)(ISBN 0792376730)(1s)_ST_.chm | 197.99 KB | ||
| Bechtolsheim S. TEX in practice. Vol.1. Basics (Springer, 1993)(ISBN 0387975950)(600dpi)(T)(O)(407s)_ST_.djvu | 5.56 MB | ||
| Bechtolsheim S. TEX in practice. Vol.2. (Springer, 1993)(ISBN 0387975969)(600dpi)(T)(O)(375s)_ST_.djvu | 6.65 MB | ||
| Bechtolsheim S. TEX in practice. Vol.3. Tokens, macros (Springer, 1993)(ISBN 0387975977)(600dpi)(T)(O)(655s)_ST_.djvu | 8.63 MB | ||
| Bechtolsheim S. TEX in practice. Vol.4. Output routines, tables (Springer, 1993)(ISBN 0387975985)(600dpi)(T)(O)(427s)_ST_.djvu | 5.63 MB | ||
| Bringhurst R. The Elements of Typographic Style (Hartley & Marks Pub., 2004)(ISBN 9780881792065)(600dpi)(T)(C)(382s)_ST_.djvu | 4.84 MB | ||
| Doob. Gentle introduction to TeX(ISBN 0201134889)(97s).pdf | 426.29 KB | ||
| Eijkhout V. TeX by Topic (ISBN 0201568829)(287s).pdf | 1.3 MB | ||
| Eijkhout V. TeX by topic (draft, 2008)(O)(319s)_ST_.pdf | 980.9 KB | ||
| Fateman. Parsing TeX into mathematics(25s).pdf | 316.36 KB | ||
| Flynn P. Formatting information.. a beginner's introduction to Latex (free version, 2005)(275s)_ST_.pdf | 3.07 MB | ||
| Gill E. An Essay on Typography (David R. Godine, 1993)(ISBN 9780879239503)(600dpi)(T)(158s)_ST_.djvu | 860.28 KB | ||
| Goossens M., Mittelbach F., Samarin A. The LaTeX companion (1ed., AW, 1994)(KA)(L)(T)(284s)_ST_.djvu | 6.94 MB | ||
| Goossens M., Rahtz S. The LaTeX Web companion (TOC, chapter 2, index only)(T)(ISBN 0201433117)(132s)_ST_.djvu | 1.54 MB | ||
| Goossens, Rahtz, Mittelbach. The LaTeX graphics companion (AW, 1997)(L)(T)(ISBN 0201854694)(299s)_ST_.djvu | 5.34 MB | ||
| Goudy F.W. Alphabet and Elements of Lettering (Dover, 1922)(ISBN 9780486207926)(600dpi)(T)(143s)_ST_.djvu | 1.93 MB | ||
| Goudy F.W. Typologia.. Studies in Type Design and Type Making (University of California Press, 1978)(ISBN 9780520033085)(600dpi)(T)(190s)_ST_.djvu | 4.67 MB | ||
| Graetzer G. Math into LaTeX (Birkhauser, 1996)(ISBN 0817638059)(600dpi)(T)(479s)_ST_.djvu | 3.68 MB | ||
| Graetzer G. Math into TeX.. A simple guide to typesetting math using AMS-LaTex (Birkhauser, 1993)(ISBN 0817636374)(K)(T)(318s)_ST_.djvu | 5.86 MB | ||
| Graetzer G. More math into LATEX (4ed., Springer, 2007)(622s)_ST_.pdf | 4.98 MB | ||
| Graetzer G.A. Math into LaTeX.. an introduction to LaTeX and AMS-LaTeX (Birkhauser Boston, 1996)(ISBN 0817638059)(K)(pages 3-56,345-432)(T)(114s)_ST_.djvu | 545.15 KB | ||
| Greenberg H.J. A simplified introduction to LaTeX (draft, 2010)(147s)_ST_.pdf | 629.15 KB | ||
| Greenberg H.J. Simplified introduction to Latex (1999)(600dpi)(T)(136s)_ST_.djvu | 2.06 MB | ||
| Griffiths D.F., Higham D.J. Learning LATEX (SIAM, 1997)(ISBN 0898713838)(T)(O)(95s)_ST_.djvu | 591.44 KB | ||
| Gurari E.M. Writing with TEX (MGH, 1994)(ISBN 0070252076)(KA)(T)(282s)_ST_.djvu | 1.34 MB | ||
| Haralambous Y. Fonts and encodings.. from Unicode to advanced typography (OReilly, 2007)(ISBN 0596102429)(600dpi)(T)(1039s)_ST_.djvu | 17.46 MB | ||
| Heck A. Learning LaTeX by doing (web draft, 2002)(42s)_ST_.pdf | 693.52 KB | ||
| Heck A. Learning Latex by doing (2002)(42s)_ST_.pdf | 401.7 KB | ||
| Heck A. Learning METAPOST by doing (web draft, 2003)(93s)_ST_.pdf | 1019.87 KB | ||
| Johnson A.F. Type Designs.. Their History and Development (3ed., Ashgate, 1966)(ISBN 023395869X)(600dpi)(T)(191s)_ST_.djvu | 2.42 MB | ||
| Juergens M. Latex.. fortgeschrittene Anwendungen (1995)(de)(600dpi)(T)(146s).djvu | 2.04 MB | ||
| Knuth D. The METAFONT book (AMS, 1986)(ISBN 0201134454)(374s)_ST_.pdf | 1.33 MB | ||
| Knuth D. The Metafont book (draft).tex.gz | 318.58 KB | ||
| Knuth D. The TeXbook (draft, AW, 1991)(600dpi)(T)(ISBN 0201134470)(494s)_ST_.djvu | 3.67 MB | ||
| Knuth D. The TeXbook (source).tex.gz | 460.87 KB | ||
| Knuth D. The TeXbook(494s).ps.bz2 | 893.28 KB | ||
| Knuth D.E. TEX and METAFONT.. New directions in typesetting (AMS, 1979)(ISBN 0932376029)(600dpi)(T)(369s)_ST_.djvu | 3.92 MB | ||
| Knuth D.E. The Computer Modern family of typefaces (Stanford Tech.Rep.STAN-CS-80-780, 1980)(600dpi)(T)(409s)_ST_.djvu | 9.32 MB | ||
| Kohm, Morawski. The KOMAscript user's guide (free web version, 2004)(228s).pdf | 1.12 MB | ||
| Kopka H. Einfuehrung in LaTeX, Band 1 (AW, 1994)(de)(T)(ISBN 3893196641)(447s)_ST_.djvu | 4.46 MB | ||
| Kopka H., Daly P. Guide to LaTeX (4ed., AW, 2004)(ISBN 0321173856)(658s)_ST_.pdf | 2.34 MB | ||
| Kopka H., Daly P.W. A guide to LaTeX. Document preparation for beginners and advanced users (3ed., AW, 1999)(ISBN 0201398257)(300dpi)(T)(608s)_ST_.djvu | 4.48 MB | ||
| Kopka H., Daly P.W. A guide to LaTeX. Document preparation for beginners and advanced users (3ed., AW, 1999)(ISBN 0201398257)(600dpi)(T)(609s)_ST_.djvu | 8.29 MB | ||
| Kottwitz S. LaTeX Beginner's Guide (Packt Publishing, 2011)(ISBN 9781847199867)(O)(336s)_ST_.pdf | 5 MB | ||
| Kottwitz S. LaTeX beginner's guide (Packt, 2011)(ISBN 1847199860)(C)(T)(O)(336s)_ST_.djvu | 5.47 MB | ||
| Krantz S.G. Handbook of Typography for the Mathematical Sciences (CRC Press,2001)(164s)_ST_.pdf | 2.12 MB | ||
| Krantz S.G. Handbook of typography for the mathematical sciences (CRC, 2001)(ISBN 1584881496)(O)(190s)_ST_.pdf | 1.35 MB | ||
| Krieger J., Schwarz N. Introduction to TeX (AW 1989)(ISBN 020151141X)(KA)(T)(283s)_ST_.djvu | 2.08 MB | ||
| Lamport L. LaTeX, a document preparation system (2ed., AW, 1995)(150dpi)(T)(279s)_ST_.djvu | 3.12 MB | ||
| Lamport L. LaTeX.. a document-preparation system (2ed., AW, 1994)(T)(ISBN 0201529831)(292s)_ST_.djvu | 2.77 MB | ||
| Lamport. Draft LaTeX manual (1984) (TeX source).tar.bz2 | 97.22 KB | ||
| Mittelbach, Goossens. The LaTeX companion (2ed., AW, 2004)(KA)(ISBN 0201362996)(T)(C)(O)(1119s)_ST_.djvu | 10.62 MB | ||
| Mittelbach, Goossens. The LaTeX companion, bibliography only(2nd ed., AW, 1999)(ISBN 0201570440)(120s)_ST_.pdf | 674.21 KB | ||
| Mittelbach, Goossens. The LaTeX companion, chapter 3 only (Basic formatting tools)(2nd ed., AW, 1999)(113s)_ST_.pdf | 659.05 KB | ||
| Mittelbach, Goossens. The LaTeX companion, program examples only (2nd ed., AW, 1999).tar.bz2 | 150.03 KB | ||
| Mittelbach, Goossens. The LaTeX companion.. front matter, TOC, preface only (2nd ed., AW, 1999)(ISBN 0201362996)(27s)_ST_.pdf | 149.36 KB | ||
| Mittelbach, Goossens. The Latex companion, chapter 8 only (Higher mathematics)(2nd ed., AW, 1999)(48s)_ST_.pdf | 630.97 KB | ||
| Morison S. A Tally of Types (CUP, 1973)(ISBN 9780521200431)(600dpi)(T)(137s)_ST_.djvu | 1.4 MB | ||
| Morison S. On Type Designs.. Past and Present (New Ed., Ernest Benn, 1962)(600dpi)(T)(79s)_ST_.djvu | 1.06 MB | ||
| Morison S. The Typographic Arts.. Two Lectures (Theodore Brun, 1949)(600dpi)(T)(137s)_ST_.djvu | 15.85 MB | ||
| Oetiker T., Partl H., Hyna I., Schlegl E. The not so short introduction to LaTeX 2e (2002)(T)(126s)_ST_.djvu | 668.2 KB | ||
| Pakin S. The comprehensive LaTeX symbol list (free web version, 2003)(91s).pdf | 2.35 MB | ||
| Porto M. LaTeX Kochbuch (1995)(de)(152s)_ST_.pdf | 648.03 KB | ||
| Schwarz N. Einfuehrung in TeX (3ed., 1991)(de)(336s)_ST_.pdf | 1.45 MB | ||
| Shultis J.K. Latex notes (PTR PH, 1994)(ISBN 0131209736)(KA)(T)(192s)_ST_.djvu | 1.04 MB | ||
| Spivak M. LAmS-TeX.. the synthesis (TeXplorators, 1989)(ISBN 0914098608)(T)(294s)_ST_.djvu | 2.12 MB | ||
| Spivak M.D. The joy of TeX. A gourmet guide to typesetting with AMS-TeX (2ed., AMS, 1990)(ISBN 0821829971)(T)(318s)_ST_.djvu | 1.92 MB | ||
| Swanson E., A.O'Shea, A.Schleyer. Mathematics into type (AMS,2000)(ISBN 0821819615)(600dpi)(T)(107s)_ST_.djvu | 948.22 KB | ||
| Syropoulos A., Tsolomitis A., Sofroniou N. Digital typography using LaTeX (Springer, 2003)(T)(527s).djvu | 3.44 MB | ||
| Talbot N. Latex for complete novices (2004)(145s)_ST_.pdf | 732.58 KB | ||
| TeX for scientific documentation (LNCS0236, Springer, 1988)(ISBN 3540168079)(T)(O)(210s)_ST_.djvu | 1.82 MB | ||
| TeX reference card (A4 paper)(2s).pdf | 135.06 KB | ||
| TeX, XML, and digital typography (LNCS3130, Springer, 2004)(ISBN 3540228012)(271s)_ST_.pdf | 5.28 MB | ||
| TeX82 program code documentation(400dpi)(T)(535s).djvu | 3.66 MB | ||
| Tinker M.A. Legibility of Print (Iowa State U. Press, 1963)(600dpi)(T)(338s)_ST_.djvu | 2.42 MB | ||
| Tracy W. Letters of Credit.. A View of Type Design (David R. Godine, 2003)(ISBN 9781567922400)(600dpi)(T)(222s)_ST_.djvu | 2.82 MB | ||
| Wilkins D.R. Gettings started with LaTeX (2ed., web draft, 1995)(46s)_ST_.pdf | 349.91 KB | ||
| van Dongen M.R.C. LaTeX and friends (Springer, 2012)(ISBN 9783642238154)(O)(324s)_ST_.pdf | 5.26 MB | ||
| full file list.txt | 178.02 KB |
oc: biare
A collection of books on computer science and programming. Total 1325 books, almost all in English (a couple German).
Topics :
Algorithms (436)
Bash (6)
Computer science (295)
Databases (19)
Formal methods (115)
Game programming (9)
Mobile devices (4)
Natural language (90)
Object-oriented development (2)
Programming languages (236)
SSH (2)
TeX (81)
The folder includes a file list with every book name + its publisher, release date, author and ISBN number if available.
All Comments