|
/Algorithms/
|
|
Abelson A., Sussman G.J. Structure and interpretation of computer programs (2ed., MIT, 1996)(ISBN 0262011530)(634s)_CsAl_.pdf
|
1.8 MB
|
|
Abramson H., Dahl V. Logic Grammars (Springer, 1989)(ISBN 0387969616)(600dpi)(T)(250s)_CsAl_.djvu
|
1.7 MB
|
|
Adamek J., Trnkova V. Automata and Algebras in Categories (Kluwer, 1990)(ISBN 0792300106)(K)(T)(489s)_CsAl_.djvu
|
3.3 MB
|
|
Advances in Computers, Vol.01 (AP, 1960)(ISBN 9780120121014)(T)(318s)_CsAl_.djvu
|
2.5 MB
|
|
Advances in Computers, Vol.02 (Elsevier, 1961)(ISBN 9780120121021)(T)(O)(449s)_CsAl_.djvu
|
4.4 MB
|
|
Advances in Computers, Vol.03 (Elsevier, 1962)(ISBN 9780120121038)(T)(O)(376s)_CsAl_.djvu
|
2.8 MB
|
|
Advances in Computers, Vol.04 (Elsevier, 1963)(ISBN 9780120121045)(T)(O)(327s)_CsAl_.djvu
|
2.9 MB
|
|
Advances in Computers, Vol.05 (AP, 1965)(ISBN 0120121050)(T)(415s)_CsAl_.djvu
|
3.1 MB
|
|
Advances in Computers, Vol.06 (Elsevier, 1965)(ISBN 9780120121069)(T)(O)(327s)_CsAl_.djvu
|
2.9 MB
|
|
Advances in Computers, Vol.07 (Elsevier, 1966)(ISBN 9780120121076)(T)(O)(321s)_CsAl_.djvu
|
2.4 MB
|
|
Advances in Computers, Vol.08 (Elsevier, 1967)(ISBN 9780120121083)(T)(O)(359s)_CsAl_.djvu
|
2.5 MB
|
|
Advances in Computers, Vol.09 (Elsevier, 1968)(ISBN 9780120121090)(T)(O)(381s)_CsAl_.djvu
|
3.8 MB
|
|
Advances in Computers, Vol.10 (AP, 1971)(ISBN 0120121107)(T)(335s)_CsAl_.djvu
|
2.9 MB
|
|
Advances in Computers, Vol.11 (Elsevier, 1971)(ISBN 9780120121113)(T)(O)(423s)_CsAl_.djvu
|
3.6 MB
|
|
Advances in Computers, Vol.12 (Elsevier, 1972)(ISBN 9780120121120)(T)(O)(449s)_CsAl_.djvu
|
4.1 MB
|
|
Advances in Computers, Vol.13 (Elsevier, 1975)(ISBN 9780120121137)(T)(O)(261s)_CsAl_.djvu
|
2.1 MB
|
|
Advances in Computers, Vol.14 (Elsevier, 1976)(ISBN 9780120121144)(T)(O)(301s)_CsAl_.djvu
|
2.4 MB
|
|
Advances in Computers, Vol.15 (Elsevier, 1976)(ISBN 9780120121151)(T)(O)(317s)_CsAl_.djvu
|
2.6 MB
|
|
Advances in Computers, Vol.16 (Elsevier, 1977)(ISBN 9780120121168)(T)(O)(373s)_CsAl_.djvu
|
2.8 MB
|
|
Advances in Computers, Vol.17 (Elsevier, 1978)(ISBN 9780120121175)(T)(O)(351s)_CsAl_.djvu
|
2.8 MB
|
|
Advances in Computers, Vol.18 (Elsevier, 1979)(ISBN 9780120121182)(T)(O)(323s)_CsAl_.djvu
|
2.5 MB
|
|
Advances in Computers, Vol.19 (Elsevier, 1980)(ISBN 9780120121199)(T)(O)(365s)_CsAl_.djvu
|
2.7 MB
|
|
Advances in Computers, Vol.20 (Elsevier, 1981)(ISBN 9780120121205)(T)(O)(297s)_CsAl_.djvu
|
2.0 MB
|
|
Advances in Computers, Vol.21 (AP, 1982)(ISBN 9780120121212)(T)(458s)_CsAl_.djvu
|
3.6 MB
|
|
Advances in Computers, Vol.22 (Elsevier, 1983)(ISBN 9780120121229)(T)(O)(395s)_CsAl_.djvu
|
2.7 MB
|
|
Advances in Computers, Vol.23 (Elsevier, 1984)(ISBN 9780120121236)(T)(O)(395s)_CsAl_.djvu
|
2.8 MB
|
|
Advances in Computers, Vol.24 (Elsevier, 1985)(ISBN 9780120121243)(T)(O)(415s)_CsAl_.djvu
|
3.1 MB
|
|
Advances in Computers, Vol.25 (AP, 1986)(ISBN 9780120121250)(T)(419s)_CsAl_.djvu
|
3.7 MB
|
|
Advances in Computers, Vol.26 (Elsevier, 1987)(ISBN 9780120121267)(T)(O)(489s)_CsAl_.djvu
|
3.3 MB
|
|
Advances in Computers, Vol.27 (Elsevier, 1988)(ISBN 9780120121274)(T)(O)(495s)_CsAl_.djvu
|
3.5 MB
|
|
Advances in Computers, Vol.28 (Elsevier, 1989)(ISBN 9780120121281)(T)(O)(315s)_CsAl_.djvu
|
2.3 MB
|
|
Advances in Computers, Vol.29 (Elsevier, 1989)(ISBN 9780120121298)(T)(373s)_CsAl_.djvu
|
2.8 MB
|
|
Advances in Computers, Vol.30 (Elsevier, 1990)(ISBN 9780120121304)(T)(O)(343s)_CsAl_.djvu
|
2.3 MB
|
|
Advances in Computers, Vol.31 (Elsevier, 1990)(ISBN 9780120121311)(T)(O)(417s)_CsAl_.djvu
|
3.2 MB
|
|
Advances in Computers, Vol.32 (Elsevier, 1991)(ISBN 9780120121328)(T)(343s)_CsAl_.djvu
|
2.5 MB
|
|
Advances in Computers, Vol.33 (Elsevier, 1991)(ISBN 9780120121335)(T)(O)(351s)_CsAl_.djvu
|
2.7 MB
|
|
Advances in Computers, Vol.34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu
|
3.3 MB
|
|
Advances in Computers, Vol.34 (Elsevier, 1992)(ISBN 9780120121342)(T)(O)(433s)_CsAl_.djvu
|
3.5 MB
|
|
Advances in Computers, Vol.35 (Elsevier, 1992)(ISBN 9780120121359)(T)(O)(415s)_CsAl_.djvu
|
3.1 MB
|
|
Advances in Computers, Vol.36 (Elsevier, 1993)(ISBN 9780120121366)(T)(O)(479s)_CsAl_.djvu
|
3.4 MB
|
|
Advances in Computers, Vol.37 (Elsevier, 1993)(ISBN 9780120121373)(T)(O)(469s)_CsAl_.djvu
|
3.7 MB
|
|
Advances in Computers, Vol.38 (Elsevier, 1994)(ISBN 9780120121380)(T)(O)(361s)_CsAl_.djvu
|
2.4 MB
|
|
Advances in Computers, Vol.39 (AP, 1994)(ISBN 0120121395)(T)(337s)_CsAl_.djvu
|
2.6 MB
|
|
Advances in Computers, Vol.40 (Elsevier, 1995)(ISBN 9780120121403)(T)(O)(300s)_CsAl_.djvu
|
2.5 MB
|
|
Advances in Computers, Vol.41 (Elsevier, 1995)(ISBN 9780120121410)(T)(O)(343s)_CsAl_.djvu
|
2.7 MB
|
|
Advances in Computers, Vol.42 (AP, 1996)(ISBN 9780120121427)(T)(287s)_CsAl_.djvu
|
2.1 MB
|
|
Advances in Computers, Vol.43 (Elsevier, 1996)(ISBN 9780120121434)(T)(O)(325s)_CsAl_.djvu
|
2.4 MB
|
|
Advances in Computers, Vol.44 (Elsevier, 1997)(ISBN 9780120121441)(T)(O)(417s)_CsAl_.djvu
|
3.0 MB
|
|
Advances in Computers, Vol.45, Emphasizing Parallel Programming Techniques (Elsevier, 1997)(ISBN 9780120121458)(T)(O)(403s)_CsAl_.djvu
|
3.3 MB
|
|
Advances in Computers, Vol.46, The Engineering of Large Systems (Elsevier, 1998)(ISBN 9780120121465)(T)(484s)_CsAl_.djvu
|
3.9 MB
|
|
Advances in Computers, Vol.47 (Elsevier, 1998)(ISBN 9780120121472)(T)(O)(415s)_CsAl_.djvu
|
4.1 MB
|
|
Advances in Computers, Vol.48, Distributed Information Resources (Elsevier, 1999)(ISBN 9780120121489)(T)(O)(401s)_CsAl_.djvu
|
3.7 MB
|
|
Advances in Computers, Vol.49 (AP, 1999)(ISBN 0120121492)(T)(401s)_CsAl_.djvu
|
3.2 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
|
3.0 MB
|
|
Advances in Computers, Vol.51, Index, Part II (Elsevier, 2000)(ISBN 9780120121519)(T)(O)(393s)_CsAl_.djvu
|
3.0 MB
|
|
Advances in Computers, Vol.52, 40th Anniversary Volume, Advancing Into the 21st Century (Elsevier, 2000)(ISBN 9780120121526)(T)(O)(425s)_CsAl_.djvu
|
3.1 MB
|
|
Advances in Computers, Vol.53, Emphasizing Distributed Systems (Elsevier, 2000)(ISBN 9780120121533)(T)(O)(553s)_CsAl_.djvu
|
4.0 MB
|
|
Advances in Computers, Vol.54, Trends in Software Engineering (Elsevier, 2001)(ISBN 9780120121540)(T)(O)(309s)_CsAl_.djvu
|
2.2 MB
|
|
Advances in Computers, Vol.55 (Elsevier, 2001)(ISBN 9780120121557)(T)(O)(329s)_CsAl_.djvu
|
2.6 MB
|
|
Advances in Computers, Vol.56 (Elsevier, 2002)(ISBN 9780120121564)(T)(O)(417s)_CsAl_.djvu
|
3.1 MB
|
|
Advances in Computers, Vol.57, Information Repositories(Elsevier, 2003)(ISBN 9780120121571)(T)(O)(422s)_CsAl_.djvu
|
2.6 MB
|
|
Advances in Computers, Vol.58.. Highly Dependable Software (AP, 2003)(ISBN 9780120121588)(O)(373s)_CsAl_.pdf
|
3.4 MB
|
|
Advances in Computers, Vol.59 (AP, 2003)(ISBN 9780120121595)(O)(308s)_CsAl_.pdf
|
3.6 MB
|
|
Advances in Computers, Vol.60 (Elsevier, 2004)(ISBN 9780120121601)(337s)_CsAl_.pdf
|
2.6 MB
|
|
Advances in Computers, Vol.61 (Elsevier, 2004)(ISBN 9780120121618)(364s)_CsAl_.pdf
|
6.0 MB
|
|
Advances in Computers, Vol.62, Advances in Software Engineering (Elsevier, 2004)(ISBN 9780120121625)(O)(368s)_CsAl_.pdf
|
2.9 MB
|
|
Advances in Computers, Vol.63, Parallel, Distributed, and Pervasive Computing (Elsevier, 2005)(ISBN 9780120121632)(O)(312s)_CsAl_.pdf
|
3.2 MB
|
|
Advances in Computers, Vol.64, New Programming Paradigms (Elsevier, 2005)(ISBN 9780120121649)(377s)_CsAl_.pdf
|
2.4 MB
|
|
Advances in Computers, Vol.65 (Elsevier, 2005)(ISBN 9780120121656)(447s)_CsAl_.pdf
|
3.4 MB
|
|
Advances in Computers, Vol.66, Quality Software Development (Elsevier, 2006)(ISBN 9780120121663)(345s)_CsAl_.pdf
|
2.3 MB
|
|
Advances in Computers, Vol.67, Web Technology (Elsevier, 2006)(ISBN 9780120121670)(347s)_CsAl_.pdf
|
2.9 MB
|
|
Advances in Computers, Vol.68, Computational Biology and Bioinformatics (Elsevier, 2006)(ISBN 9780120121687)(O)(335s)_CsAl_.pdf
|
4.3 MB
|
|
Advances in Computers, Vol.69, Architectural Issues (Elsevier, 2007)(ISBN 9780123737458)(O)(343s)_CsAl_.pdf
|
6.6 MB
|
|
Advances in Computers, Vol.70 (Elsevier, 2007)(ISBN 9780123737472)(O)(359s)_CsAl_.pdf
|
5.5 MB
|
|
Advances in Computers, Vol.71, Nanotechnology (Elsevier, 2007)(ISBN 9780123737465)(O)(351s)_CsAl_.pdf
|
6.2 MB
|
|
Advances in Computers, Vol.72, High performance computing (AP, 2008)(ISBN 0123744113)(369s)_CsAl_.pdf
|
2.1 MB
|
|
Advances in Computers, Vol.73, Emerging Technologies (Elsevier, 2008)(ISBN 9780123744258)(307s)_CsAl_.pdf
|
2.9 MB
|
|
Advances in Computers, Vol.74, Software Development (Elsevier, 2008)(ISBN 9780123744265)(O)(320s)_CsAl_.pdf
|
4.7 MB
|
|
Advances in Computers, Vol.75, Computer performance issues (AP, 2009)(ISBN 9780123748102)(O)(351s)_CsAl_.pdf
|
3.7 MB
|
|
Advances in Computers, Vol.76, Social networking and the web (AP, 2009)(ISBN 9780123748119)(O)(356s)_CsAl_.pdf
|
3.6 MB
|
|
Advances in Computers, Vol.77 (AP, 2009)(ISBN 9780123748126)(O)(356s)_CsAl_.pdf
|
4.7 MB
|
|
Advances in Computers, Vol.78.. Improving the Web (AP, 2010)(ISBN 9780123810199)(O)(354s)_CsAl_.pdf
|
3.5 MB
|
|
Advances in Computers, Vol.79 (AP, 2010)(ISBN 0123810272)(O)(336s)_CsAl_.pdf
|
2.7 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.4 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
|
6.0 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.3 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.5 MB
|
|
Aho, Sethi, Ullman. Compilers.. principles, techniques, and tools (AW, 1986)(100dpi)(T)(811s)_S_.djvu
|
18.2 MB
|
|
Aizerman M.A., et al. Logic, automata, and algorithms (AP, 1971)(ISBN 0120463504)(T)(O)(444s)_CsAl_.djvu
|
3.5 MB
|
|
Akl S.G. The design and analysis of parallel algorithms (PH, 1989)(ISBN 0132000563)(T)(415s)_CsAl_.djvu
|
3.1 MB
|
|
Al-Jaber Ah. Combinatorial properties of heapsort (Dissertation, 1985)(T)(75s)_CsAl_.djvu
|
480.0 KB
|
|
Alagic S., Arbib M.A. The design of well-structured and correct programs (Springer, 1978)(ISBN 0387902996)(600dpi)(T)(301s)_CsAl_.djvu
|
2.5 MB
|
|
Andre F., Herman D., Verjus J.P. Synchronization of parallel programs (North Oxford Academic, 1985)(ISBN 9780946536207)(600dpi)(T)(122s)_CsAl_.djvu
|
1.1 MB
|
|
Angelides M., Agius H. (eds.) The handbook of MPEG applications.. Standards in practice (Wiley, 2011)(ISBN 0470750073)(O)(551s)_CsAl_.pdf
|
4.2 MB
|
|
Appel A.W. Modern compiler implementation in ML (corrected printing, CUP, 1999)(ISBN 0521607647)(600dpi)(T)(550s)_CsAl_.djvu
|
5.5 MB
|
|
Apt K., Gradel E. (ed.) Lectures in game theory for computer scientists (CUP, 2011)(ISBN 0521198666)(O)(309s)_CsAl_.pdf
|
1.6 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.7 MB
|
|
Arndt J. Algorithms for programmers.. ideas and source code (web draft, 19.01.2008)(938s)_CsAl_.pdf
|
2.9 MB
|
|
Arndt J. Matters Computational.. Ideas, Algorithms, Source Code (Springer, 2010)(ISBN 3642147631)(O)(981s)_CsAl_.pdf
|
3.8 MB
|
|
Arndt J. Matters computational (algorithms for programmers)(free web version, 2010)(O)(978s)_CsAl_.pdf
|
3.3 MB
|
|
Asano T. (ed.) Proceedings ISAAC 2006, Kolkata, India (LNCS4288, Springer, 2007)(ISBN 3540496947)(782s)_CsAl_.pdf
|
7.8 MB
|
|
Astfalk G. (ed.) Applications on advanced architecture computers (SIAM, 1996)(ISBN 0898713684)(T)(O)(378s)_CsAl_.djvu
|
3.1 MB
|
|
Astola J., Stankovic R. Fundamentals of switching theory and logic design (Springer, 2006)(ISBN 0387285938)(351s)_CsAl_.pdf
|
3.5 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
|
6.2 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
|
7.2 MB
|
|
Atallah M.J. (ed.) Algorithms and theory of computation handbook (CRC, 1999)(T)(ISBN 0849326494)(1265s).djvu
|
11.6 MB
|
|
Attiya H., Welch J. Distributed Computing.. Fundamentals, Simulations, and Advanced Topics (Wiley, 2004)(ISBN 0471453242)(T)(416s).djvu
|
4.2 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.9 MB
|
|
Baader F., Nipkow T. Term rewriting and all that (CUP, 1998)(ISBN 0521455200)(600dpi)(T)(315s)_CsAl_.djvu
|
2.5 MB
|
|
Bach M.J. The design of the Unix operating system(T)(C)(486s).djvu
|
6.1 MB
|
|
Barron D. Recursive Techniques in Programming (Elsevier, 1968)(ISBN 9780444199867)(T)(71s)_CsAl_.djvu
|
623.6 KB
|
|
Barron D. Recursive Techniques in Programming (Macdonald, 1968)(ISBN 9780356022017)(600dpi)(T)(70s)_CsAl_.djvu
|
536.7 KB
|
|
Bauer F.L., De Remer F.L., et al. Compiler Construction (LNCS0021, Springer, 1974)(ISBN 3540069585)(T)(O)(636s)_CsAl_.djvu
|
4.1 MB
|
|
Beckman F. Mathematical foundations of programming (AW, 1980)(ISBN 020114462X)(600dpi)(T)(O)(460s)_CsAl_.djvu
|
5.0 MB
|
|
Bednorz W. Advances in greedy algorithms (In-Teh, 2008)(ISBN 9537619273)(600dpi)(T)(O)(596s)_CsAl_.djvu
|
8.4 MB
|
|
Bentley J. More programming pearls (Addison-Wesley, 1988)(T)(ISBN 0201118890)(204s)_CsAl_.djvu
|
1.6 MB
|
|
Bentley J. Programming pearls (Addison-Wesley, 1986)(T)(ISBN 0201103311)(195s)_CsAl_.djvu
|
1.8 MB
|
|
Bentley J. Writing efficient programs (PH Inc, 2000)(T)(ISBN 0139702512)(183s)_CsAl_.djvu
|
1.4 MB
|
|
Benvenuto N., Cherubini G. Algorithms for Communications Systems and Their Applications (Wiley,2002)(ISBN 0470843896)(T)(1305s)_CsAl_.djvu
|
8.6 MB
|
|
Berard B., Bidoit M., Finkel A., et al. (eds.) Systems and software verification (Springer, 2001)(ISBN 3540415238)(T)(204s)_CsAl_.djvu
|
2.3 MB
|
|
Berlekamp E., Wolfe D. Mathematical Go.. Chilling gets the last point (1994)(ISBN 1568810326)(KA)(T)(247s)_CsAl_.djvu
|
2.1 MB
|
|
Berry M.W., Browne M. Understanding search engines (SIAM, 2005)(ISBN 0898715814)(T)(O)(136s)_CsAl_.djvu
|
847.2 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.6 MB
|
|
Beveridge J., Wiener R. Multithreading Applications in Win32.. The Complete Guide to Threads (program disk only)(AW, 1996)(ISBN 9780201442342)_CsAl_.rar
|
7.0 MB
|
|
Binstock A., Rex J. Practical algorithms for programmers (AW, 1995)(ISBN 020163208X)(600dpi)(T)(585s)_CsAl_.djvu
|
3.9 MB
|
|
Bird R. Pearls of Functional Algorithm Design (CUP, 2010)(ISBN 0521513383)(O)(291s)_CsAl_.pdf
|
1.1 MB
|
|
Bird R., Wadler P. Einfuehrung in die funktionale Programmierung (Hanser, 1992)(ISBN 3446170014)(de)(KA)(600dpi)(T)(300s)_CsAl_.djvu
|
2.4 MB
|
|
Bird R., Wadler P. Introduction to Functional Programming (PH, 1992)(ISBN 9780134841977)(600dpi)(T)(310s)_CsAl_.djvu
|
1.9 MB
|
|
Birman A. The TMG recognition schema (phd thesis, Princeton, 1970)(KA)(600dpi)(T)(98s)_CsAl_.djvu
|
1.5 MB
|
|
Blelloch G. Vector models for data-parallel computing (MIT, 1990)(ISBN 026202313X)(O)(268s)_CsAl_.pdf
|
1.2 MB
|
|
Boginski V.L., et al. (eds.) Sensors. Theory, algorithms, and applications (Springer, 2011)(ISBN 9780387886183)(O)(253s)_CsAl_.pdf
|
7.0 MB
|
|
Boissonnat J.D., Yvinec M. Algorithmic geometry (CUP, 1998)(ISBN 0521565294)(T)(O)(543s)_CsAl_.djvu
|
4.2 MB
|
|
Boissonnat J.D., Yvinet M. Algorithmic Geometry (CUP, 1998)(L)(T)(272s).djvu
|
3.3 MB
|
|
Booch G., et al. Object-oriented analysis and design with applications(3ed, AW, 2007)(ISBN 020189551X)(717s)_CsAl_.pdf
|
8.2 MB
|
|
Bornat R. Programming from First Principles (Pearson, 1986)(ISBN 9780137291045)(600dpi)(T)(555s)_CsAl_.djvu
|
4.1 MB
|
|
Brandes U., Erlebach T. (eds.) Network analysis. Methodological foundations (LNCS3418, Springer, 2005)(482s)_CsAl_.pdf
|
4.1 MB
|
|
Brass P. Advanced Data Structures (CUP,2008)(ISBN 9780521880374)(474s)_CsAl_.pdf
|
1.8 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.7 MB
|
|
Brown P.J. Writing Interactive Compilers and Interpreters (Wiley, 1979)(ISBN 9780471276098)(600dpi)(T)(282s)_CsAl_.djvu
|
1.8 MB
|
|
Brucker P. Scheduling Algorithms (5ed., Springer, 2007)(379s)_CsAl_.pdf
|
1.9 MB
|
|
Buchberger B., et al. Hagenberg research (Springer, 2009)(ISBN 3642021263)(490s)_CsAl_.pdf
|
11.3 MB
|
|
Budd T. An APL Compiler (Springer, 1987)(ISBN 9780387966434)(600dpi)(T)(167s)_CsAl_.djvu
|
881.8 KB
|
|
Bunt H., Carroll J., Satta G. (eds.) New Developments in Parsing Technology (Springer, 2004)(ISBN 140202293X)(400dpi)(T)(407s)_CsAl_.djvu
|
3.3 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.9 MB
|
|
Bunt H., Tomita M. (eds.) Recent advances in parsing technology (Kluwer, 1996)(ISBN 079234152X)(600dpi)(T)(433s)_CsAl_.djvu
|
3.5 MB
|
|
Burge W.H. Recursive Programming Techniques (AW, 1975)(ISBN 9780201144505)(T)(290s)_CsAl_.djvu
|
1.9 MB
|
|
Calingaert P. Assemblers, compilers, and program translation (Computer Science, 1979)(ISBN 9780914894230)(600dpi)(T)(283s)_CsAl_.djvu
|
2.2 MB
|
|
Catthoor F., et al. Data access and storage management for embedded programmable processors (Kluwer, 2002)(T)(ISBN 0792376897)(314s)_CsAl_.djvu
|
5.0 MB
|
|
Chandra R., et al. Parallel Programming in OpenMP (Elsevier, 2001)(ISBN 9781558606715)(O)(249s)_CsAl_.pdf
|
1.7 MB
|
|
Chapman N.P. LR Parsing.. Theory and Practice (CUP, 1988)(ISBN 052130413X)(600dpi)(T)(236s)_CsAl_.djvu
|
1.9 MB
|
|
Chikalov I. Average time complexity of decision trees (Springer, 2011)(ISBN 3642226604)(O)(114s)_CsAl_.pdf
|
879.4 KB
|
|
Chu. Speech Coding Algorithms.. Foundation and Evolution of Standardized Coders (Wiley,2003)(ISBN 0471373125)(578s).pdf
|
3.6 MB
|
|
Coffman E.G., Lueker G. Probabilistic analysis of packing partitioning algorithms (Wiley, 1991)(T)(ISBN 047153272X)(202s)_CsAl_.djvu
|
1.7 MB
|
|
Cohen A.M., et al. (eds.) International Congress on Mathematical Software (WS, 2002)(ISBN 9812380485)(T)(O)(529s)_CsAl_.djvu
|
4.1 MB
|
|
Cooper R.B. Introduction to Queueing Theory (NH, 1981)(T)(C)(361s).djvu
|
4.9 MB
|
|
Cormen T.H., Lee C., Lin E. Instructor's manual for Introduction to algorithms, 2ed. (MIT, 2002)(429s)_CsAl_.pdf
|
1.5 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.6 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
|
17.1 MB
|
|
Cormen T.H., et al. Introduction to algorithms (2ed., MIT, 2001)(ISBN 0070131511)(1202s)_CsAl_.pdf
|
6.1 MB
|
|
Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(600dpi)(T)(ISBN 0070131511)(984s)_CsAl_.djvu
|
11.6 MB
|
|
Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(ISBN 0070131511)(984s)_CsAl_.pdf
|
11.9 MB
|
|
Cousineau G., Mauny M. The Functional Approach to Programming (CUP, 1998)(ISBN 0521571839)(600dpi)(T)(447s)_CsAl_.djvu
|
7.1 MB
|
|
Cousineau G., Mauny M. The functional approach to programming (CUP, 1998)(ISBN 0521576814)(KA)(T)(447s)_CsAl_.djvu
|
3.4 MB
|
|
Critchlow C., Eck D. Foundations of computation (web draft, 2010)(256s)_CsAl_.pdf
|
1.9 MB
|
|
Crochemore M., Hancart C., Lecroq T. Algorithms on strings (CUP, 2007)(ISBN 9780521848992)(O)(393s)_CsAl_.pdf
|
1.8 MB
|
|
Crochemore M., Rytter W. Jewels of stringology (WS, 2002)(T)(ISBN 9810247826)(309s)_CsAl_.djvu
|
2.7 MB
|
|
Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(396s)_CsAl_.pdf
|
2.1 MB
|
|
Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(600dpi)(T)(427s)_CsAl_.djvu
|
9.4 MB
|
|
Cui Yu. High-dimensional indexing.. Transformational approaches to high-dimensional range and similarity searches (LNCS2341, Springer, 2002)(ISBN 3540441999)(159s)_CsAl_.pdf
|
1.2 MB
|
|
Dahl O.-J., Dijkstra E.W., Hoare C.A.R. Structured Programming (AP, 1972)(ISBN 0122005503)(K)(T)(226s)_CsAl_.djvu
|
1.9 MB
|
|
Dehmer M., Emmert-Streib F. (eds.) Analysis of Complex Networks.. From Biology to Linguistics (Wiley, 2009)(ISBN 3527323457)(O)(482s)_CsAl_.pdf
|
4.0 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.8 MB
|
|
Demoen B., et al. The first 10 Prolog programming contests (2005)(ISBN 9789090197821)(161s)_CsAl_.pdf
|
542.4 KB
|
|
Diaz J., et al. Paradigms for fast parallel approximability (CUP, 1997)(ISBN 0521431700)(T)(O)(167s)_CsAl_.djvu
|
1.0 MB
|
|
Diekert V. Combinatorics on traces (LNCS0454, Springer, 1990)(ISBN 3540530312)(T)(O)(169s)_CsAl_.djvu
|
1.3 MB
|
|
Doerr H. Efficient graph rewriting and its implementation (LNCS0922, Springer, 1995)(ISBN 3540600558)(T)(269s)_CsAl_.djvu
|
2.2 MB
|
|
Dolev S. Self-Stabilization (MIT Press, 2000)(K)(T)(ISBN 0262041782)(206s)_CsAl_.djvu
|
1.3 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
|
495.7 KB
|
|
Dromey R.G. How to Solve it By Computer (PH, 1982)(ISBN 0134339959)(600dpi)(T)(O)(463s)_CsAl_.djvu
|
3.1 MB
|
|
Drozdek A. Data Structures and Algorithms in C++ (2ed., Brooks-Cole, 2001)(ISBN 0534375979)(T)(C)(O)(665s)_CsAl_.djvu
|
5.8 MB
|
|
Du D., Hu X. Steiner tree problems in computer communication networks (WS, 2008)(ISBN 9812791442)(373s)_CsAl_.pdf
|
2.3 MB
|
|
Dumas J.-G. Algorithmes paralleles pour le calcul formel.. algebre lineaire creuse et extensions algebriques (fr)(Grenoble these, 2000)(242s)_CsAl_.pdf
|
1.4 MB
|
|
Edmonds J. How to think about algorithms (CUP, 2008)(ISBN 0521849314)(464s)_CsAl_.pdf
|
5.0 MB
|
|
Ehrig, Prange, Taentzer. Fundamentals of algebraic graph transformation (Springer, 2006)(ISBN 3540311874)(373s)_CsAl_.pdf
|
3.3 MB
|
|
Eijkhout V. The computer science of TeX and LaTeX (web draft, lecture notes, 2004)(206s)_CsAl_.pdf
|
1.5 MB
|
|
Erickson J. Algorithms (web draft, 2011)(O)(809s)_CsAl_.pdf
|
17.1 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.8 MB
|
|
Esparza J., Michaux C., Steinhorn C. (eds.) Finite and algorithmic model theory (CUP, 2011)(ISBN 0521718201)(O)(355s)_CsAl_.pdf
|
1.6 MB
|
|
Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 0914894218)(T)(600dpi)(258s)_CsAl_.djvu
|
2.1 MB
|
|
Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 9780914894216)(600dpi)(T)(258s)_CsAl_.djvu
|
2.1 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.3 MB
|
|
Fiore S., Aloisio G. (eds.) Grid and cloud database management (Springer, 2011)(ISBN 3642200443)(O)(364s)_CsAl_.pdf
|
4.6 MB
|
|
Fleischer R., Trippen G. (eds.) Proc. ISAAC 2004, Algorithms and Computation (Springer, 2005)(ISBN 3540241310)(600dpi)(T)(C)(O)(957s)_CsAl_.djvu
|
11.2 MB
|
|
Flum, Gradel, Wilke. (eds.) Logic and automata.. History and perspectives (U.Amsterdam, 2008)(ISBN 9053565760)(737s)_CsAl_.pdf
|
4.5 MB
|
|
Flynt J., Kodicek D. Mathematics and physics for programmers (2ed., Course Technology, 2012)(ISBN 9781435457331)(O)(688s)_CsAl_.pdf
|
5.9 MB
|
|
Fokker J. Functional programming (1995)(155s).pdf
|
736.4 KB
|
|
Fomin F.V., Kratsch D. Exact exponential algorithms (Springer, 2010)(ISBN 364216532X)(O)(218s)_CsAl_.pdf
|
3.3 MB
|
|
Forbellone A.L.V., Eberspaecher H.F. Logica de programacao (3ed., Pearson, 2005)(pt)(ISBN 8576050242)(600dpi)(T)(225s)_CsAl_.djvu
|
5.9 MB
|
|
Foster I. Systems Programming in Parallel Logic Languages (PH, 1990)(ISBN 9780138807740)(600dpi)(T)(209s)_CsAl_.djvu
|
1.7 MB
|
|
Fowler, et al. Refactoring - Improving the Design of Existing Code(337s)_CsAl_.pdf
|
2.0 MB
|
|
Friedl J.E.F. Regulaere Ausdruecke (2ed., O'Reilly, 2008)(de)(ISBN 3897217201)(T)(554s)_CsAl_.djvu
|
4.0 MB
|
|
Furht B., Escalante A. (eds.) Handbook of cloud computing (Springer, 2010)(ISBN 1441965238)(O)(655s)_CsAl_.pdf
|
9.9 MB
|
|
Gabizon A. Deterministic extraction from weak random sources (Springer, 2011)(ISBN 3642149022)(O)(161s)_CsAl_.pdf
|
1.3 MB
|
|
Gacs P., Lovasz L. Complexity of algorithms (lecture notes, 1999)(200dpi)(T)(180s).djvu
|
1.1 MB
|
|
Gajski D.D., Abdi S., Gerstlauer A., Schirner G. Embedded System Design (Springer, 2009)(ISBN 1441905030)(O)(366s)_CsAl_.pdf
|
4.0 MB
|
|
Gendreau M., Potvin J.Y. (eds.) Handbook of metaheuristics (2ed., Springer, 2010)(ISBN 1441916636)(O)(669s)_CsAl_.pdf
|
5.8 MB
|
|
Gimpel J.F. Algorithms in SNOBOL4 (Wiley, 1976)(ISBN 0471302139)(600dpi)(T)(504s)_CsAl_.djvu
|
5.3 MB
|
|
Goddard W. Introduction to algorithms (web draft, 2004)(O)(70s).pdf
|
486.6 KB
|
|
Goldberg L. Efficient algorithms for listing combinatorial structures (CUP, 1993)(ISBN 0521450217)(T)(O)(177s)_CsAl_.djvu
|
1.1 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.8 MB
|
|
Gordon A.D. Functional Programming and Input-Output (CUP, 2008)(ISBN 9780521070072)(169s)_CsAl_.pdf
|
1.2 MB
|
|
Gove D. Multicore Application Programming.. for Windows, Linux, and Oracle Solaris (AW, 2010)(ISBN 0321711378)(O)(463s).pdf
|
2.7 MB
|
|
Gramss T., S.Bornholdt, M.Gross, M.Mitchell, T.Pellizzari. Non-standard Computation (Wiley-VCH,1998)(ISBN 3527294279)(T)(234s)_CsAl_.djvu
|
2.5 MB
|
|
Greco F. (ed.) Traveling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(212s)_CsAl_.djvu
|
1.9 MB
|
|
Greco F. (ed.) Travelling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(210s)_CsAl_.djvu
|
1.9 MB
|
|
Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (2ed., Burkhauser, 1982)(T)(ISBN 376433102X)(123s)_CsAl_.djvu
|
876.6 KB
|
|
Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (3ed., Burkhauser, 1990)(T)(ISBN 0817635157)(139s)_CsAl_.djvu
|
854.7 KB
|
|
Greenlaw R., Hoover H.J., Ruzzo W. Limits to parallel computation. P-completeness theory (OUP, 1995)(ISBN 0195085914)(O)(328s)_CsAl_.pdf
|
1.1 MB
|
|
Gries D. Compiler Construction for Digital Computers (Wiley, 1971)(ISBN 9780471327769)(600dpi)(T)(508s)_CsAl_.djvu
|
4.8 MB
|
|
Griswold R.E. String and list processing in SNOBOL4 (PH, 1975)(ISBN 0138530106)(600dpi)(T)(305s)_CsAl_.djvu
|
2.2 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
|
5.2 MB
|
|
Grune D., Jacobs C.J. Parsing techniques.. a practical guide (2ed., Springer, 2007)(ISBN 9780387689548)(O)(677s)_CsAl_.pdf
|
2.4 MB
|
|
Grune D., Jacobs C.J.H. Parsing Techniques.. A Practical Guide (Ellis Horwood, 1991)(ISBN 9780136514312)(318s)_CsAl_.pdf
|
1.2 MB
|
|
Gusfield D. Algorithms on strings, trees and sequences (CUP, 1997)(ISBN 0521585198)(KA)(T)(325s)_CsAl_.djvu
|
2.8 MB
|
|
Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(600dpi)(T)(329s)_CsAl_.djvu
|
2.8 MB
|
|
Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(KA)(T)(329s)_CsAl_.djvu
|
1.6 MB
|
|
Harris S., Ross J. Beginning algorithms (Wiley, 2006)(ISBN 9780764596742)(591s)_CsAl_.pdf
|
3.6 MB
|
|
Hartmanis J. Feasible Computations and Provable Complexity Properties (SIAM, 1987)(ISBN 9780898710274)(T)(73s)_CsAl_.djvu
|
435.3 KB
|
|
Hein J.L. Prolog experiments in discrete mathematics, logic, and computability (Portland State U., 2005)(160s)_CsAl_.pdf
|
712.1 KB
|
|
Henderson P. Functional Programming Application and Implementation (PH, 1980)(ISBN 0133315797)(600dpi)(T)(O)(366s)_CsAl_.djvu
|
2.9 MB
|
|
Hochbaum D. (ed.) Approximation algorithms for NP-hard problems (PWS, 1997)(ISBN 0534949681)(600dpi)(K)(T)(618s)_CsAl_.djvu
|
9.1 MB
|
|
Hockey S. Snobol programming for the humanities (Clarendon Press, 1985)(ISBN 0198246765)(600dpi)(T)(189s)_CsAl_.djvu
|
1.1 MB
|
|
Hoffmann S., Lienhart R. Open MP.. Eine Einfuehrung in die parallele Programmierung mit C, C++ (Springer, 2008)(ISBN 3540731229)(de)(164s)_CsAl_.pdf
|
570.3 KB
|
|
Holmes J. Object-Oriented Compiler Construction (PH, 1994)(ISBN 9780136307402)(600dpi)(T)(494s)_CsAl_.djvu
|
3.7 MB
|
|
Holub A. Compiler Design in C (PH, 1990)(ISBN 9780131550452)(600dpi)(T)(984s)_CsAl_.djvu
|
9.2 MB
|
|
Hopgood F.R.A. Compiling techniques (MacDonald, 1974)(ISBN 0444197699)(600dpi)(T)(135s)_CsAl_.djvu
|
1.4 MB
|
|
Hromkovic J. Algorithmics for Hard Problems (2ed., Springer, 2002)(ISBN 3540441344)(T)(549s)_CsAl_.djvu
|
4.3 MB
|
|
Hromkovic J. Algorithmics for hard computing problems (no p.14-15)(Springer, 2001)(ISBN 3540668608)(400dpi)(T)(502s)_CsAl_.djvu
|
3.9 MB
|
|
Hromkovic J. Communication Complexity and Parallel Computing (Springer, 1997)(ISBN 9783540574590)(600dpi)(T)(352s)_CsAl_.djvu
|
4.2 MB
|
|
Hromkovic J. Design and analysis of randomized algorithms (Springer, 2005)(ISBN 3540239499)(279s)_CsAl_.pdf
|
1.7 MB
|
|
Hromkovic J. Theoretical computer science (no References)(Springer, 2007)(ISBN 3540140158)(K)(T)(318s)_CsAl_.djvu
|
6.2 MB
|
|
Hromkovic J. Theoretical computer science (no p.307-308)(Springer, 2007)(ISBN 9783540140153)(600dpi)(T)(321s)_CsAl_.djvu
|
5.9 MB
|
|
Hunter R. The Design and Construction of Compilers (Wiley, 1982)(ISBN 9780471280545)(600dpi)(T)(283s)_CsAl_.djvu
|
2.0 MB
|
|
Hyslop G.A. Bucketing algorithms for sorting selection and computational geometry (Dissertation, 1993)(T)(102s)_CsAl_.djvu
|
1.4 MB
|
|
Ingerman P.Z. A syntax-oriented translator (AP, 1966)(ASIN B0000CN7CS)(600dpi)(T)(140s)_CsAl_.djvu
|
1.1 MB
|
|
Ito M., Paun G., Yu S. (eds.) Words, semigroups, transductions (WS, 2001)(ISBN 9810247397)(T)(O)(455s)_CsAl_.djvu
|
2.9 MB
|
|
Ivanyi A. (ed.) Algorithms of informatics, Vol.1.. Foundations (Kiado, 2007)(ISBN 9638759607)(579s)_CsAl_.pdf
|
3.9 MB
|
|
Ivanyi A. (ed.) Algorithms of informatics, Vol.2.. Applications (Kiado, 2007)(ISBN 9638759623)(573s)_CsAl_.pdf
|
5.0 MB
|
|
Jeuring J., Swierstra D. Grammars and parsing (web draft, 2001)(275s)_CsAl_.pdf
|
882.7 KB
|
|
Jungnickel D. Graphs, Networks and Algorithms (2ed., Springer, 2005)(ISBN 3540219056)(615s)_CsAl_.pdf
|
3.4 MB
|
|
Jungnickel D. Graphs, Networks and Algorithms (3ed., Springer, 2007)(ISBN 3540727795)(655s)_CsAl_.pdf
|
3.6 MB
|
|
Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387301623)(1219s)_CsAl_.pdf
|
11.4 MB
|
|
Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387307702)(1199s)_CsAl_.pdf
|
11.6 MB
|
|
Kastens U., Hutt B., Zimmermann E. GAG.. a practical compiler generator (LNCS0141, Springer, 1982)(ISBN 3540115919)(T)(156s)_CsAl_.djvu
|
815.8 KB
|
|
Kelly M.V. (ed.) Proc. 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s)_CsAl_.djvu
|
32.7 MB
|
|
Kemp T. Fundamentals of the average case analysis of particular algorithms (Wiley, 1984)(T)(ISBN 0471903221)(239s)_CsAl_.djvu
|
2.0 MB
|
|
Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(600dpi)(T)(375s)_CsAl_.djvu
|
2.9 MB
|
|
Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(source code).rar
|
46.3 KB
|
|
Kernighan B.W., Plauger P.J. The elements of programming style (2ed., MGH, 1978)(ISBN 0070342075)(600dpi)(T)(181s)_CsAl_.djvu
|
1.2 MB
|
|
Khuller S. Advanced algorithms (lecture notes, web draft, 1994)(pages ordered backwards)(112s)_CsAl_.ps.gz
|
224.9 KB
|
|
Khuller S. Design and analysis of algorithms (draft, 2003)(O)(161s)_CsAl_.pdf
|
1.1 MB
|
|
Knuth D. The art of computer programming, vol. 1 (AW, 1ed, 1968)(T)(761s).djvu
|
7.6 MB
|
|
Knuth D. The art of computer programming, vol. 2 (2ed., AW, 1981)(T)(ISBN 0201038226)(704s).djvu
|
9.2 MB
|
|
Knuth D.E. Selected papers on the analysis of algorithms (Stanford, 2000)(ISBN 1575862115)(T)(O)(635s)_CsAl_.djvu
|
4.5 MB
|
|
Knuth D.E. The art of computer programming 4A Combinatorial algorithms, Part 1 (AW, 2011)(ISBN 0201038048)(901s)_CsAl_.pdf
|
7.5 MB
|
|
Knuth D.E. The art of computer programming I (AW, 1997)(T)(ISBN 0201896834)(665s)_CsAl_.djvu
|
6.3 MB
|
|
Knuth D.E. The art of computer programming II (AW, 1997)(T)(ISBN 0201896834)(774s)_CsAl_.djvu
|
8.0 MB
|
|
Knuth D.E. The art of computer programming III (AW, 1997)(T)(ISBN 0201038099)(791s)_CsAl_.djvu
|
8.1 MB
|
|
Kodicek D. Mathematics and Physics for Programmers (Charles River Media, 2005)(ISBN 1584503300)(O)(641s)_CsAl_.pdf
|
4.4 MB
|
|
Kordic V. Petri Net. Theory and applications (I-Tech, 2008)(ISBN 9783902613127)(542s)_CsAl_.pdf
|
10.2 MB
|
|
Koren I. Computer Arithmetic Algorithms (2ed., A.K.Peters, 2001)(ISBN 9781568811604)(600dpi)(T)(296s)_CsAl_.djvu
|
2.6 MB
|
|
Kosinski W. Advances in evolutionary algorithms (In-Tech, 2008)(ISBN 9537619117)(600dpi)(T)(C)(O)(476s)_CsAl_.djvu
|
7.1 MB
|
|
Kowalski R. Algorithm = Logic + Control (Comm.ACM, 1971)(T)(13s).djvu
|
507.8 KB
|
|
Kozen D.C. Automata and Computability (Springer, 1997)(ISBN 0387949070)(600dpi)(T)(414s)_CsAl_.djvu
|
2.4 MB
|
|
Kozen D.C. The design and analysis of algorithms (Springer-Verlag, 1991)(K)(T)(ISBN 0387976876)(332s)_CsAl_.djvu
|
1.7 MB
|
|
Kreher D.L., Stinson D.R. Combinatorial algorithms. Generation, enumeration, and search (CRC,1999)(K)(T)(ISBN 084933988X)(340s).djvu
|
3.8 MB
|
|
Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (CUP, 2008)(ISBN 9780521876346)(754s)_CsAl_.pdf
|
4.2 MB
|
|
Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (draft, 2005)(748s)_CsAl_.pdf
|
4.2 MB
|
|
Kulisch U. Computer arithmetic and validity.. Theory, implementation, and applications (De Gruyter, 2008)(ISBN 3110203189)(429s)_CsAl_.pdf
|
3.2 MB
|
|
LaValle S. Planning algorithms (CUP, 2006)(O)(1023s)_CsAl_.pdf
|
8.3 MB
|
|
LaValle S.M. Planning algorithms (CUP, 2006)(ISBN 0521862051)(O)(844s)_CsAl_.pdf
|
7.0 MB
|
|
Laboratory in software engineering (MIT EECS 6170 lecture notes, 2001)(206s)_CsAl_.pdf
|
1.5 MB
|
|
Ladner R.E. (ed.) Proceedings of the 5th Workshop on Algorithm Engineering (SIAM, 2003)(ISBN 0898715423)(T)(O)(156s)_CsAl_.djvu
|
3.4 MB
|
|
Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(600dpi)(T)(233s)_CsAl_.djvu
|
2.9 MB
|
|
Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(T)(600dpi)(233s)_CsAl_.djvu
|
3.0 MB
|
|
Lau H.T. A Java Library of Graph Algorithms and Optimization (CRC, 2006)(ISBN 1584887184)(385s)_CsAl_.pdf
|
908.8 KB
|
|
Launchbury J., et al. (eds.) Advanced functional programming.. proc. school Olympia, 1996 (LNCS1129, Springer, 1996)(ISBN 3540616284)(T)(244s)_CsAl_.djvu
|
2.0 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.6 MB
|
|
Lee J.A.N. The anatomy of a compiler (2ed., Van Nostrand, 1968)(ISBN 0442247338)(T)(480s)_CsAl_.djvu
|
2.6 MB
|
|
Lee P. Realistic Compiler Generation (MIT, 1989)(ISBN 9780262121415)(600dpi)(T)(263s)_CsAl_.djvu
|
1.5 MB
|
|
Leermakers R. The functional treatment of parsing (Kluwer AP Publishers, 1993)(ISBN 0792393767)(600dpi)(T)(176s)_CsAl_.djvu
|
1.8 MB
|
|
Leiss E. A programmer's companion to algorithm analysis (CRC, 2007)(O)(ISBN 1584886730)(264s)_CsAl_.pdf
|
2.4 MB
|
|
Lent J. Probabilistic analysis of some searching and sorting algorithms (Dissertation, 1996)(T)(112s)_CsAl_.djvu
|
1.5 MB
|
|
Levitin A. Introduction to the design and analysis of algorithms (3ed., AW, 2011)(ISBN 0132316811)(O)(593s)_CsAl_.pdf
|
2.3 MB
|
|
Levner E. (ed.) Multiprocessor scheduling. Theory and applications (I-Tech, 2007)(ISBN 9783902613028)(445s)_CsAl_.pdf
|
5.2 MB
|
|
Li T.M. (ed.) Cellular automata (Nova, 2011)(ISBN 1617615927)(O)(308s)_CsAl_.pdf
|
6.6 MB
|
|
Lilja D.J. Measuring computer performance. A practitioner's guide (CUP, 2004)(ISBN 0521641055)(O)(279s)_CsAl_.pdf
|
1.3 MB
|
|
Limnios N. Fault trees (ISTE, 2007)(ISBN 1905209304)(224s)_CsAl_.pdf
|
1.4 MB
|
|
Loudon K. Mastering algorithms with C (O'Reilly, 1999)(560s)_CsAl_.chm
|
2.0 MB
|
|
Luccio F., Pagli L., Steel G. Mathematical and algorithmic foundations of the Internet (CRC, 2011)(ISBN 1439831386)(O)(219s)_CsAl_.pdf
|
1.5 MB
|
|
Mahmoud H.M. Evolution of random search trees (Wiley, 1992)(T)(330s)_CsAl_.djvu
|
2.6 MB
|
|
Mahmoud H.M. Sorting.. a distribution theory (Wiley, 2000)(T)(ISBN 0471327107)(405s)_CsAl_.djvu
|
3.3 MB
|
|
Manber U. Introduction to algorithms.. a creative approach (AW, 1989)(ISBN 0201120372)(600dpi)(T)(496s)_CsAl_.djvu
|
4.7 MB
|
|
Marriott K., Stuckey P.J. Programming with Constraints.. An Introduction (MIT, 1998)(ISBN 0262133415)(600dpi)(T)(O)(482s)_CsAl_.djvu
|
3.5 MB
|
|
Mastorakis N., et al. (eds.) Proceedings of the european computing conference. Vol.2 (Springer, 2009)(ISBN 0387848185)(814s)_CsAl_.pdf
|
9.6 MB
|
|
McConnell S. Code Complete (T)(890s)_CsAl_.djvu
|
15.8 MB
|
|
McGeoch C.C. Experimental analysis of algorithms (thesis)(1986)(T)(161s)_CsAl_.djvu
|
3.1 MB
|
|
McKeeman W.M., Horning J.J., Wortman D.B. A compiler generator (PH, 1971)(ISBN 9780131550773)(600dpi)(K)(T)(540s)_CsAl_.djvu
|
3.7 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.5 MB
|
|
Meduna A., Svec M. (eds.) Grammars With Context Conditions and Their Applications (Wiley, 2005)(ISBN 0471718319)(T)(O)(228s)_CsAl_.djvu
|
1.2 MB
|
|
Mehlhorn K. Data structures and algorithms 3.. multi-dimensional searching and computational geometry (Springer, 1984)(T)(ISBN 3540136428)(294s)_CsAl_.djvu
|
2.1 MB
|
|
Mehlhorn K. Efficient data structures and algorithms, three volumes (Springer, 1984)(T)(674s).djvu
|
4.5 MB
|
|
Mehlhorn K., Sanders P. Algorithms and data structures.. the basic toolbox (Springer, 2008)(ISBN 3540779779)(305s)_CsAl_.pdf
|
2.1 MB
|
|
Mehlhorn K., Sanders P. Concise algorithmics, the basic toolbox (draft book, CUP)(124s)_CsAl_.pdf
|
1.1 MB
|
|
Mehta D., Sahni S. (eds.) Handbook of data structures and applications (ISBN 1584884355)(CRC, 2005)(1321s)_CsAl_.pdf
|
11.3 MB
|
|
Melin P., et al. (eds.) Soft computing for recognition based on biometrics (Springer, 2010)(ISBN 3642151108)(O)(444s)_CsAl_.pdf
|
13.5 MB
|
|
Michaelson G., Trinder P., Loidl H.-W. (eds.) Trends in functional programming (Intellect, 2001)(ISBN 1841500240)(T)(189s)_CsAl_.djvu
|
1.7 MB
|
|
Miczo A. Digital logic testing and simulation (Wiley, 2003)(ISBN 0471439959)(688s)_CsAl_.pdf
|
2.3 MB
|
|
Mikolajczak B. (ed.) Algebraic and structural automata theory (Ann. of discr. math. 44)(NH, 1991)(ISBN 0444874585)(T)(424s)_CsAl_.djvu
|
2.3 MB
|
|
Mills B. Theoretical introduction to programming (Springer 2006)(365s)_CsAl_.pdf
|
1.2 MB
|
|
Minker W., Bennacef S. Speech and human-machine dialog (Kluwer, 2004)(ISBN 1402080360)(104s)_CsAl_.pdf
|
1.7 MB
|
|
Mirenkov N.N. (ed.) Parallel computing technologies (WS, 1991)(T)(ISBN 9810206984)(514s)_CsAl_.djvu
|
7.2 MB
|
|
Mitchell J.C. Foundations for programming languages (MIT, 1996)(ISBN 0262133210)(400dpi)(T)(854s)_CsAl_.djvu
|
6.2 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.9 MB
|
|
Nayak A., Stojmenovic I. (eds.) Handbook of applied algorithms.. solving scientific, engineering, and practical problems (Wiley, 2008)(ISBN 0470044926)(571s)_CsAl_.pdf
|
3.5 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.6 MB
|
|
Niedermeier R. Invitation to fixed-parameter algorithms (OUP, 2006)(ISBN 0198566077)(312s)_CsAl_.pdf
|
1.7 MB
|
|
Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(200dpi)(T)(ISBN 0125192606)(309s)_CsAl_.djvu
|
1.6 MB
|
|
Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(400dpi)(ISBN 0125192606)(T)(316s)_CsAl_.djvu
|
2.1 MB
|
|
Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2006)(T)(316s)_CsAl_.djvu
|
2.3 MB
|
|
Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2ed., AP, 1978)(ISBN 0125192606)(T)(316s)_CsAl_.djvu
|
1.4 MB
|
|
Nikoletseas S.E. (ed.) Experimental and efficient algorithms (LNCS3503, Springer, 2005)(636s).pdf
|
10.4 MB
|
|
Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(294s)_CsAl_.pdf
|
1.3 MB
|
|
Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(Errata)(2s)_CsAl_.pdf
|
52.6 KB
|
|
Okasaki C. Purely functional data structures (CUP, 1999)(ISBN 0521663504)(400dpi)(T)(O)(231s)(KA)_CsAl_.djvu
|
1.7 MB
|
|
Okasaki C. Purely functional data structures (PhD thesis, CMU, 1996)(162s)_CsAl_.pdf
|
628.9 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.3 MB
|
|
Oliveira S., Stewart D. Writing scientific software. A guide to good style (CUP 2006)(316s)_CsAl_.pdf
|
916.4 KB
|
|
Omondi A., Premkumar B. Residue number systems.. Theory and implementation (ICP, 2007)(ISBN 1860948669)(311s)_CsAl_.pdf
|
2.7 MB
|
|
Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(600dpi)(T)(225s)_CsAl_.djvu
|
1.6 MB
|
|
Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(T)(600dpi)(225s)_CsAl_.djvu
|
1.7 MB
|
|
Parberry I., Gasarch W. Problems on algorithms (2002)(268s)_CsAl_.pdf
|
2.0 MB
|
|
Parhami B. Introduction to parallel processing.. algorithms and architectures (Kluwer, 2002)(557s).pdf.gz
|
3.6 MB
|
|
Parsons T.W. Introduction to Compiler Construction (W.H.Freeman, 1992)(ISBN 9780716782612)(600dpi)(T)(374s)_CsAl_.djvu
|
2.6 MB
|
|
Pascal G. Arithmetique et algorithmique en algebre lineaire exacte pour la bibliotheque LinBox (fr)(Lyon these, 2004)(206s)_CsAl_.pdf
|
1.2 MB
|
|
Pearl J. Heuristics (1984)(600dpi)(T)(401s)_CsAl_.djvu
|
3.8 MB
|
|
Peled D.A. Software Reliability Methods (Springer, 2001)(ISBN 0387951067)(600dpi)(T)(354s)_CsAl_.djvu
|
2.7 MB
|
|
Peleg D. Distributed computing (SIAM, 2000)(ISBN 0898714648)(T)(O)(360s)_CsAl_.djvu
|
3.0 MB
|
|
Penttonen, Schmidt. (eds.) Algorithm theory - Proc. SWAT 2002 (LNCS2368, Springer, 2002)(455s)_CsAl_.pdf
|
5.2 MB
|
|
Pepper P., Hofstedt P. Funktionale Programmierung.. Sprachdesign und Programmiertechnik (Springer, 2006)(de)(ISBN 9783540209591)(486s)_CsAl_.pdf
|
2.7 MB
|
|
Perrin D., Berstel J., Reutenauer C. Codes and Automata (CUP, 2009)(ISBN 052188831X)(634s)_CsAl_.pdf
|
4.5 MB
|
|
Peterson W.P., Arbenz P. Introduction to parallel computing (OUP, 2004)(ISBN 0198515766)(278s)_CsAl_.pdf
|
1.3 MB
|
|
Pieprzyk J., Sadeghiyan B. Design of hashing algorithms (LNCS0756, Springer, 1993)(ISBN 3540575006)(T)(208s)_CsAl_.djvu
|
1.3 MB
|
|
Pollack B.W. Compiler techniques (Auerbach Publishers, 1972)(ISBN 9780877690764)(600dpi)(T)(573s)_CsAl_.djvu
|
4.4 MB
|
|
Preparata F. (ed.) Theoretical computer sciences (CIME0068 1975, Springer, 2011)(ISBN 3642111181)(600dpi)(T)(O)(183s)_CsAl_.djvu
|
1.5 MB
|
|
Preve N. (ed.) Computational and data grids. Principles, applications and design (IGI Global, 2012)(ISBN 9781613501139)(O)(401s)_CsAl_.pdf
|
12.1 MB
|
|
Proceedings of the 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s).djvu
|
32.7 MB
|
|
Proceedings of the 14th annual ACM-SIAM symposium on discrete algorithms (SIAM 2003)(ISBN 0898715385)(T)(O)(891s).djvu
|
17.8 MB
|
|
Proceedings of the 15th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2004)(ISBN 089871558X)(T)(O)(1149s)_CsAl_.djvu
|
20.8 MB
|
|
Proceedings of the 16th annual ACM-SIAM symposium on discrete algorithms(SIAM, 2005)(ISBN 0898715857)(T)(O)(1204s)_CsAl_.djvu
|
20.6 MB
|
|
Proceedings of the 17th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2006)(ISBN 0898716055)(T)(O)(1261s)_CsAl_.djvu
|
22.3 MB
|
|
Proceedings of the 18th annual ACM-SIAM symposium on discrete algorithms (SIAM 2007)(ISBN 9780898716245)(600dpi)(T)(O)(1334s).djvu
|
23.0 MB
|
|
Proceedings of the 19th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2008)(ISBN 9780898716474)(600dpi)(T)(1295s)_CsAl_.djvu
|
20.7 MB
|
|
Pu I. Fundamental data compression (Elsevier, 2006)(ISBN 0750663103)(T)(269s)_CsAl_.djvu
|
1.6 MB
|
|
Purdom R.W., Brown C.A. The analysis of algorithms (CBS, 1985)(T)(554s)_CsAl_.djvu
|
5.2 MB
|
|
Queinnec C. LISP in small pieces (CUP, 1996)(T)(K)(ISBN 0521562473)(532s)_CsAl_.djvu
|
5.0 MB
|
|
Rabhi F., Lapalme G. Algorithms.. a functional programming approach (AW, 1999)(ISBN 0201596040)(600dpi)(T)(O)(247s)_CsAl_.djvu
|
2.4 MB
|
|
Rabiner L., Juang B.-H. Fundamentals of speech recognition (PH, 1993)(ISBN 0132858266)(K)(T)(O)(544s)_CsAl_.djvu
|
4.1 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.7 MB
|
|
Randell B., Russell L.J. ALGOL 60 implementation (AP, 1964)(ASIN B0006AYZGE)(600dpi)(T)(431s)_CsAl_.djvu
|
3.3 MB
|
|
Rauber T., Runger G. Parallel programming.. for multicore and cluster systems (Springer, 2010)(ISBN 364204817X)(O)(463s)_CsAl_.pdf
|
6.2 MB
|
|
Reekie H.J. Realtime signal processing - dataflow, visual, and functional programming (PhD thesis, 1995)(T)(226s)_CsAl_.djvu
|
1.4 MB
|
|
Reghizzi S.C. Formal languages and compilation (Springer, 2009)(ISBN 1848820496)(O)(370s)_CsAl_.pdf
|
1.9 MB
|
|
Reinelt G. The traveling salesman (Springer, 1994)(ISBN 3540583343)(230s)_CsAl_.pdf
|
2.6 MB
|
|
Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(600dpi)(T)(444s)_CsAl_.djvu
|
4.0 MB
|
|
Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(T)(600dpi)(444s)_CsAl_.djvu
|
4.2 MB
|
|
Reps T.W. Generating Language-Based Environments (MIT, 1984)(ISBN 9780262181150)(600dpi)(T)(154s)_CsAl_.djvu
|
986.9 KB
|
|
Resch M., et al. (eds.) High performance computing on vector systems 2010 (Springer, 2010)(ISBN 364211850X)(O)(200s)_CsAl_.pdf
|
7.2 MB
|
|
Robbins K.A., Robbins S. UNIX Systems Programming.. Communication, Concurrency and Threads (PH, 2003)(ISBN 9780130424112)(O)(1008s)_CsAl_.pdf
|
2.7 MB
|
|
Rohl J.S. Recursion via Pascal (CUP, 1984)(ISBN 0521269342)(T)(201s)_CsAl_.djvu
|
1.4 MB
|
|
Ronse C. Feedback shift registers (LNCS0169, Springer, 1984)(ISBN 3540133305)(T)(144s)_CsAl_.djvu
|
842.0 KB
|
|
Rose K.H. Explicit substitutions in rewriting systems - tutorial and survey (LS-96-3, BRICS, 1996)(600dpi)(T)(163s)_CsAl_.djvu
|
1.0 MB
|
|
Rosenberg A. The pillars of computation theory.. State, encoding, nondeterminism (Springer, 2010)(ISBN 0387096388)(O)(343s)_CsAl_.pdf
|
2.2 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.1 MB
|
|
Ruhe G. Algorithmic Aspects of Flows in Networks (Kluwer, 1991)(ISBN 0792311515)(600dpi)(T)(212s)_CsAl_.djvu
|
1.6 MB
|
|
Ruskey F. Combinatorial generation (draft, 2003)(400dpi)(T)(311s).djvu
|
2.2 MB
|
|
Sacco G.M., Tzitzikas Y. (eds.) Dynamic taxonomies and faceted search (Springer, 2009)(ISBN 3642023584)(O)(348s)_CsAl_.pdf
|
6.2 MB
|
|
Salomaa A. Jewels of formal language theory (Computer Science, 1981)(ISBN 0914894692)(600dpi)(T)(150s)_CsAl_.djvu
|
1.4 MB
|
|
Salomon D. A concise introduction to data compression (Springer, 2008)(ISBN 1848000715)(298s)_CsAl_.pdf
|
1.8 MB
|
|
Salomon D. Coding for data and computer communications (Springer, 2005)(ISBN 0387212450)(600dpi)(T)(549s)_CsAl_.djvu
|
10.0 MB
|
|
Salomon D. Data compression.. the complete reference (3ed., Springer, 2004)(K)(920s)_CsAl_.pdf
|
5.1 MB
|
|
Salomon D. Data compression.. the complete reference (4ed., Springer, 2007)(1111s)_CsAl_.pdf
|
5.6 MB
|
|
Samet H. The design and analysis of spatial data structures (AW, 1990)(T)(ISBN 0201502550)(499s)_CsAl_.djvu
|
4.8 MB
|
|
Sayood K. Introduction to Data Compression (1ed., Morgan Kaufmann, 1996)(ISBN 1558603468)(600dpi)(T)(491s)_CsAl_.djvu
|
16.6 MB
|
|
Sayood K. Introduction to data compression (3ed., Elsevier, 2006)(ISBN 012620862X)(T)(O)(688s)_CsAl_.djvu
|
5.0 MB
|
|
Schaffer R.W. Analysis of heapsort (Dissertation, 1992)(T)(91s)_CsAl_.djvu
|
1.1 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
|
3.1 MB
|
|
Sedgewick R. Algorithms in C++, Parts 1-4 (3ed., AW, 1998)(ISBN 0201350882)_CsAl_.chm
|
6.1 MB
|
|
Sedgewick R. Implementing Quicksort programs (Comm.ACM 21, p847, 1978)(T)(11s).djvu
|
171.2 KB
|
|
Sedgewick R. Quicksort (Garland Pub, 1980)(T)(353s)_CsAl_.djvu
|
2.6 MB
|
|
Sedgewick R., Flajolet P. An introduction to the analysis of algorithms (AW, 2006)(ISBN 7111186060)(600dpi)(T)(O)(508s)_CsAl_.djvu
|
7.0 MB
|
|
Sedgewick R., Wayne K. Algorithms (4ed., AW, 2011)(ISBN 032157351X)(O)(969s)_CsAl_.pdf
|
9.8 MB
|
|
Sedgewick. Algorithms (AW, 1983)(T)(560s)_CsAl_.djvu
|
3.6 MB
|
|
Seroul R. Programming for mathematicians (Springer, 2000)(ISBN 354066422X)(K)(T)(445s)_CsAl_.djvu
|
2.4 MB
|
|
Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(600dpi)(T)(O)(230s)_CsAl_.djvu
|
2.1 MB
|
|
Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(T)(O)(230s)_CsAl_.djvu
|
1.4 MB
|
|
Shonkwiler R., Lefton L. An introduction to parallel and vector scientific computing (CUP, 2006)(ISBN 9780521864787)(O)(306s)_CsAl_.pdf
|
1.5 MB
|
|
Shroff G. Enterprise Cloud Computing (CUP, 2010)(ISBN 052176095X)(O)(291s)_CsAl_.pdf
|
2.1 MB
|
|
Sikkel K. Parsing Schemata.. A Framework for Specification and Analysis of Parsing Algorithms (Springer, 2002)(ISBN 9783540616504)(600dpi)(T)(384s)_CsAl_.djvu
|
6.9 MB
|
|
Skiena S. The algorithm design manual (2ed., Springer, 2008)(ISBN 9781848000698)(O)(739s)_CsAl_.pdf
|
3.2 MB
|
|
Smith. Reflective procedural programming (phd thesis)(T)(762s).djvu
|
9.7 MB
|
|
Smith. Reflective procedural programming (phd thesis).txt.bz2
|
436.9 KB
|
|
Smyth B. Computing patterns in strings (PEL, 2003)(ISBN 0201398397)(600dpi)(K)(T)(C)(O)(436s)_CsAl_.djvu
|
10.2 MB
|
|
Smyth B. Computing patterns in strings (PEL, 2003)(T)(ISBN 0201398397)(429s)_CsAl_.djvu
|
27.7 MB
|
|
Sommerville I. Software Engineering (8ed., AW, 2006)(ISBN 0321313798)(865s)_CsAl_.pdf
|
10.1 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.7 MB
|
|
Stevens R. Unix network programming vol.1 (PH, 1998)(T)(C)(1011s).djvu
|
10.9 MB
|
|
Stevens R. Unix network programming vol.2 (PH, 1999)(T)(C)(564s).djvu
|
6.1 MB
|
|
Stobo J. Problem Solving With Prolog (CRC, 1989)(ISBN 9780273029335)(O)(325s)_CsAl_.pdf
|
2.3 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.9 MB
|
|
Tan C.M. (ed.) Simulated annealing (I-Tech, 2008)(ISBN 9789537619077)(600dpi)(T)(O)(426s)_CsAl_.djvu
|
6.0 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.8 MB
|
|
Tanenbaum A.S. Distributed Operating Systems (no title, no TOC)(KA)(T)(588s)_CsAl_.djvu
|
4.5 MB
|
|
Tanenbaum A.S. Modern Operating Systems.. International Version (3ed., Pearson, 2008)(ISBN 0138134596)(KA)(200dpi)(T)(1102s)_CsAl_.djvu
|
9.5 MB
|
|
Tanenbaum A.S. Modern operating systems (2ed., PH)(100dpi)(KA)(T)(970s)_CsAl_.djvu
|
11.5 MB
|
|
Tanenbaum A.S., Woodhull A.S. Operating systems.. design and implementation (2ed.)(KA)(T)(947s)_CsAl_.djvu
|
8.3 MB
|
|
Tanenbaum. Introduction to distributed systems (T)(588s).djvu
|
6.6 MB
|
|
Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(ISBN 0898711878)(T)(O)(142s)_CsAl_.djvu
|
1.2 MB
|
|
Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(T)(ISBN 0898711878)(131s)_CsAl_.djvu
|
1.3 MB
|
|
Testard L. Calculs et visualisation en nombres complexes (fr)(Grenoble these, 1997)(209s)_CsAl_.pdf
|
1.0 MB
|
|
Thulasiraman K., Swamy M.N.S. Graphs. Theory and algorithms (Wiley, 1992)(ISBN 0471513563)(T)(O)(477s)_CsAl_.djvu
|
2.7 MB
|
|
Tomita M. (ed.) Generalized LR Parsing (Springer, 1991)(ISBN 0792392019)(600dpi)(T)(182s)_CsAl_.djvu
|
1.7 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.6 MB
|
|
Tremblay J. An Implementation Guide to Compiler Writing (MGH, 1982)(ISBN 9780070651661)(600dpi)(T)(268s)_CsAl_.djvu
|
1.7 MB
|
|
Tremblay J., Sorenson P.G. The Theory and Practice of Compiler Writing (MGH, 1985)(ISBN 9780070651616)(600dpi)(T)(O)(813s)_CsAl_.djvu
|
6.6 MB
|
|
Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(531s)_CsAl_.pdf
|
5.7 MB
|
|
Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(O)(545s)_CsAl_.pdf
|
5.7 MB
|
|
Truemper K. Effective logic computation (Leibniz, 2010)(ISBN 0966355466)(O)(491s)_CsAl_.pdf
|
3.1 MB
|
|
Tsang E. Foundations of Constraint Satisfaction (AP, 1993)(ISBN 9780127016108)(O)(441s)_CsAl_.pdf
|
977.6 KB
|
|
Van D.L., Ito M. (eds.) The mathematical foundation of informatics. Conf. Hanoi, 1999 (WS, 2005)(ISBN 9810246560)(T)(208s)_CsAl_.djvu
|
1.6 MB
|
|
Van Roy P., Haridi S. Concepts, techniques and models of computer programming (MIT, 2004)(ISBN 0262220695)(931s)_CsAl_.pdf
|
4.5 MB
|
|
Van Roy, Haridi. Concepts and techniques of computer programming (draft 2003)(888s)_CsAl_.ps.gz
|
1.8 MB
|
|
Vocking B., et al. (eds.) Algorithms unplugged (Springer, 2011)(ISBN 3642153275)(O)(417s)_CsAl_.pdf
|
8.2 MB
|
|
Waite W.M., Carter L.R. An Introduction to Compiler Construction (Harper-Collins, 1993)(ISBN 9780673398222)(600dpi)(T)(449s)_CsAl_.djvu
|
4.1 MB
|
|
Watson D. High-Level Languages and Their Compilers (AW, 1989)(ISBN 9780201184891)(600dpi)(T)(348s)_CsAl_.djvu
|
2.6 MB
|
|
Watt D.A., Brown D.F. Programming language processors in Java.. compilers and interpreters (PH, 2000)(ISBN 0130257869)(T)(438s)_CsAl_.djvu
|
3.4 MB
|
|
Webber R.E. Analysis of quadtree algorithms (1985)(T)(183s)_CsAl_.djvu
|
2.6 MB
|
|
Weide B.W. Statistical methods in algorithm design and analysis (thesis)(1978)(T)(190s)_CsAl_.djvu
|
1.6 MB
|
|
Wilf H. Algorithms and complexity (2ed., AK Peters, 2002)(ISBN 1568811780)(600dpi)(T)(O)(228s)_CsAl_.djvu
|
1.6 MB
|
|
Wilf. Algorithms and Complexity (1ed, 1994)(139s).pdf
|
1.0 MB
|
|
Winograd S. Arithmetic complexity of computations (SIAM 1980)(K)(600dpi)(T)(ISBN 0898711630)(97s)_CsAl_.djvu
|
1.2 MB
|
|
Wirth N. Algorithms + data structures=programs (PH, 1976)(ISBN 0130224189)(600dpi)(T)(381s)_CsAl_.djvu
|
3.1 MB
|
|
Wirth N. Systematic programming (PH 1973)(ISBN 0138803692)(600dpi)(T)(182s)_CsAl_.djvu
|
1.4 MB
|
|
Witten I., Bainbridge D., Nichols D. How to build a digital library (2ed., Elsevier, 2010)(ISBN 0123748577)(O)(627s)_CsAl_.pdf
|
16.0 MB
|
|
Witten, Moffat, Bell. Managing gigabytes.. compressing and indexing documents and images (2ed., AP, 1999)(ISBN 1558605703)(400dpi)(T)(544s)_CsAl_.djvu
|
11.4 MB
|
|
Yang R. P-Prolog.. A Parallel Logic Programming Language (WS, 1988)(ISBN 9789971505080)(600dpi)(T)(152s)_CsAl_.djvu
|
929.3 KB
|
|
Yovits M.C. (ed.) Advances in computers. Vol. 28 (AP, 1989)(ISBN 012012128X)(T)(315s)_CsAl_.djvu
|
2.3 MB
|
|
Yovits M.C. (ed.) Advances in computers. Vol. 34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu
|
3.5 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.6 MB
|
|
Zhou Q. (ed.) Theoretical and mathematical foundations of computer science - ICTMF 2011 (Springer, 2011)(ISBN 3642249981)(O)(632s)_CsAl_.pdf
|
9.2 MB
|
|
Zito M.A.A. Randomized techniques in combinatorial algorithms (phd thesis, Warwick, 1999)(400dpi)(T)(150s).djvu
|
986.6 KB
|
|
van Rijsbergen C.J. Information Retrieval (draft, 1995)(153s)_CsAl_.pdf
|
508.5 KB
|
|
von Neumann J. Theory of self-reproducing automata (Illinois, 1966)(ISBN 0598377980)(KA)(200dpi)(T)(403s)_CsAl_.djvu
|
4.7 MB
|
|
/Bash/
|
|
Albing, et al. The BASH cookbook (O'Reilly, 2007)(ISBN 0596526784).pdf
|
2.1 MB
|
|
Apress.Pro.Bash.Programming.Scripting.the.GNU.Linux.Shell.Oct.2009-o.pdf
|
3.5 MB
|
|
Michael R.K. Mastering UNIX Shell Scripting (Wiley, 2003)(ISBN 9780471218210)(O)(704s)_S_.pdf
|
2.5 MB
|
|
Robbins A., Beebe N. - Classic Shell Scripting - 2005-o.pdf
|
5.0 MB
|
|
Robbins A., Beebe N. - Classic Shell Scripting - 2005.epub
|
1.3 MB
|
|
Sarath Lakshman - Linux Shell Scripting Cookbook + Code - 2011-o.pdf
|
2.1 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.3 MB
|
|
Alpaydin E. Introduction to machine learning (MIT Press, 2004)(ISBN 0262012111)(T)(432s)_CsAi_.djvu
|
2.7 MB
|
|
Arbib M.A. Brains, machines, and mathematics (2ed., Springer, 1987)(ISBN 0387965394)(600dpi)(T)(217s)_CsAi_.djvu
|
2.2 MB
|
|
Baader F., et al. (eds.) The description logic handbook (CUP, 2007)(ISBN 0521876257)(O)(622s)_CsAi_.pdf
|
2.5 MB
|
|
Baader F., et al. The description logic handbook.. Theory, implementation and applications (CUP,2003)(ISBN 0521781760)(573s)_CsAi_.pdf
|
2.3 MB
|
|
Ballard D.H. An Introduction to Natural Computation (MIT, 1999)(ISBN 0262024209)_CsAi_.chm
|
3.6 MB
|
|
Barber D. Bayesian reasoning and machine learning (CUP, 2011, draft 2010)(ISBN 0521518148)(O)(646s)_CsAi_.pdf
|
11.3 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.3 MB
|
|
Barr A., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 2 (Kaufmann, William Inc, 1981)(ISBN 9780865760066)(T)(440s)_CsAi_.djvu
|
4.0 MB
|
|
Berry M.W. (ed.) Computational Information Retrieval (SIAM, 2001)(ISBN 9780898715002)(T)(200s)_CsAi_.djvu
|
1.8 MB
|
|
Bertot Y., et al. (eds.) Interactive Theorem Proving and Program Development (Springer, 2004)(ISBN 3540208542)(600dpi)(T)(O)(497s)_CsAi_.djvu
|
3.3 MB
|
|
Bhanu B., Lin Y., Krawiec K. Evolutionary synthesis of pattern recognition systems (Springer, 2005)(T)(ISBN 0387244522)(313s)_CsAi_.djvu
|
2.8 MB
|
|
Bibel W. Automated theorem proving (2ed., Vieweg, 1987)(ISBN 3528185201)(600dpi)(T)(305s)_CsAi_.djvu
|
2.7 MB
|
|
Bibel W. Deduction.. Automated Logic (AP, 1993)(ISBN 9780120958351)(600dpi)(T)(255s)_CsAi_.djvu
|
2.1 MB
|
|
Birkgoff G. Matematika i psihologiya (Sovetskoe radio, 1977)(ru)(K)(600dpi)(T)(96s)_CsAi_.djvu
|
1.7 MB
|
|
Bishop C. Pattern Recognition and Machine Learning (ISBN 0387310738)(Springer, 2006)(749s)_CsAi_.pdf
|
4.7 MB
|
|
Boden M.A. Artificial Intelligence (AP, 1996)(ISBN 9780121619640)(T)(O)(395s)_CsAi_.djvu
|
3.1 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.7 MB
|
|
Boyer R.S. (ed.) Automated reasoning.. essays in honor of W.Bledsoe (Kluwer, 1991)(ISBN 0792314093)(600dpi)(T)(379s)_CsAi_.djvu
|
2.8 MB
|
|
Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(T)(440s)_CsAi_.djvu
|
1.7 MB
|
|
Boyer R.S., Moore J.S. The Computational Logic Handbook (AP, 1988)(ISBN 9780121229528)(600dpi)(T)(428s)_CsAi_.djvu
|
2.5 MB
|
|
Bramer M., Devedzic V. (eds.) Artificial intelligence applications and innovations (Kluwer, 2004)(ISBN 1402081510)(K)(T)(C)(499s)_CsAi_.djvu
|
7.1 MB
|
|
Bratko I. Prolog programming for artificial intelligence (3ed., AW, 2001)(ISBN 9780201403756)(600dpi)(K)(T)(702s)_CsAi_.djvu
|
11.0 MB
|
|
Bundy A. The computer modelling of mathematical reasoning (no p.353-356) (AP, 1983)(ISBN 0121412504)(600dpi)(KA)(T)(413s)_CsAi_.djvu
|
2.6 MB
|
|
Burstein F., Holsapple C. (eds.) Handbook on decision support systems 1.. Basic Themes (Springer, 2008)(ISBN 3540487123)(908s)_CsAi_.pdf
|
18.0 MB
|
|
Burstein F., Holsapple C. (eds.) Handbook on decision support systems 2.. Variations (Springer, 2008)(ISBN 3540487158)(856s)_CsAi_.pdf
|
15.7 MB
|
|
Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(300dpi)(T)(483s)_CsAi_.djvu
|
2.8 MB
|
|
Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(600dpi)(T)(483s)_CsAi_.djvu
|
7.9 MB
|
|
Camastra F., Vinciarelli A. Machine learning for audio, image and video analysis (Springer, 2008)(ISBN 1848000065)(O)(484s)_CsAi_.pdf
|
4.3 MB
|
|
Cesa-Bianchi N., Lugosi G. Prediction, learning, and games (CUP, 2006)(ISBN 0521841089)(407s)_CsAi_.pdf
|
2.4 MB
|
|
Chang C.-L., Lee R.C.-T. Symbolic logic and mechanical theorem proving (AP, 1973)(ISBN 0121703509)(600dpi)(T)(351s)_CsAi_.djvu
|
2.5 MB
|
|
Cleeremans A. Mechanisms of Implicit Learning.. Connectionist Models of Sequence Processing (MIT, 1993)(ISBN 0262032058)_CsAi_.chm
|
1.5 MB
|
|
Cohen P.R., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 3 (AW, 1986)(ISBN 9780865760073)(599dpi)(T)(656s)_CsAi_.djvu
|
5.8 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.4 MB
|
|
Crockett L. The Turing Test and the Frame Problem.. AI's Mistaken Understanding of Intelligence (1994)(216s).pdf.gz
|
529.8 KB
|
|
Dautenhahn, Bond, Canamero, Edmonds. (eds.) Socially intelligent agents.. creating relationships (Kluwer, 2002)(298s).pdf
|
2.1 MB
|
|
Falmagne J.C., Doignon J.P. Learning spaces.. Interdisciplinary applied mathematics (Springer, 2011)(ISBN 3642010385)(O)(434s)_CsAi_.pdf
|
2.5 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
|
10.3 MB
|
|
Fisher M. An Introduction to Practical Formal Methods Using Temporal Logic (Wiley, 2011)(ISBN 9780470027882)(O)(353s)_CsAi_.pdf
|
2.2 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.4 MB
|
|
Fitting M. First-order Logic and Automated Theorem Proving (Springer, 1990)(ISBN 3540972331)(600dpi)(T)(O)(262s)_CsAi_.djvu
|
1.9 MB
|
|
Frey B.J. Graphical Models for Machine Learning and Digital Communication (MIT, 1998)(ISBN 026206202X)_CsAi_.chm
|
1.5 MB
|
|
Friedman J., Hastie T., Tibshirani R. The elements of statistical learning (2001)(T)(C)(524s).djvu
|
4.1 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
|
11.5 MB
|
|
Friedman M., Kandel A. Introduction To Pattern Recognition.. Statistical, Structural, Neural and Fuzzy Logic Approaches (WS, 1999)(ISBN 9810233124)(T)(345s)_CsAi_.djvu
|
2.0 MB
|
|
Fu K.S. Sequential methods in pattern recognition and machine learning (AP, 1968)(ISBN 012269550X)(T)(O)(245s)_CsAi_.djvu
|
1.4 MB
|
|
Fu K.S. Syntactic methods in pattern recognition (AP, 1974)(ISBN 0122695607)(600dpi)(T)(306s)_CsAi_.djvu
|
2.6 MB
|
|
Fu K.S. Syntactic pattern recognition and applications (PH, 1982)(ISBN 0138801207)(600dpi)(T)(605s)_CsAi_.djvu
|
7.3 MB
|
|
Fu K.S., et al. (eds.) Digital pattern recognition (Springer, 1976)(ISBN 0387075119)(600dpi)(T)(217s)_CsAi_.djvu
|
3.6 MB
|
|
Fu K.S., et al. (eds.) Syntactic pattern recognition (Springer, 1977)(ISBN 038707841X)(600dpi)(T)(281s)_CsAi_.djvu
|
8.2 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.6 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.9 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.3 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.4 MB
|
|
Galton A. (ed.) Temporal Logics and their Applications (AP, 1988)(ISBN 0122740602)(600dpi)(T)(258s)_CsAi_.djvu
|
1.8 MB
|
|
German O.V., Ofitserov D.V. Problem solving (no title,no TOC)(Elsevier, 1995)(ISBN 0444822267)(T)(419s)_CsAi_.djvu
|
2.4 MB
|
|
Giarratano J.C., Riley G.D. Expert Systems.. Principles and Programming (3ed., Course Technology, 1998)(ISBN 9780534950538)(T)(KA)(602s)_CsAi_.djvu
|
8.8 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.2 MB
|
|
Griffiths M., Palissier C. Algorithmic methods for artificial intelligence (Kogan Page, 1987)(ISBN 1850912572)(600dpi)(T)(144s)_CsAi_.djvu
|
912.7 KB
|
|
Grimshaw D. CPS 720 Artificial Intelligence topics with agents (MIT lecture notes, 2001)(1016s).pdf.gz
|
6.1 MB
|
|
Harrison J. Handbook of Practical Logic and Automated Reasoning (CUP, 2009)(ISBN 0521899575)(O)(703s)_CsAi_.pdf
|
2.7 MB
|
|
Herbrich R. Learning kernel classifiers. Theory and algorithms(MIT,2002)(ISBN 026208306X)(382s)_CsAi_.pdf
|
2.7 MB
|
|
Hofstadter D. Fluid concepts and creative analogies (Basic Books, 1995)(KA)(600dpi)(T)(511s)_CsAi_.djvu
|
5.4 MB
|
|
Holden T. Knowledge Based CAD and Microelectronics (Elsevier, 1987)(ISBN 0444701508)(600dpi)(T)(241s)_CsAi_.djvu
|
3.8 MB
|
|
Hsieh W.W. Machine learning methods in the environmental sciences (draft, CUP, 2010)(ISBN 9780521791922)(O)(365s)_CsAi_.pdf
|
7.8 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.5 MB
|
|
Huet G., Plotkin G. (eds.) Logical Frameworks (CUP, 1991)(ISBN 0521413001)(T)(O)(416s)_CsAi_.djvu
|
2.7 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
|
11.4 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.4 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
|
7.3 MB
|
|
Kasabov N.K. Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering (MIT, 1996)(ISBN 0262112124)_CsAi_.chm
|
4.0 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.9 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.4 MB
|
|
Kitamura T. (ed.) What should be computed to understand and model brain function (WS, 2001)(ISBN 9810245181)(T)(323s)_CsAi_.djvu
|
2.7 MB
|
|
Klerer M., Reinfelds J. Interactive Systems for Experimental Applied Mathematics (AP, 1968)(600dpi)(T)(485s)_CsAi_.djvu
|
7.8 MB
|
|
Konar A. Artificial intelligence and soft computing (CRC, 2000)(ISBN 9780849313851)(O)(788s)_CsAi_.pdf
|
4.0 MB
|
|
Konar A. Computational intelligence. Principles techniques and applications (Springer, 2005)(600dpi)(T)(C)(713s)_CsAi_.djvu
|
4.3 MB
|
|
Leondes C. (ed.) Artificial intelligence and robotics in manufacturing (CRC, 2001)(ISBN 0849309999)(O)(276s)_CsAi_.pdf
|
5.0 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
|
12.4 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.8 MB
|
|
Luger G.F. Artificial Intelligence.. Structures and Strategies for Complex Problem Solving (6ed., AW, 2008)(ISBN 9780321545893)(O)(779s)_CsAi_.pdf
|
4.2 MB
|
|
MacKay D.J.C. Information Theory, Inference and Learning Algorithms (CUP, 2003)(ISBN 0521642981)(600dpi)(T)(640s)_CsAi_.djvu
|
10.9 MB
|
|
MacKay D.J.C. Information theory, inference and learning algorithms (CUP, 2005)(ISBN 0521642981)(O)(642s)_CsAi_.pdf
|
6.2 MB
|
|
Mahadevan S. Representation discovery using harmonic analysis (Morgan, 2008)(ISBN 1598296590)(160s)_CsAi_.pdf
|
5.4 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.7 MB
|
|
Merritt D. Building Expert Systems in Prolog (Springer, 1989)(ISBN 9780387970165)(O)(308s)_CsAi_.pdf
|
1.5 MB
|
|
Merritt D. Building expert systems in Prolog (free web version, 2001)(308s)_CsAi_.pdf
|
1.5 MB
|
|
Michie D., Spiegelhalter D.J., Taylor C.C. (eds.) Machine Learning, Neural and Statistical Classification (1994)(200dpi)(T)(298s).djvu
|
2.0 MB
|
|
Minker J. (ed.) Logic-based artificial intelligence (Kluwer, 2000)(ISBN 0792372247)(600dpi)(K)(T)(630s)_CsAi_.djvu
|
5.2 MB
|
|
Minsky M. The society of mind (Simon & Schuster, 1988)(ISBN 0671657135)(400dpi)(K)(T)(O)(337s)_CsAi_.djvu
|
4.2 MB
|
|
Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(420s)_CsAi_.djvu
|
6.9 MB
|
|
Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(430s)_CsAi_.djvu
|
7.3 MB
|
|
Mohammadian, Sarker, Yao. Computational intelligence in control (2003)(T)(C)(ISBN 1591400376)(348s).djvu
|
3.8 MB
|
|
Neal R. Probabilistic Inference Using Markov Chain Monte Carlo Methods (Toronto tech.report, 1993) (T)(144s).djvu
|
1.2 MB
|
|
Negnevitsky M. Artificial Intelligence.. A Guide to Intelligent Systems (2ed., AW, 2004)(ISBN 9780321204660)(435s)_CsAi_.pdf
|
9.5 MB
|
|
Nemenman I.M. Information theory and learning.. a physical approach (Princeton PhD thesis, 2000)(physics_0009032)(T)(140s).djvu
|
743.4 KB
|
|
Nilsson N. Problem solving methods in artificial intelligence (MGH, 1971)(T)(268s)_CsAi_.djvu
|
2.5 MB
|
|
Nilsson N.J. Introduction to machine learning (lecture notes, 1996)(T)(208s)_CsAi_.djvu
|
1.2 MB
|
|
Nilsson N.J. Introduction to machine learning (web draft, 1996)(208s)_CsAi_.pdf
|
1.4 MB
|
|
Nilsson N.J. Problem Solving Methods in Artificial Intelligence (MGH, 1971)(ISBN 0070465738)(600dpi)(T)(O)(270s)_CsAi_.djvu
|
2.4 MB
|
|
Norvig P. Paradigms of Artificial Intelligence Programming.. Case Studies in Common Lisp (Morgan Kaufmann, 1991)(ISBN 1558601910)(600dpi)(T)(973s)_CsAi_.djvu
|
6.2 MB
|
|
Pal S.K., Pal A. (ed.) Pattern recognition.. From Classical to Modern Approaches (WSP, 2001)(ISBN 9810246846)(T)(635s)_CsAi_.djvu
|
6.1 MB
|
|
Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(600dpi)(T)(318s)_CsAi_.djvu
|
2.1 MB
|
|
Pedrycz W., Gomide F. An Introduction to Fuzzy Sets.. Analysis and Design (MIT, 1998)(ISBN 0262161710)_CsAi_.chm
|
3.6 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.9 MB
|
|
Principe J.C. Information theoretic learning.. Renyi's entropy and kernel perspectives (Springer, 2010)(ISBN 1441915699)(O)(527s)_CsAi_.pdf
|
6.1 MB
|
|
Rasmussen C., Williams C. Gaussian Processes for Machine Learning(MIT, 2006)(ISBN 026218253X)(266s)_CsAi_.pdf
|
2.8 MB
|
|
Raynor W.J. The international dictionary of artificial intelligence (Glenlake, 1999)(ISBN 0814404448)(295s)_CsAi_.pdf
|
787.7 KB
|
|
Reiter E., Dale R. Building Natural Language Generation Systems (CUP, 2000)(ISBN 9780521620369)(600dpi)(T)(270s)_CsAi_.djvu
|
2.5 MB
|
|
Richards W. (ed.) Natural computation (MIT, 1988)(ISBN 0262181320)(K)(S)(T)(O)(571s)_CsAi_.djvu
|
6.0 MB
|
|
Robinson J.A. Logic.. Form and function - The Mechanization of Deductive Reasoning (Edinburgh Univ., 1979)(ISBN 9780852243053)(600dpi)(T)(316s)_CsAi_.djvu
|
2.1 MB
|
|
Rokach L. Pattern classification using ensemble methods (WS, 2010)(ISBN 9814271063)(O)(241s)_CsAi_.pdf
|
1.7 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
|
4.1 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.6 MB
|
|
Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.chm
|
746.5 KB
|
|
Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.pdf
|
723.0 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
|
9.2 MB
|
|
Russell S., Norvig P. Instructor's Manual for Artificial Intelligence.. the modern approach 2ed. (PH, 2003)(ISBN 0130903760)(181s)_CsAi_.pdf
|
1.3 MB
|
|
Russell S.J., Norvig P. Artificial intelligence.. A modern approach (2ed., PH, 2003)(ISBN 0130303052)(T)(K)(1109s)_CsAi_.djvu
|
12.9 MB
|
|
Russell, Norvig. Artificial intelligence - a modern approach (PH, 1995)(T)(ISBN 0131038052)(947s).djvu
|
11.9 MB
|
|
Rutkowski L. Computational Intelligence.. methods and techniques (Springer, 2008)(ISBN 3540762876)(600dpi)(T)(519s)_CsAi_.djvu
|
4.0 MB
|
|
Saitta L., Giordana A., Cornuejols A. Phase transitions in machine learning (CUP, 2011)(ISBN 0521763916)(O)(401s)_CsAi_.pdf
|
4.0 MB
|
|
Sammut C., Webb G. (eds.) Encyclopedia of machine learning (Springer, 2011)(ISBN 0387307680)(O)(1059s)_CsAi_.pdf
|
24.4 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.3 MB
|
|
Schapire R.E. The design and analysis of efficient learning algorithms (MIT, 1992)(ISBN 0262193256)(400dpi)(T)(219s)_CsAi_.djvu
|
1.7 MB
|
|
Scheutz M. (ed.) Computationalism.. New Directions (MIT,2002)(ISBN 0262194783)(217s).pdf
|
618.0 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.3 MB
|
|
Schwab B. AI game engine programming (1ed., Charles River Media, 2004)(ISBN 1584503440)(600dpi)(T)(C)(622s)_CsAi_.djvu
|
5.6 MB
|
|
Schwab B. AI game engine programming (2ed., Cengage, 2009)(ISBN 1584505729)(O)(741s)_CsAi_.pdf
|
3.9 MB
|
|
Shafer G. Probabilistic expert systems (SIAM, 1996)(ISBN 0898713730)(T)(O)(91s)_CsAi_.djvu
|
852.3 KB
|
|
Shapiro S.C. Encyclopedia of Artificial Intelligence, vol.1.. A-N (Wiley, 1987)(ISBN 9780471629740)(KA)(600dpi)(T)(O)(704s)_CsAi_.djvu
|
14.9 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.8 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
|
3.0 MB
|
|
Smola A.J., Schoelkopf B. Tutorial on support vector regression (2003)(24s).pdf
|
373.3 KB
|
|
Smola A.J., et al. (eds.) Advances in large margin classifiers (MIT, 2000)(ISBN 0262194481)(600dpi)(T)(O)(423s)_CsAi_.djvu
|
3.3 MB
|
|
Spitzer M. Lernen (Spektrum, 2002)(KA)(de)(600dpi)(T)(528s)_CsAi_.djvu
|
13.2 MB
|
|
Steinwart I., Christmann A. Support vector machines (Springer, 2008)(ISBN 0387772413)(O)(611s)_CsAi_.pdf
|
3.5 MB
|
|
Sugihara K. Machine interpretation of line drawings (MIT, 1986)(ISBN 0262192543)(237s)_CsAi_.pdf
|
3.7 MB
|
|
Sutton R.S., Barto A.G. Reinforcement learning (MIT, 1998)(ISBN 0262193981)_CsAi_.chm
|
4.0 MB
|
|
Tanimoto S.L. Elements of artificial intelligence.. an introduction using LISP (1987)(T)(553s).djvu
|
7.2 MB
|
|
Vapnik V. Statistical Learning Theory (Wiley 1998)(400dpi)(T)(ISBN 0471030031)(740s).djvu
|
5.6 MB
|
|
Vapnik V.N. The nature of statistical learning theory (2ed., Springer, 2000)(K)(150dpi)(T)(ISBN 0387987800)(332s).djvu
|
2.2 MB
|
|
Vijaya Kumar B.V.K., Mahalanobis A., Juday R.D. Correlation Pattern Recognition (CUP, 2005)(ISBN 0521571030)(O)(404s)_CsAi_.pdf
|
3.0 MB
|
|
Vlassis N. A Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence (MC, 2007)(ISBN 1598295268)(O)(84s)_CsAi_.pdf
|
718.9 KB
|
|
Wallen L.A. Automated Deduction in Nonclassical Logics.. Efficient Matrix Proof Methods for (MIT, 1989)(ISBN 9780262231442)(600dpi)(T)(260s)_CsAi_.djvu
|
1.8 MB
|
|
Wang C., Hill D. Deterministic learning theory for identification, recognition, and control (CRC, 2010)(ISBN 0849375533)(O)(218s)_CsAi_.pdf
|
11.5 MB
|
|
Weiss G. (ed.) Multiagent systems.. a modern approach to distributed artificial intelligence (MIT, 1999)(585s).pdf.gz
|
2.8 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.2 MB
|
|
Williamson D., Shmoys D. The design of approximation algorithms (CUP, 2011)(ISBN 0521195276)(O)(502s)_CsAi_.pdf
|
2.9 MB
|
|
Winograd T., Flores F. Understanding computers and cognition (AW, 1987)(ISBN 0201112973)(T)(221s)_CsAi_.djvu
|
1.9 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.3 MB
|
|
Zaknich A. Principles of adaptive filters and self-learning systems (Springer 2005)(397s)_CsAi_.pdf
|
2.4 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.4 MB
|
|
/Computer science/
|
|
Ashby W.R. Introduction to cybernetics (1957)(400dpi)(L)(T)(156s).djvu
|
2.5 MB
|
|
Aspray W. John von Neumann and the origins of modern computing (MIT Press, 1990)(ISBN 0262011212)(600dpi)(T)(394s)_Cs_.djvu
|
4.3 MB
|
|
Barabasi A. Linked-the new science of networks (Perseus Publ., 2002)(T)(ISBN 0738206679)(279s)_Cs_.djvu
|
2.7 MB
|
|
Barbin E., et al. (eds.) A history of algorithms (Springer, 1999)(ISBN 3540633693)(600dpi)(T)(533s)_Cs_.djvu
|
6.7 MB
|
|
Bardini T. Bootstrapping.. Douglas Engelbart, Coevolution, and origins of personal computing (Stanford 2000)(ISBN 0804738718)(600dpi)(T)(309s)_Cs_.djvu
|
3.9 MB
|
|
Bashe C.J., et al. IBM's early computers (MIT, 1986)(ISBN 0262022257)(600dpi)(T)(735s)_Cs_.djvu
|
9.0 MB
|
|
Berkeley E.C. Giant brains, or Machines that think (Science Editions, 1961)(ASIN B000NSR5P2)(600dpi)(T)(309s)_Cs_.djvu
|
3.0 MB
|
|
Bidgoli H. (ed.) Handbook of information security, Vol.1 (Wiley, 2006)(ISBN 0471648302)(O)(1122s)_Cs_.pdf
|
12.8 MB
|
|
Bidgoli H. (ed.) Handbook of information security, Vol.3 (Wiley, 2006)(ISBN 0471648329)(O)(1154s)_Cs_.pdf
|
12.8 MB
|
|
Bidgoli H. (ed.) Encyclopedia of information systems, Vol.1 (AP, 2002)(ISBN 0122272404)(676s)_Cs_.pdf
|
12.6 MB
|
|
Bidgoli H. (ed.) Encyclopedia of information systems, Vol.2 (AP, 2002)(ISBN 0122272404)(713s)_Cs_.pdf
|
11.4 MB
|
|
Bidgoli H. (ed.) Encyclopedia of information systems, Vol.3 (AP, 2002)(ISBN 0122272404)(705s)_Cs_.pdf
|
14.9 MB
|
|
Bidgoli H. (ed.) Encyclopedia of information systems, Vol.4 (AP, 2002)(ISBN 0122272404)(652s)_Cs_.pdf
|
20.3 MB
|
|
Bidgoli H. (ed.) Handbook of information security, Vol.2 (Wiley, 2006)(ISBN 0471648310)(O)(1008s)_Cs_.pdf
|
11.8 MB
|
|
Bidgoli H. (ed.) The Internet encyclopedia, Vol.1 (Wiley, 2004)(ISBN 0471222011)(O)(881s)_Cs_.pdf
|
12.2 MB
|
|
Bidgoli H. (ed.) The Internet encyclopedia, Vol.2 (Wiley, 2004)(ISBN 0471222011)(O)(875s)_Cs_.pdf
|
14.7 MB
|
|
Bidgoli H. (ed.) The Internet encyclopedia, Vol.3 (Wiley, 2004)(ISBN 0471222011)(O)(979s)_Cs_.pdf
|
11.2 MB
|
|
Brady J.M. The theory of computer science.. A programming approach (Wiley, 1977)(ISBN 0470991038)(600dpi)(T)(O)(300s)_Cs_.djvu
|
2.5 MB
|
|
Brookshear J.G. Computer science - an overview (9ed., AW, 2006)(ISBN 0321387015)(T)(C)(616s)_Cs_.djvu
|
8.4 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
|
7.2 MB
|
|
Ceruzzi P.E. A History of Modern Computing (MIT,2003)(ISBN 0262532034)(452s)_Cs_.pdf
|
4.5 MB
|
|
Cortada J.W., Corada J.W. Before the Computer (PUP, 1993)(ISBN 9780691048079)(600dpi)(T)(399s)_CsPop_.djvu
|
5.4 MB
|
|
Davis M. Engines of logic (Norton, 2001)(ISBN 0393322297)(600dpi)(T)(268s)_Cs_.djvu
|
1.9 MB
|
|
Feynman R.P. Lectures on computation (AW, 1996)(ISBN 0201489910)(T)(O)(317s)_Cs_.djvu
|
2.6 MB
|
|
Fischer P., Hofer P. Lexikon der Informatik (Springer,2007)(ISBN 3540725490)(de)(982s)_Cs_.pdf
|
2.6 MB
|
|
Ghosh S., Turrini E. (eds.) Cybercrimes.. A multidisciplinary analysis (Springer, 2010)(ISBN 3642135463)(O)(435s)_Cs_.pdf
|
2.8 MB
|
|
Grier D.A. When computers were human (PUP, 2005)(ISBN 0691091579)(600dpi)(T)(421s)_Cs_.djvu
|
6.3 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.3 MB
|
|
Henderson H. Alan Turing.. Computing genius and wartime code breaker (Chelsea House, 2011)(ISBN 0816061750)(O)(161s)_Cs_.pdf
|
2.5 MB
|
|
Hey A.J.G. (ed.) Feynman and computation.. exploring the limits of computers (Perseus, 1998)(KA)(T)(ISBN 0738200573)(462s)_Cs_.djvu
|
5.6 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.3 MB
|
|
History of computer science (web draft, 2001)(40s)_Cs_.pdf
|
252.0 KB
|
|
Karny et al. Probabilistic advisory system, research report(401s).ps.bz2
|
2.2 MB
|
|
Khosrow-Pour M. (ed.) Encyclopedia of information science and technology (Idea Group, 2005)(3256s)_Cs_.pdf
|
22.9 MB
|
|
Kumar S., Bentley P.J. On Growth, Form and Computers (Elsevier, 2003)(ISBN 0124287654)(T)(O)(456s)_Cs_.djvu
|
6.1 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.8 MB
|
|
Mitchell M. Complexity. A guided tour (OUP, 2009)(ISBN 9780195124415)(O)(366s)_CsPop_.pdf
|
4.3 MB
|
|
Morrison P., Morrison E. Charles Babbage and His Calculating Engines (Dover, 1961)(ISBN 9780486200125)(600dpi)(T)(438s)_CsPop_.djvu
|
4.2 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.9 MB
|
|
Murray C.J. The supermen.. the story of Seymour Cray and the supercomputer (Wiley, 1997)(ISBN 0471048852)(600dpi)(T)(241s)_Cs_.djvu
|
2.1 MB
|
|
Proceedings TOPLAS POPL96 (ACM, 1996)(T)(O)(409s).djvu
|
7.1 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.6 MB
|
|
Reynolds C., Tymann P. Schaum's outline of principles of computer science (MGH, 2008)(ISBN 0071460519)(233s)_Cs_.pdf
|
1.8 MB
|
|
Roberts E.S. Thinking Recursively (Wiley, 1986)(ISBN 9780471816522)(T)(189s)_CsPop_.djvu
|
1.2 MB
|
|
Schoening U. Theoretische Informatik - kurz gefasst (Spektrum, 2008)(ISBN 3827418240)(de)(KA)(150dpi)(T)(171s)_Cs_.djvu
|
1.6 MB
|
|
Sudkamp T. Languages and machines.. An introduction to the theory of computer science (2ed., AW, 1997)(ISBN 0201821362)(T)(574s)_Cs_.djvu
|
3.3 MB
|
|
Tan J. (ed.) Medical informatics.. Concepts, methodologies, tools, and applications (IGI Global, 2009)(ISBN 1605660507)(2593s)_Cs_.pdf
|
37.7 MB
|
|
Tucker A.B. (ed.) Computer science handbook (CRC, 2004)(ISBN 158488360X)(2624s)_Cs_.pdf
|
23.1 MB
|
|
Turing A., Copeland J. (ed.) The essential Turing. Seminal writings in computing, logic, philosophy, AI (OUP, 2004)(ISBN 0198250800)(622s)_Cs_.pdf
|
3.5 MB
|
|
Vickers S. Topology via logic (CUP, 1989)(ISBN 0521360625)(K)(T)(211s)_Cs_.djvu
|
1.3 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.8 MB
|
|
Weinberg G.M. Psychology of Computer Programming (Van Nostrand, 1985)(ISBN 0442292643)(T)(C)(299s)_Cs_.djvu
|
2.4 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
|
2.0 MB
|
|
/Computer science/Computability/
|
|
Arora S., Barak B. Computational complexity.. A modern approach (CUP, 2009)(ISBN 0521424267)(605s)_CsNp_.pdf
|
3.3 MB
|
|
Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf
|
3.6 MB
|
|
Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf
|
495.1 KB
|
|
Barendregt H., Barendsen E. Introduction to Lambda calculus (free web version, 2000)(53s)_CsNp_.pdf
|
256.8 KB
|
|
Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(600dpi)(T)(474s)_CsNp_.djvu
|
10.3 MB
|
|
Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(T)(474s)_CsNp_.djvu
|
4.9 MB
|
|
Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysis (Springer 2003)(448s).pdf
|
2.9 MB
|
|
Bogdanov A., Trevisan L. Average-case complexity (NOW, 2006)(ISBN 1933019492)(122s)_CsNp_.pdf
|
598.4 KB
|
|
Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf
|
259.0 KB
|
|
Bovet D., Crescenzi P. Introduction to the theory of complexity (PH, 1994)(ISBN 0139153802)(O)(291s)_CsNp_.pdf
|
1.2 MB
|
|
Bridges D.S. Computability.. A mathematical sketchbook (GTM146, Springer, 1994)(ISBN 0387941746)(600dpi)(K)(T)(O)(190s)_CsNp_.djvu
|
1.9 MB
|
|
Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(KA)(T)(ISBN 3540605827)(645s)_CsNp_.djvu
|
4.8 MB
|
|
Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(L)(T)(ISBN 3540605827)(323s).djvu
|
7.6 MB
|
|
Calude C. Information and randomness.. An algorithmic perspective (2ed., Springer, 2002)(ISBN 3540434666)(600dpi)(T)(487s)_CsNp_.djvu
|
3.8 MB
|
|
Calude C. Information and randomness.. an algorithmic approach (Springer, 1994)(ISBN 3540574565)(600dpi)(T)(258s)_CsNp_.djvu
|
2.0 MB
|
|
Calude C. Theories of computational complexity (ADM35, NH, 1988)(ISBN 044470356X)(T)(498s)_CsNp_.djvu
|
2.2 MB
|
|
Chazelle B. The discrepancy method. Randomness and complexity (draft, 2001)(O)(497s)_CsNp_.pdf
|
3.2 MB
|
|
Chiswell I. A course in formal languages, automata and groups (Springer, 2009)(ISBN 1848009399)(161s)_CsNp_.pdf
|
1.2 MB
|
|
Clote P., Kranakis E. Boolean functions and computation models (Springer, 2002)(ISBN 3540594361)(T)(O)(618s)_CsNp_.djvu
|
4.5 MB
|
|
Codd E.F. Cellular automata (ACM monograph, AP, 1968)(ISBN 0121788504)(KA)(600dpi)(T)(132s)_CsNp_.djvu
|
959.7 KB
|
|
Cooper S.B. Computability theory (CRC, 2004)(ISBN 1584882379)(K)(600dpi)(T)(421s)_CsNp_.djvu
|
3.3 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.3 MB
|
|
Cooper, Lowe, Sorbi. (eds.) New computational paradigms. Changing conceptions of what is computable (Springer, 2008)(ISBN 0387360336)(551s)_CsNp_.pdf
|
5.1 MB
|
|
Cowan G., Pines D., Meltzer D. (eds.) Complexity (Perseus Books, 1999)(ISBN 0738202320)(40dpi)(T)(O)(S)(750s)_CsNp_.djvu
|
10.7 MB
|
|
Cutland N. Computability.. an Introduction to Recursive Function Theory (CUP, 1992)(ISBN 0521223849)(K)(T)(260s)_CsNp_.djvu
|
2.5 MB
|
|
Dasgupta S., Papadimitriou C.H., Vazirani U.V. Algorithms (web draft, 2006)(ISBN 0073523402)(336s)_CsNp_.pdf
|
1.7 MB
|
|
Davis M. Computability and unsolvability (MGH, 1958)(ISBN 0486614719)(T)(235s)_CsNp_.djvu
|
1.8 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.8 MB
|
|
Davis M., Weyuker E. Computability, complexity and languages.. Fundamentals of theoretical computer science (AP, 1983)(ISBN 0122063805)(K)(T)(434s)_CsNp_.djvu
|
2.3 MB
|
|
Dowek G. Proofs and algorithms.. An introduction to logic and computability (Springer, 2011)(ISBN 0857291203)(O)(168s)_CsNp_.pdf
|
966.8 KB
|
|
Downey R., Hirschfeldt D. Algorithmic randomness and complexity (Springer, 2010)(ISBN 0387955674)(O)(884s)_CsNp_.pdf
|
5.6 MB
|
|
Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(450s)_CsNp_.pdf
|
3.2 MB
|
|
Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(453s)_CsNp_.pdf
|
3.0 MB
|
|
Du Ding-Zhu, Ko Ker-I. Problem solving in automata, languages and complexity (Wiley, 2001)(ISBN 0471439606)(T)(401s).djvu
|
3.5 MB
|
|
Eilenberg S., Elgot C. Recursiveness (AP, 1970)(ISBN 0122340507)(600dpi)(T)(94s)_CsNp_.djvu
|
452.1 KB
|
|
Enderton H. Computability theory.. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(176s)_CsNp_.pdf
|
1.9 MB
|
|
Enderton H.B. Computability theory. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(187s)_CsNp_.pdf
|
2.0 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.8 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.8 MB
|
|
Fernandez M. Models of computation.. An introduction to computability theory (Springer, 2009)(ISBN 1848824335)(188s)_CsNp_.pdf
|
1.1 MB
|
|
Feynman et al. Lectures on computation (1996)(T)(ISBN 0201489910)(324s).djvu
|
3.3 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
|
3.1 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.2 MB
|
|
Goldreich O. Computational complexity.. A conceptual perspective (CUP, 2008)(ISBN 052188473X)(632s)_CsNp_.pdf
|
3.5 MB
|
|
Goldreich O. Introduction to complexity theory, lecture notes (1999)(375s).pdf
|
2.4 MB
|
|
Goldreich O. P, NP, and NP-completeness.. The basics of computational complexity (CUP, 2010)(ISBN 052119248X)(O)(216s)_CsNp_.pdf
|
990.2 KB
|
|
Griffor E.R. (ed.) Handbook of computability theory (Elsevier, 1999)(ISBN 0444898824)(T)(710s)_CsNp_.djvu
|
3.7 MB
|
|
Griffor E.R. (ed.) Handbook of computability theory (SLFM140, Elsevier, 1999)(ISBN 0444898824)(T)(O)(735s)_CsNp_.djvu
|
4.7 MB
|
|
Gurari E. Introduction to the theory of computation (1989)(ISBN 0716781824)(600s).pdf
|
6.7 MB
|
|
Gurari. Introduction to theory of computation (1989)(html).zip
|
3.1 MB
|
|
Harel D. Computers Ltd.. What they really can't do (OUP, 2000)(ISBN 0198505558)(600dpi)(T)(O)(238s)_CsNp_.djvu
|
1.8 MB
|
|
Hehner E.C.R. A practical theory of programming (2ed., 2004)(ISBN 0387941061)(242s).pdf
|
933.7 KB
|
|
Hein J. Theory of Computation. An Introduction (JaBP, 1996)(ISBN 0867204974)(600dpi)(T)(628s)_CsNp_.djvu
|
3.4 MB
|
|
Homer S., Selman A.L. Computability and complexity theory (2ed., Springer, 2011)(ISBN 9781461406815)(O)(315s)_CsNp_.pdf
|
1.6 MB
|
|
Homer S., Selman A.L. Computability and complexity theory (Springer, 2001)(ISBN 0387950559)(T)(207s)_CsNp_.djvu
|
1.4 MB
|
|
Iordache O. Polystochastic models for complexity (Springer, 2010)(ISBN 3642106536)(O)(310s)_Cs_.pdf
|
1.7 MB
|
|
Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(O)(484s)_CsNp_.pdf
|
1.8 MB
|
|
Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(T)(457s)_CsNp_.djvu
|
3.7 MB
|
|
Lewis H.R., Papadimitriou C.H. Elements of the Theory of Computation (2ed., PH, 1998)(ISBN 0132624788)(K)(T)(375s)_CsNp_.djvu
|
3.1 MB
|
|
Lipton R. The P=NP question and Goedel's lost letter (Springer, 2010)(ISBN 1441971548)(O)(254s)_CsNp_.pdf
|
1.2 MB
|
|
Luby M., Wigderson A. Pairwise independence and derandomization (NOW, 2006)(ISBN 1933019220)(78s)_CsNp_.pdf
|
476.4 KB
|
|
Mal'cev A.I. Algorithms and recursive functions (Wolters, 1970)(ISBN 9001570704)(K)(T)(O)(370s)_CsNp_.djvu
|
2.2 MB
|
|
Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsNp_.djvu
|
275.4 KB
|
|
Moret B. The theory of computation (AW, 1998)(ISBN 0201258285)(T)(471s)_CsNp_.djvu
|
3.5 MB
|
|
Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(450s)_CsNp_.pdf
|
2.5 MB
|
|
Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(O)(450s)_CsNp_.pdf
|
2.5 MB
|
|
O'Donnell M.J. Computing in systems described by equations (LNCS0058, Springer, 1977)(ISBN 0387085319)(T)(125s)_CsNp_.djvu
|
750.9 KB
|
|
Papadimitriou C.H. Computational Complexity (1994)(600dpi)(T)(540s)_CsNp_.djvu
|
4.7 MB
|
|
Parberry I. Complexity of parallel computations (free web version, 1987)(ISBN 0470209313)(T)(O)(212s)_CsNp_.djvu
|
1.4 MB
|
|
Peter R. Recursive functions (2ed., AP, 1967)(ASIN B0006BP0OE)(T)(301s)_CsNp_.djvu
|
1.9 MB
|
|
Salomaa A. Computation and automata (CUP 1985)(T)(ISBN 0521302455)(290s).djvu
|
3.3 MB
|
|
Schoening U. Algorithmen kurz gefasst (Spectrum, 1997)(ISBN 3827402328)(de)(T)(209s)_CsNp_.djvu
|
1.4 MB
|
|
Schoening U. Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu
|
1.7 MB
|
|
Schoning U. Gems of theoretical computer science (draft, Springer, 1998)(ISBN 3540644253)(327s)_CsNp_.pdf
|
1.4 MB
|
|
Singh A. Elements of computation theory (Springer, 2009)(ISBN 1848824963)(429s)_CsNp_.pdf
|
3.3 MB
|
|
Sipser M. Introduction to the theory of computation (2005)(600dpi)(T)(ISBN 0534950973)(453s)_CsNp_.djvu
|
5.2 MB
|
|
Sipser M. Introduction to the theory of computation (PWS, 1997)(ISBN 053494728X)(K)(T)(410s)_CsNp_.djvu
|
3.7 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
|
906.0 KB
|
|
Smith C. A recursive introduction to the theory of computation (Springer, 1994)(ISBN 0387943323)(600dpi)(T)(O)(155s)_CsNp_.djvu
|
1.2 MB
|
|
Straubing H. Finite automata, formal logic, and circuit complexity (Birkhauser, 1994)(600dpi)(T)(ISBN 0817637192)(237s).djvu
|
11.2 MB
|
|
Streicher T. Domain-theoretic foundations of functional programming (WS, 2006)(ISBN 9812701427)(T)(C)(O)(132s)_CsNp_.djvu
|
876.4 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
|
753.7 KB
|
|
Turner R. Computable Models (Springer, 2009)(ISBN 1848820518)(238s)_CsNp_.pdf
|
1.1 MB
|
|
Wegener I. Branching programs and binary decision diagrams (SIAM, 2000)(ISBN 0898714583)(T)(O)(419s)_CsNp_.djvu
|
3.6 MB
|
|
Yap C.K. Theory of complexity classes (web draft, 2009)(O)(438s)_CsNp_.pdf
|
5.0 MB
|
|
Yap C.K. Theory of complexity classes. Vol.1 (free draft, 1998)(O)(435s)_CsNp_.pdf
|
2.0 MB
|
|
Zenil H. (ed.) Randomness through computation. Some answers, more questions (WS, 2011)(ISBN 9814327743)(O)(440s)_CsNp_.pdf
|
2.5 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.9 MB
|
|
Zimand M. Computational complexity. A quantitative perspective (Elsevier, 2004)(ISBN 0444828419)(T)(350s)_CsNp_.djvu
|
2.0 MB
|
|
/Databases/
|
|
Abiteboul S., Hull R., Vianu V. Foundations of databases (AW, 1995)(ISBN 0201537710)(O)(704s)_CsAl_.pdf
|
2.7 MB
|
|
Alagic S. Relational database technology (Springer, 1986)(ISBN 038796276X)(T)(271s)_CsAl_.djvu
|
1.7 MB
|
|
C. J. Date SQL and Relational Theory 2009.chm
|
1.2 MB
|
|
C. J. Date SQL and Relational Theory 2012(446s).pdf
|
21.2 MB
|
|
C. J. Date, Hugh Darwen Guide to SQL Standard, A 1996(T)(523s).djvu
|
4.4 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
|
10.3 MB
|
|
Date C. Database in Depth.. Relational Theory for Practitioners (O'Reilly, 2005)(ISBN 0596100124)(600dpi)(T)(227s)_CsDb_.djvu
|
2.0 MB
|
|
Date C.J. An Introduction to Database Systems.. Volume 1 (6ed., AW, 1994)(ISBN 9780201824582)(T)(863s)_CsDb_.djvu
|
7.5 MB
|
|
Date C.J. An introduction to database systems, vol.2 (AW, 1985)(ISBN 0201144743)(600dpi)(T)(400s)_CsAl_.djvu
|
3.2 MB
|
|
Date C.J. Date on Database.. Writings 2000-2006 (Apress, 2006)(ISBN 9781590597460)(600dpi)(T)(C)(O)(566s)_CsDb_.djvu
|
5.6 MB
|
|
Date C.J. Instructor's Manual for Introduction to Database Systems, 8ed. (2003)(T)(401s)_CsDb_.djvu
|
1.9 MB
|
|
Date C.J. Introduction to database systems (8ed., Pearson, 2004)(ISBN 0321189566)(300dpi)(K)(T)(1033s)_CsAl_.djvu
|
25.9 MB
|
|
Garcia-Molina H., Ullman J.D., Widom J.D. Database System Implementation (PH, 1999)(ISBN 0130402648)(600dpi)(T)(671s)_CsDb_.djvu
|
13.2 MB
|
|
Garcia-Molina H., Ullman J.D., Widom J.D. Database Systems.. The Complete Book (PH, 2001)(ISBN 9780130319951)(T)(1144s)_CsDb_.djvu
|
8.4 MB
|
|
Lausen G., Vossen G. Models and languages of object-oriented databases (AW, 1998)(ISBN 0201624311)(T)(224s)_CsDb_.djvu
|
1.7 MB
|
|
Liu L., Ozsu M. (eds.) Encyclopedia of database systems (Springer, 2009)(ISBN 9780387355443)(O)(3818s)_CsDb_.pdf
|
62.5 MB
|
|
Trinder P. A functional database (phd thesis, report PRG-82, Oxford, 1989)(600dpi)(T)(210s)_CsDb_.djvu
|
1.8 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.9 MB
|
|
Ullman J.D., Widom J.D. A first course in database systems (PH, 1997)(ISBN 0138613370)(400dpi)(T)(O)(482s)_CsDb_.djvu
|
9.9 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.6 MB
|
|
Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf
|
3.7 MB
|
|
Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu
|
975.0 KB
|
|
Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf
|
3.9 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.6 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.2 MB
|
|
Arbib M.A. (ed.) Algebraic Theory of Machines, Languages and Semigroups (AP, 1968)(ISBN 0120590506)(KA)(T)(373s)_CsAl_.djvu
|
2.5 MB
|
|
Baeten J., Basten T., Reniers M. Process algebra.. Equational theories of communicating processes (CUP, 2010)(ISBN 0521820499)(O)(478s)_CsAl_.pdf
|
1.6 MB
|
|
Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf
|
4.6 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.6 MB
|
|
Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra (Elsevier, 2001)(ISBN 9780444828309)(T)(1357s)_CsAl_.djvu
|
10.7 MB
|
|
Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu
|
3.1 MB
|
|
Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu
|
6.3 MB
|
|
Bhattacharya A., Konar A., Mandal A. Parallel and distributed logic programming (Springer, 2006)(301s)_CsAl_.pdf
|
1.8 MB
|
|
Bird R., de Moor O. Algebra of programming (PH, 1997)(ISBN 013507245X)(600dpi)(T)(314s)_CsAl_.djvu
|
2.6 MB
|
|
Bjorner D. Software Engineering 1.. Abstraction and Modelling (Springer, 2006)(ISBN 9783540211495)(T)(O)(735s)_CsAl_.djvu
|
8.4 MB
|
|
Bjorner D. Software Engineering 2.. Specification of Systems and Languages (Springer, 2006)(ISBN 9783540211501)(T)(O)(783s)_CsAl_.djvu
|
8.9 MB
|
|
Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu
|
6.4 MB
|
|
Bowen J. Formal Specification and Documentation Using Z.. A Case Study Approach (Thomson Computer Press, 1996)(ISBN 9781850322306)(315s)_CsPl_.pdf
|
716.6 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.7 MB
|
|
Bradley A., Manna Z. The calculus of computation.. Decision procedures with applications to verification (Springer, 2007)(ISBN 3540741127)(O)(375s)_CsAl_.pdf
|
1.8 MB
|
|
Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu
|
999.1 KB
|
|
Carroll J., Long D. Theory of finite automata (PH, 1989)(ISBN 0139137084)(T)(447s)_CsAl_.djvu
|
3.3 MB
|
|
Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu
|
6.7 MB
|
|
Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s).djvu
|
3.5 MB
|
|
Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu
|
2.2 MB
|
|
Clarke E.M., Grumberg O., Peled D.A. Model checking (no some pages)(MIT, 2000)(ISBN 0262032708)(K)(T)(326s)_CsAl_.djvu
|
2.0 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.5 MB
|
|
Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf
|
1.4 MB
|
|
Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf
|
1.8 MB
|
|
Darlington. Sintez algoritmov sortirovki (ru)(T)(36s)_CsAl_.djvu
|
323.7 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.7 MB
|
|
Dejkstra E'. (_Dijkstra_) Disciplina programmirovaniya (Mir, 1978)(ru)(600dpi)(T)(277s)_CsAl_.djvu
|
2.9 MB
|
|
Dejkstra E. (_Dijkstra_) Disciplina programmirovaniya (M.Mir, 1978)(ru)(K)(600dpi)(T)(275s)_CsAl_.djvu
|
4.7 MB
|
|
Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu
|
3.4 MB
|
|
Dijkstra E.W. A discipline of programming (PH, 1976)(ISBN 013215871X)(600dpi)(T)(232s)_CsAl_.djvu
|
1.7 MB
|
|
Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf
|
2.0 MB
|
|
Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu
|
4.9 MB
|
|
Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf
|
4.2 MB
|
|
Eilenberg S. Automata, languages, and machines. Volume A (AP, 1974)(ISBN 0122340019)(T)(469s)_CsAl_.djvu
|
2.4 MB
|
|
Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu
|
1.9 MB
|
|
Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu
|
2.9 MB
|
|
Fokkink W. Introduction to process algebra (2ed., Springer, 2007)(ISBN 354066579X)(175s)_CsAl_.pdf
|
1.0 MB
|
|
Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf
|
1.7 MB
|
|
Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu
|
2.5 MB
|
|
Gill A. Linejnye posledovatel'nostnye mashiny(Nauka, 1974)(600dpi)(T)(288s)(KA)(ru)_CsAl_.djvu
|
3.6 MB
|
|
Gill A. Vvedenie v teoriju konechnyh avtomatov (Nauka, 1966)(ru)(T)(272s)_CsAl_.djvu
|
2.0 MB
|
|
Ginsburg S. An introduction to mathematical machine theory (Addison, 1962)(ISBN 0201023903)(T)(157s)_CsAl_.djvu
|
933.4 KB
|
|
Ginsburg S. The mathematical theory of context-free languages (MGH, 1966)(ASIN B0000CNDEK)(T)(245s)_CsAl_.djvu
|
1.8 MB
|
|
Ginzburg A. Algebraic theory of automata (AP, 1968)(ISBN 0122850505)(T)(173s)_CsAl_.djvu
|
2.0 MB
|
|
Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu
|
1.2 MB
|
|
Gries D. (ed.) Programming methodology (Springer, 1978)(ISBN 0387903291)(600dpi)(T)(454s)_CsAl_.djvu
|
5.1 MB
|
|
Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu
|
2.6 MB
|
|
Gris D. Nauka programmirovaniya(Mir, 1984)(600dpi)(T)(416s)(ru)(KA)_CsAl_.djvu
|
7.0 MB
|
|
Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf
|
1.8 MB
|
|
Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu
|
2.4 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.7 MB
|
|
Hehner E.C.R. A practical theory of programming (free web version, 2012)(O)(256s).pdf
|
1.5 MB
|
|
Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu
|
2.0 MB
|
|
Hoar Ch. (_Hoare_) Vzaimodejstvujushchie posledovatel'nye processy (Mir, 1989)(ISBN 5030010432)(ru)(T)(266s)_CsAl_.djvu
|
1.9 MB
|
|
Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf
|
1.1 MB
|
|
Holcombe M. Algebraic automata theory (CUP, 1982)(ISBN 0521231965)(400dpi)(T)(O)(238s)_CsAl_.djvu
|
1.8 MB
|
|
Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628)(O)(690s).pdf
|
4.1 MB
|
|
Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628).chm
|
1.4 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.9 MB
|
|
Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(253s)_CsAl_.djvu
|
1.8 MB
|
|
Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(262s)_CsAl_.djvu
|
1.8 MB
|
|
Hopcroft, Motwani, Ullman. Introduction to automata theory, languages and computation (2ed. AW 2001)(T)(ISBN 0201441241)(537s).djvu
|
9.2 MB
|
|
Ito M. Algebraic theory of automata and languages(WS,2004)(T)(ISBN 9810247273)(202s)_CsPl_.djvu
|
1.3 MB
|
|
Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf
|
1.7 MB
|
|
Jacky J. The Way of Z.. Practical Programming with Formal Methods (CUP, 1996)(ISBN 9780521559768)(600dpi)(T)(370s)_CsPl_.djvu
|
2.3 MB
|
|
Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf
|
1.1 MB
|
|
Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf
|
672.2 KB
|
|
Klark, Gramberg, Peled. (_Clarke,Grumberg,Peled_) Verifikaciya modelej programm.. Model Checking (MCNMO, 2002)(ru)(T)(416s)_CsAl_.djvu
|
4.8 MB
|
|
Kobern A. (_Cockburn_) Sovremennye metody opisaniya funkcional'nyx trebovanij k sistemam (Lori, 2002)(ISBN 5855821528)(ru)(T)(K)(280s)_CsPl_.djvu
|
2.2 MB
|
|
Kobrinskii N., Trakhtenbrot B. Introduction to the theory of finite automata (SLFM038, NH, 1965)(ISBN 0444534032)(T)(342s)_CsAl_.djvu
|
2.2 MB
|
|
Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu
|
1.2 MB
|
|
Lamport L. Specifying Systems.. The TLA+ Language and Tools for Hardware and Software Engineering (AW, 2002)(ISBN 032114306X)(382s)_CsAl_.pdf
|
2.6 MB
|
|
Lamport L. Specifying systems.. errata (2010)(5s).pdf
|
111.2 KB
|
|
Lectures and papers on computational logic (2008)(758s)-o.pdf
|
6.7 MB
|
|
Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf
|
1.6 MB
|
|
Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu
|
9.1 MB
|
|
Liskov B., Guttag J. Abstraction and specification in program development (2pr., MIT, MGH, 1987)(ISBN 0262121123)(600dpi)(T)(486s)_CsAl_.djvu
|
3.2 MB
|
|
Maibaum T.S.E., Turski W.M. The Specification of Computer Programs (AW, 1987)(ISBN 0201142260)(600dpi)(T)(O)(287s)_CsPl_.djvu
|
2.3 MB
|
|
Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsAl_.djvu
|
319.2 KB
|
|
Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu
|
3.3 MB
|
|
Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu
|
4.6 MB
|
|
Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu
|
2.9 MB
|
|
Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu
|
5.9 MB
|
|
McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu
|
3.5 MB
|
|
Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu
|
1.8 MB
|
|
Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu
|
2.1 MB
|
|
Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu
|
4.7 MB
|
|
Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf
|
503.0 KB
|
|
Murray F.J. The theory of mathematical machines (Rev.ed., King's Crown, 1947)(ASIN B0007EA3B0)(600dpi)(T)(123s)_Cs_.djvu
|
2.7 MB
|
|
Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu
|
1.7 MB
|
|
Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu
|
1.5 MB
|
|
Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(T)(316s).djvu
|
1.6 MB
|
|
Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf
|
2.7 MB
|
|
Ramsay A.M. Formal Methods in Artificial Intelligence (CUP, 1988)(ISBN 0521352363)(600dpi)(T)(286s)_CsAi_.djvu
|
4.1 MB
|
|
Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu
|
3.7 MB
|
|
Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu
|
5.9 MB
|
|
Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu
|
1.9 MB
|
|
Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf
|
589.8 KB
|
|
Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu
|
1.9 MB
|
|
Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu
|
2.1 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
|
2.1 MB
|
|
Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu
|
2.5 MB
|
|
Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf
|
680.0 KB
|
|
Wood D. Grammars and L-forms.. an introduction (LNCS0091, Springer, 1980)(ISBN 3540102337)(T)(323s)_CsAl_.djvu
|
2.3 MB
|
|
Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf
|
1.3 MB
|
|
Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf
|
1.3 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.2 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.8 MB
|
|
van Leeuwen J.(ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(T)(ISBN 0444880712)(1010s).djvu
|
12.8 MB
|
|
/Game programming/
|
|
Astle D., Hawkins K. Beginning OpenGL game programming (Course Technology PTR, 2004)(ISBN 1592003699)(600dpi)(T)(C)(334s).djvu
|
4.1 MB
|
|
Barron T. Multiplayer game programming (PrimaTech, 2001)(ISBN 0761532986)(817s).pdf
|
13.4 MB
|
|
Finney K.C. 3D game programming all in one (1ed., Course Technology PTR, 2004)(ISBN 159200136X)(O)(849s).pdf
|
12.1 MB
|
|
Finney K.C. 3D game programming all in one (2ed., Course Technology PTR, 2007)(ISBN 1598632663)(1117s).pdf
|
13.8 MB
|
|
Flynt J.P., Salem O. Software engineering for game developers (Course Technology PTR, 2005)(ISBN 1592001556)(O)(890s).pdf
|
15.9 MB
|
|
Gregory J. Game Engine Architecture (A.K.Peters, 2009)(ISBN 1568814135)(413s).pdf
|
8.3 MB
|
|
Koster R. A theory of fun for game design (Paraglyph Press, 2005)(ISBN 1932111972)(600dpi)(T)(C)(256s).djvu
|
6.7 MB
|
|
Strougo R., Wenderlich R. - Learning Cocos2D A Hands-On Guide to Building iOS Games with Cocos2D, Box2D, and Chipmunk - 2011.pdf
|
5.9 MB
|
|
Zerbst S., Duevel O. 3D game engine programming (Thomson, 2004)(ISBN 1592003516)(897s).pdf
|
4.9 MB
|
|
/Mobile devices/
|
|
Lee G. Test-driven iOS development (AW, 2012)(ISBN 0321774183).epub
|
4.4 MB
|
|
Mednieks Z. - Programming Android 2nd Edition - 2012-o.pdf
|
5.7 MB
|
|
Mednieks Z. - Programming Android 2nd Edition - 2012.epub
|
6.3 MB
|
|
Neuburg M. Programming iOS 4.. Fundamentals of iPhone, iPad, and iPod Touch Development (O'Reilly, 2011)(ISBN 9781449388430)(O)(834s).pdf
|
9.0 MB
|
|
/Natural language/
|
|
Aliseda-Llera A., et al. Computing natural language (1998)(ISBN 1575861003)(T)(168s)_CsAi_.djvu
|
1.1 MB
|
|
Allen J. Natural Language Understanding (Benjamin-Cummings, 1988)(ISBN 0805303308)(600dpi)(T)(591s)_CsAi_.djvu
|
4.4 MB
|
|
Allen J. Natural language understanding (2ed., Benjamin-Cummings, 1995)(ISBN 0805303340)(600dpi)(T)(675s)_CsAi_.djvu
|
7.1 MB
|
|
Alshawi H. (ed.) The CORE language engine (MIT, 1992)(ISBN 0262011263)(600dpi)(T)(340s)_CsAi_.djvu
|
1.9 MB
|
|
Alvarado S.J. Understanding editorial text.. a computer model of argument comprehension (Kluwer, 1990)(ISBN 0792391233)(600dpi)(T)(326s)_CsAi_.djvu
|
3.1 MB
|
|
Bird S., Klein E., Loper E. Natural Language Processing with Python (O'Reilly, 2009)(ISBN 9780596516499)(O)(504s)_CsAi_.pdf
|
3.6 MB
|
|
Blackburn P., Bos J. Representation and inference for natural language, vol. 1 (program code).tar.gz
|
48.5 KB
|
|
Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (program code).tar.gz
|
34.9 KB
|
|
Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (web draft, 1999)(225s)_CsAi_.pdf
|
1.0 MB
|
|
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.8 MB
|
|
Bolc L. (ed.) Natural language communication with computers (LNCS0063, Springer, 1978)(ISBN 038708911X)(T)(288s)_CsAi_.djvu
|
1.6 MB
|
|
Bunt H., Muskens R. (eds.) Computing meaning, vol.1 (Kluwer, 1999)(ISBN 0792361083)(600dpi)(T)(371s)_CsAi_.djvu
|
2.9 MB
|
|
Carpenter R.L. The Logic of Typed Feature Structures.. With Applications to Unification Grammar (CUP, 1992)(ISBN 0521419328)(T)(280s)_CsAi_.djvu
|
1.7 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
|
5.0 MB
|
|
Copestake A. Implementing Typed Feature Structure Grammars (CSLI, 2001)(ISBN 1575862611)(600dpi)(T)(249s)_CsAi_.djvu
|
2.0 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.5 MB
|
|
Delmonte R. Computational linguistic text processing.. lexicon, grammar, parsing, and anaphora resolution (Nova, 2008)(ISBN 9781604567496)(600dpi)(T)(401s)_CsNl_.djvu
|
3.4 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.3 MB
|
|
Deng L. Dynamic Speech Models (MC, 2006)(ISBN 1598290649)(118s)_CsAi_.pdf
|
1.8 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.7 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.9 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.9 MB
|
|
Fellbaum C. WordNet.. An Electronic Lexical Database (MIT, 1998)(ISBN 9780262061971)(600dpi)(T)(447s)_CsAi_.djvu
|
5.4 MB
|
|
Fomichov V. Semantics-oriented natural language processing.. Mathematical models and algorithms (Springer, 2010)(ISBN 0387729240)(O)(340s)_CsAi_.pdf
|
1.7 MB
|
|
Frederking R.E. Integrated Natural Language Dialogue.... A Computational Model (Springer, 1987)(ISBN 9780898382556)(600dpi)(T)(201s)_CsAi_.djvu
|
1.2 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.7 MB
|
|
Gardner A. An Artificial Intelligence Approach to Legal Reasoning (MIT, 1987)(ISBN 0262071045)(600dpi)(T)(239s)_CsAi_.djvu
|
1.5 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.7 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.9 MB
|
|
Gelbukh A., Bolshakov I. Computational linguistics.. models, resources, applications (U. Nacional Autonoma de Mexico, 2004)(ISBN 9703601472)(198s).pdf
|
1.7 MB
|
|
Georgiev H. English algorithmic grammar (Continuum, 2006)(ISBN 0826487777)(T)(265s)_CsAi_.djvu
|
1.7 MB
|
|
Georgiev H. Language Engineering (Continuum, 2007)(ISBN 9780826482945)(600dpi)(T)(318s)_CsAi_.djvu
|
2.7 MB
|
|
Georgiev H. Language Engineering (program code).zip
|
2.3 MB
|
|
Gonzalez R.C., Thomason M.G. Syntactic pattern recognition (AW, 1978)(ISBN 0201029316)(600dpi)(T)(302s)_CsAi_.djvu
|
2.7 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.5 MB
|
|
Gries S.T. Quantitative Corpus Linguistics with R.. A Practical Introduction (Routledge, 2009)(ISBN 0415962714)(600dpi)(T)(257s)_CsAi_.djvu
|
2.1 MB
|
|
Grimm M., Kroscel K. (eds.) Robust speech recognition and understanding (I-Tech, 2007)(ISBN 9783902613080)(468s)_CsAi_.pdf
|
5.8 MB
|
|
Grishman R. Computational Linguistics.. An Introduction (CUP, 1986)(ISBN 9780521325028)(600dpi)(K)(T)(203s)_CsAi_.djvu
|
1.6 MB
|
|
Grishman R. Computational linguistics.. an introduction (CUP, 1986)(ISBN 0521310385)(KA)(600dpi)(T)(195s)_CsAi_.djvu
|
2.0 MB
|
|
Guo C.-M. (ed.) Machine Tractable Dictionaries.. Design and Construction (Ablex, 1995)(ISBN 0893918539)_CsAi_.chm
|
802.6 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.7 MB
|
|
Hausser R. Foundations of Computational Linguistics (2ed., Springer, 2001)(ISBN 3540424172)(600dpi)(T)(592s)_CsAi_.djvu
|
4.6 MB
|
|
Holmes J., Holmes W. Speech synthesis and recognition (2ed., Taylor & Francis, 2001)(ISBN 0748408576)(317s)_CsAi_.pdf
|
3.1 MB
|
|
Hovy E.H. Generating Natural Language Under Pragmatic Constraints (Psychology, 1988)(ISBN 9780805802498)(600dpi)(T)(227s)_CsAi_.djvu
|
1.7 MB
|
|
Huang, Acero, Hon. Spoken language processing.. guide to algorithms and system development (PH, 2001)(965s)_Cs_.pdf
|
10.9 MB
|
|
Jackson P., Moulinier I. (eds.) Natural language processing for online applications.. text retrieval, extraction and categorization (2002)(ISBN 902724989X)(237s).pdf
|
1.3 MB
|
|
Jurafsky D., Martin G.H. Speech and Language Processing (PH, draft, 1999)(T)(975s).djvu
|
6.0 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.9 MB
|
|
Kallmeyer L. Parsing beyond context-free grammars (Springer, 2010)(ISBN 364214845X)(O)(260s)_LF_.pdf
|
1.3 MB
|
|
Kao A., Poteet S.R. Natural Language Processing and Text Mining (Springer, 2006)(ISBN 9781846281754)(O)(272s)_CsAi_.pdf
|
2.8 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.5 MB
|
|
Konrad K. Model Generation for Natural Language Interpretation and Analysis (Springer, 2010)(ISBN 9783540246404)(600dpi)(T)(171s)_CsLn_.djvu
|
2.1 MB
|
|
Konrad K. Model generation for natural language interpretation and analysis (PhD thesis, Saarbruecken, 2000)(600dpi)(T)(212s)_CsAi_.djvu
|
1.4 MB
|
|
Levinson S.E. Mathematical Models for Speech Technology (Wiley,2005)(ISBN 0470844078)(284s)_CsAi_.pdf
|
1.7 MB
|
|
Lobanov B.M., Cirul'nik L.I. Komp'yuternyj sintez i klonirovanie rechi (Minsk, 2008)(ru)(316s)_CsAi_.pdf
|
9.2 MB
|
|
MacCartney B. Natural language inference (phd thesis, Stanford, 2009)(179s)_CsAi_.pdf
|
1.2 MB
|
|
Mahlow C., Piotrowski M. (eds.) State of the art in computational morphology.. (Springer, 2009)(ISBN 3642041302)(147s)_CsAi_.pdf
|
2.4 MB
|
|
Mani I., Maybury M.T. (eds.) Advances in Automatic Text Summarization (MIT, 1999)(ISBN 0262133598)_CsAi_.chm
|
5.4 MB
|
|
Manning C.D., Schuetze H. Foundations of Statistical Natural Language Processing (MIT, 1999)(ISBN 9780262133609)(O)(717s)_CsAi_.pdf
|
6.6 MB
|
|
Marchuk Yu.N. Kompyuternaya lingvistika (AST, 2007)(ru)(ISBN 5170394802)(K)(T)(319s)_L_.djvu
|
3.3 MB
|
|
Marcus M.P. Theory of Syntactic Recognition for Natural Language (MIT, 1980)(ISBN 0262131498)(600dpi)(T)(352s)_CsAi_.djvu
|
2.7 MB
|
|
Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 0582066220)(T)(O)(312s)_CsAi_.djvu
|
1.9 MB
|
|
Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 9780582066229)(600dpi)(T)(O)(312s)_CsAi_.djvu
|
3.3 MB
|
|
McKeown K. Text Generation (CUP, 1992)(ISBN 9780521438025)(600dpi)(T)(256s)_CsAi_.djvu
|
1.9 MB
|
|
Mihelic F., Zibert J. (eds.) Speech recognition. Technologies and applications (I-Tech, 2008)(ISBN 9789537619299)(600dpi)(T)(O)(574s)_CsAi_.djvu
|
7.3 MB
|
|
Minnen G. Efficient processing with constraint-logic grammars using grammar compilation (CSLI, 2001)(ISBN 1575863065)(600dpi)(T)(265s)_CsAi_.djvu
|
1.8 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.2 MB
|
|
Oakes M.P. Statistics for Corpus Linguistics (EUP, 1998)(ISBN 0748610324)_LF_.chm
|
1.1 MB
|
|
Partee B.H., Meulen A.T., Wall R.E. Mathematical methods in linguistics (Kluwer, 1990)(ISBN 9027722447)(T)(O)(686s)_LF_.djvu
|
3.9 MB
|
|
Partee B.H., ter Meulen A., Wall R.E. Errata for Mathematical Methods in Linguistics (Kluwer, 1990)(ISBN 9027722447)(1s)_LF_.pdf
|
80.4 KB
|
|
Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(204s)_CsAi_.pdf
|
1.2 MB
|
|
Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(program code)_CsAi_.rar
|
112.0 KB
|
|
Perkins J. Python Text Processing with NLTK 2.0 Cookbook (Packt Publishing, 2010)(ISBN 1849513600)(O)(272s)_S_.pdf
|
2.8 MB
|
|
Popov E'.V. Obshchenie s E'VM na estestvennom jazyke (Nauka, 1982)(ru)(T)(360s)_CsAi_.djvu
|
6.0 MB
|
|
Reiter E., Dale R. Building natural language generation systems (CUP, 2000)(ISBN 0521620368)(T)(S)(272s)_CsAi_.djvu
|
2.3 MB
|
|
Sag I.A., Wasow T. Syntactic theory.. a formal introduction (1999)(483s).pdf
|
2.4 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.4 MB
|
|
Saint-Dizier P., Viegas E. (eds.) Computational lexical semantics (CUP, 1995)(ISBN 0521444101)(T)(459s)_CsAi_.djvu
|
2.7 MB
|
|
Saint-Dizier P., Viegas E. Computational Lexical Semantics (CUP, 1995)(ISBN 9780521444101)(600dpi)(T)(457s)_CsAi_.djvu
|
4.5 MB
|
|
Shevelyov O.G. Metody avtomaticheskoj klassifikacii tekstov na estestvennom yazyke (Tomsk, 2007)(ISBN 5913020278)(ru)(360dpi)(K)(T)(146s)_CsAi_.djvu
|
2.5 MB
|
|
Shieber S.M. An Introduction to Unification-Based Approaches to Grammar (CSLI, 1986)(ISBN 0937073008)(600dpi)(T)(121s)_LF_.djvu
|
746.4 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.5 MB
|
|
Stabler E.P. The Logical Approach to Syntax.. Foundations, Specifications, and Implementation (MIT, 1993)(ISBN 0262193159)(600dpi)(T)(454s)_CsAi_.djvu
|
2.8 MB
|
|
Stevenson M. Word sense disambiguation.. the case for combinations of knowledge sources (CSLI, 2003)(ISBN 1575863901)(600dpi)(T)(193s)_CsAi_.djvu
|
1.4 MB
|
|
Tennant H. Natural Language Processing.. An Introduction to an Emerging Technology (MGH, 1981)(ISBN 0894331000)(600dpi)(T)(286s)_CsAi_.djvu
|
1.9 MB
|
|
Zoeppritz M. Syntax for German in the User Specialty Languages system (Niemeyer, 1984)(ISBN 3484319097)(600dpi)(T)(384s)_CsAi_.djvu
|
3.3 MB
|
|
de Swart H. Introduction to natural language semantics (CSLI, 1998)(ISBN 1575861380)(600dpi)(T)(271s)_CsAi_.djvu
|
1.9 MB
|
|
de la Higuera C. Grammatical Inference.. Learning Automata and Grammars (CUP, 2010)(ISBN 9780521963165)(O)(433s)_CsAi_.pdf
|
2.5 MB
|
|
van Eijck J., Unger C. Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(O)(422s)_CsAi_.pdf
|
1.8 MB
|
|
van Eijck J., Unger C. Solutions for Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(38s)_CsAi_.pdf
|
175.3 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.1 MB
|
|
Wellington C.A. Refactoring to agility (AW, 2006)(ISBN 0321486471).chm
|
398.5 KB
|
|
/Programming languages/
|
|
Alcock D. Illustrating Pascal (CUP, 1987)(ISBN 0521336953)(T)(S)(194s)_CsPl_.djvu
|
4.7 MB
|
|
Apt K. Principles of constraint programming (CUP, 2003)(420s)_CsPl_.pdf
|
1.8 MB
|
|
Armstrong J. Making reliable distributed systems (using Erlang)(PhD thesis, Stockholm, 2003)(295s)_CsPl_.pdf
|
859.2 KB
|
|
Bergin, Gibson. (eds.) History of programming languages, vol.2 (AW, 1996)(ISBN 0201895021)(T)(O)(878s)_CsPl_.djvu
|
8.9 MB
|
|
Brooks D.R. An Introduction to HTML and JavaScript for Scientists and Engineers (Springer, 2007)(ISBN 1846286565)(O)(207s)_CsPl_.pdf
|
3.2 MB
|
|
Budd T. A little Smalltalk (AW, 1987)(K)(ISBN 9780201106985)(600dpi)(T)(O)(295s)_CsPl_.djvu
|
2.2 MB
|
|
Budd T. Multiparadigm Programming in Leda (AW, 1994)(ISBN 0201820803)(600dpi)(T)(412s)_CsPl_.djvu
|
2.8 MB
|
|
Butenhof. Programming with POSIX threads (AW, 1997)(T)(ISBN 0201633922)(398s).djvu
|
10.0 MB
|
|
Curien P.-L. Categorical combinators, sequential algorithms, and functional programming (Birkhauser, 1993)(ISBN 3764336544)(600dpi)(T)(424s)_CsPl_.djvu
|
3.2 MB
|
|
Dongarra J., et al. Sourcebook of parallel computing (Elsevier, 2003)(ISBN 1558608710)(852s).pdf
|
6.5 MB
|
|
Feldt, Johnson, Neumann. Ruby developers guide (Syngress, 2002)(T)(C)(721s).djvu
|
6.7 MB
|
|
Finkel R.A. Advanced programming language design (AW 1996)(ISBN 0805311912)(600dpi)(T)(O)(370s)_CsPl_.djvu
|
2.5 MB
|
|
Finkel R.A. Advanced programming language design (AW, 1996)(ISBN 0805311912)(O)(370s)_CsPl_.pdf
|
1.4 MB
|
|
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
|
5.0 MB
|
|
Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1 (Wiley, 2004)(ISBN 0471471631)(600dpi)(T)(O)(917s)_CsPl_.djvu
|
21.2 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
|
6.2 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.3 MB
|
|
Gamma, Helm, Johnson, Vlissides. Design patterns CD(400dpi)(T)(C)(806s).djvu
|
8.9 MB
|
|
Gottfried B.S. Schaum's Outline of Visual Basic (Schaum,2001)(ISBN 0071356711)(224s).pdf
|
2.2 MB
|
|
Griswold R.E. Macroimplementation of Snobol 4 (W.H.Freeman, 1972)(ISBN 9780716704478)(600dpi)(T)(323s)_CsPl_.djvu
|
2.3 MB
|
|
Griswold R.E., et al. Snobol 4 Programming Language (PH, 1971)(ISBN 9780138153731)(600dpi)(K)(T)(O)(272s)_CsPl_.djvu
|
1.7 MB
|
|
Griswold, Griswold. Implementation of the ICON programming language (2002)(400dpi)(L)(T)(ISBN 0691084319)(174s).djvu
|
2.8 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.7 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.6 MB
|
|
Harrison J. Introduction to functional programming (web draft, 1997)(168s)_CsPl_.pdf
|
518.8 KB
|
|
Harrop J. F# for Scientists (Wiley, 2008)(ISBN 9780470242117)(T)(O)(371s)_CsPl_.djvu
|
2.7 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.8 MB
|
|
Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.epub
|
7.3 MB
|
|
Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.pdf
|
16.6 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.8 MB
|
|
Hudak P. Conception, Evolution, And Application Of Functional Programming Languages (ACM Comp.Surv. 21, p359, 1989)(T)(53s)_CsPl_.djvu
|
585.7 KB
|
|
Hudak P. Conception, evolution, and application of functional programming languages (ACM comp.surveys 21, 1989)(T)(53s).djvu
|
748.0 KB
|
|
Hyde R. The Art of Assembly Language (No Starch Press, 2010)(ISBN 9781593272074)(600dpi)(T)(O)(764s)_CsPl_.djvu
|
5.2 MB
|
|
Ierusalimschy R. Programming in Lua (2ed., Lua.org, 2006)(ISBN 9788590379829)(O)(329s).pdf
|
1.7 MB
|
|
Irvine K.R. Assembly language for Intel-based computers (4ed., PH, 2003)(ISBN 0130910139)(T)(731s)_CsPl_.djvu
|
7.9 MB
|
|
Iverson K. A Programming Language (Wiley, 1962)(ISBN 0471430145)(600dpi)(T)(303s)_CsPl_.djvu
|
2.8 MB
|
|
Jung K., Brown A. Beginning Lua Programming (Wrox, 2007)(ISBN 9780470069172)(O)(674s).pdf
|
8.9 MB
|
|
Katzan H. APL Programming and Computer Techniques (Van Nostrand, 1970)(ISBN 9780442242510)(T)(342s)_CsPl_.djvu
|
1.8 MB
|
|
Kernighan, Pike. The practice of programming (1999)(ISBN 020161586X)(T)(C)(273s).djvu
|
2.6 MB
|
|
Kiusalaas J. Numerical Methods in Engineering With Python (ISBN 9780521852876)(433s).pdf
|
1.9 MB
|
|
Kluge W. (ed.) Implementation of functional languages (Proc. Bad Godesberg, LNCS1268, Springer, 1997)(T)(ISBN 3540632379)(295s)_CsPl_.djvu
|
2.7 MB
|
|
Knuth D.E. Literate Programming (CSLI, 1992)(ISBN 9780937073803)(600dpi)(T)(O)(384s)_CsPl_.djvu
|
2.9 MB
|
|
Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s).pdf
|
5.2 MB
|
|
Langtangen H.P. A Primer on Scientific Programming with Python (Springer, 2009)(ISBN 9783642024740)(O)(726s).pdf
|
7.2 MB
|
|
Langtangen H.P. A primer on scientific programming with Python (3ed., Springer, 2012)(ISBN 9783642302923)(O)(820s)_CsPl_.pdf
|
5.4 MB
|
|
Langtangen H.P. Python scripting for computational science (Springer, 2011)(ISBN 9783540739166)(769s).pdf
|
6.6 MB
|
|
Leler W. Constraint Programming Languages.. Their Specification and Generation (AW, 1987)(ISBN 9780201062434)(K)(600dpi)(T)(210s)_CsPl_.djvu
|
1.4 MB
|
|
Lewis D.W. Fundamentals of embedded software.. where C and Assembly meet (PH, 2001)(ISBN 0130615897)(KA)(T)(280s)_CsPl_.djvu
|
3.0 MB
|
|
Lieberherr K. Adaptive object-oriented software.. the Demeter method (1996)(400dpi)(T)(651s).djvu
|
3.8 MB
|
|
Lift in Action - Perrett - Manning (2011)-o.pdf
|
3.8 MB
|
|
Lin A.C. Implementing concurrency for ML-based operating system (MS thesis, MIT, 1998)(400dpi)(T)(43s).djvu
|
252.2 KB
|
|
Loogen R. Integration funktionaler und logischer Programmiersprachen (Oldenbourg, 1995)(ISBN 3486230409)(de)(600dpi)(T)(286s)_CsPl_.djvu
|
2.4 MB
|
|
Loukides, Oram. Programming with GNU software (O'Reilly, 1996)(ISBN 1565921127)(T)(C)(263s).djvu
|
4.0 MB
|
|
Marshal B. XML by example (QUE, 2000)(T)(C)(528s).djvu
|
6.2 MB
|
|
Martin R.C. Agile software development.. principles, patterns, and practices (Pearson, 2003)(ISBN 0135974445)(600dpi)(T)(557s)_CsPl_.djvu
|
5.9 MB
|
|
McGettrick A.D. The Definition of Programming Languages (CUP, 1980)(ISBN 0521295858)(600dpi)(T)(O)(279s)_CsPl_.djvu
|
2.1 MB
|
|
Merz T., Druemmer O. Die PostScript-PDF-Bibel (2ed.)(de)(ISBN 3935320019)(658s).pdf
|
8.4 MB
|
|
Metsker S.J. Building Parsers With Java (AW, 2001)(ISBN 9780201719628).chm
|
3.2 MB
|
|
Meyer B. Object-Oriented Software Construction (2ed., PH, 2000)(ISBN 0136291554)(O)(1406s)_CsPl_.pdf
|
7.7 MB
|
|
Neuburg M. AppleScript.. The Definitive Guide (O'Reilly, 2003)(ISBN 9780596005573)(600dpi)(T)(481s)_CsPl_.djvu
|
4.9 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.9 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.6 MB
|
|
Parr T. The Definitive ANTLR Reference.. Building Domain-Specific Languages (Pragmatic Bookshelf, 2007)(ISBN 9780978739256)(O)(369s).pdf
|
2.0 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.7 MB
|
|
Pickering R. Foundations of F# (Apress, 2007)(ISBN 9781590597576)(O)(383s)_CsPl_.pdf
|
5.2 MB
|
|
Pierce B.C. (ed.) Advanced Topics in Types and Programming Languages (MIT, 2004)(ISBN 9780262162289)(O)(589s)_CsPl_.pdf
|
3.3 MB
|
|
Pierce B.C. Types and Programming Languages (MIT, 2002)(ISBN 0262162091)(O)(645s)_CsPl_.pdf
|
1.8 MB
|
|
Plasmeijer R., van Eckelen M. Functional programming and parallel graph rewriting (AW, 1993)(free web version)(622s)_CsPl_.pdf
|
1.4 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.6 MB
|
|
Pollard et al. (eds.) High Performance Computing Systems and Applications (Kluwer, 2000)(T)(619s).djvu
|
7.6 MB
|
|
Priestley M. A science of operations.. Machines, logic and the invention of programming (Springer, 2011)(ISBN 1848825544)(O)(352s)_CsPl_.pdf
|
1.5 MB
|
|
Proceedings of the third ACM SIGPLAN conference on History of programming languages (ACM, 2007)(484s)_CsPl_.pdf
|
9.8 MB
|
|
Reek K. Pointers on C (no front matter, no TOC, no index)(AW, 1997)(ISBN 0673999866)(600dpi)(T)(O)(609s)_CsPl_.djvu
|
14.0 MB
|
|
Rempt B. GUI programming with Python.. Qt edition (html).tar.bz2
|
301.6 KB
|
|
Rempt B. GUI programming with Python.. Qt edition (source)_pyqtsrc.tar.gz
|
16.2 MB
|
|
Reynolds J.C. Theories of programming languages (CUP, 1998)(ISBN 0521594146)(O)(T)(S)(513s)_CsPl_.djvu
|
3.4 MB
|
|
Rosenberg. How debuggers work(T)(C)(263s).djvu
|
3.3 MB
|
|
Schach S. Object-Oriented Software Engineering (7ed., MGH, 2007)(ISBN 007352333X)(O)(578s)_CsPl_.pdf
|
9.7 MB
|
|
Schach S. Object-Oriented and Classical Software Engineering (8ed., MGH, 2010)(ISBN 0073376183)(O)(688s)_CsPl_.pdf
|
2.7 MB
|
|
Schach S.R. Object-oriented and Classical Software Engineering (7ed., MGH, 2006)(ISBN 0071258493)(400dpi)(T)(642s)_CsPl_.djvu
|
13.4 MB
|
|
Scott M.L. Programming Language Pragmatics (3ed., Elsevier, 2009)(ISBN 9780123745149)(941s)_CsPl_.pdf
|
6.3 MB
|
|
Scott M.L. Programming Language Pragmatics (Morgan Kaufmann, 2000)(ISBN 9781558604421)(K)(600dpi)(T)(866s)_CsPl_.djvu
|
8.9 MB
|
|
Sebesta R.W. Concepts of Programming Languages (7ed., AW, 2005)(ISBN 0321330250)(600dpi)(T)(738s).djvu
|
25.5 MB
|
|
Sebesta R.W. Concepts of Programming Languages (no TOC)(9ed., AW, 2009)(ISBN 9780136073475)(600dpi)(T)(773s)_CsPl_.djvu
|
12.3 MB
|
|
Sebesta R.W. Concepts of programming languages (5ed., AW, 2001)(ISBN 0201752956)(KA)(150dpi)(T)(698s)_CsPl_.djvu
|
5.2 MB
|
|
Smart J.F. Jenkins.. The Definitive Guide (O'Reilly, 2011)(ISBN 9781449305352)(600dpi)(T)(C)(O)(406s).djvu
|
9.4 MB
|
|
Spivey J.M. An Introduction to Logic Programming Through Prolog (PH, 1996, free web version, 2002)(ISBN 9780135360477)(260s)_CsAl_.pdf
|
1.1 MB
|
|
Vandevoorde D. C++ Solutions.. companion to C++ programming language (AW, 1998)(O)(600dpi)(T)(ISBN 0201309653)(300s)_CsPl_.djvu
|
1.9 MB
|
|
Vladimir Kushnir Safe C++ How to avoid common mistakes 2012(140s).pdf
|
5.7 MB
|
|
Vladimir Kushnir Safe C++ How to avoid common mistakes 2012.epub
|
2.8 MB
|
|
Wadge W.W., Ashcroft E.A. Lucid, the dataflow programming language (AP, 1985)(ISBN 9780127296500)(600dpi)(T)(328s)_CsPl_.djvu
|
2.3 MB
|
|
Wagner R., Wagner R. XSLT for dummies (Hungry Minds, 2002)(ISBN 0764536516)_CsPl_.chm
|
1.1 MB
|
|
Wampler D. Functional Programming for Java Developers (O'Reilly, 2011)(ISBN 9781449311032)(600dpi)(T)(C)(O)(88s).djvu
|
732.1 KB
|
|
Wexelblat R.L. (ed.) History of programming languages, vol.1 (ACMM, AP, 1981)(ISBN 0127450408)(T)(O)(822s)_CsPl_.djvu
|
9.3 MB
|
|
Williams A. - CPP Concurrency in Action - 2012-o.pdf
|
2.9 MB
|
|
Williams A. - CPP Concurrency in Action - 2012.epub
|
6.9 MB
|
|
Williams J.H., Fisher D.A. Design and Implementation of Programming Languages (LNCS0054, Springer, 1977)(ISBN 354008360X)(T)(506s)_CsPl_.djvu
|
3.0 MB
|
|
Winskel G. The formal semantics of programming languages.. an introduction (MIT, 1993)(ISBN 0262231697)(600dpi)(T)(383s)_CsPl_.djvu
|
2.6 MB
|
|
Yourdon E. Writings of the revolution (Yourdon Press, 1982)(ISBN 0917072251)(600dpi)(T)(471s)_CsPl_.djvu
|
5.2 MB
|
|
Yourdon E.N. (ed.) Classics in software engineering (Yourdon Press, 1979)(ISBN 0917072146)(600dpi)(T)(433s)_CsPl_.djvu
|
3.4 MB
|
|
/Programming languages/C++/
|
|
Alexandrescu A. Modern C++ design.. generic programming and design patterns applied (AW, 2001)(ISBN 0201704315)(285s).pdf
|
1.2 MB
|
|
Alexandrescu. Modern C++ Design, Generic Programming and Design Patterns Applied (AW).chm
|
835.4 KB
|
|
Barton J.J., Nackman L.R. Scientific and engineering C++ (AW, 1994)(T)(667s)_CsPl_.djvu
|
5.2 MB
|
|
Barton J.J., Nackman L.R. Scientific and engineering C++ (Addison Wesley Longman, 1994)(example C code).rar
|
168.5 KB
|
|
Deitel P.J., Deitel H.M. C++ How to Program (7ed., PH, 2009)(ISBN 9780136117261)(200dpi)(T)(C)(1090s)_CsPl_.djvu
|
20.5 MB
|
|
Gaddis T., Walters J., Muganda G. Starting Out with C++.. Early Objects (5ed., AW, 2005)(ISBN 0321383486)(600dpi)(T)(1337s)_CsPl_.djvu
|
7.2 MB
|
|
Glassborow F. You can program in C++. A programmer's introduction (Wiley, 2006)(ISBN 0470014687)(O)(391s)_CsPl_.pdf
|
2.0 MB
|
|
Hubbard J.R. Schaum's Outline of Fundamentals of Computing with C++ (Schaum,1998)(ISBN 0070308683)(T)(372s)_CsPl_.djvu
|
4.0 MB
|
|
Hubbard J.R. Theory and problems of programming with C++ (Schaum's outline, MGH, 1996)(T)(446s).djvu
|
9.0 MB
|
|
Josuttis. The C++ STL - A Tutorial And Reference (AW, 1999)(642s)_CsPl_.pdf
|
2.7 MB
|
|
Lippman S.B. Essential C++ (AW, 2002)(ISBN 0201485184)(251s)_CsPl_.pdf
|
684.8 KB
|
|
Logan S. Cross platform development in C++ (AW, 2008)(O)(ISBN 032124642X)(575s)_CsPl_.pdf
|
3.1 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
|
17.6 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.5 MB
|
|
Pozrikidis C. Introduction to C++ programming and graphics (Springer, 2007)(ISBN 0387689923)(O)(383s)_CsPl_.pdf
|
2.5 MB
|
|
Roberge, Brandle, Whittington. A laboratory course in C++ data structures (2ed., 2003)(ISBN 0763719765)(600dpi)(T)(C)(381s)_CsPl_.djvu
|
3.4 MB
|
|
Savitch W. Problem Solving with C++ (7ed., AW, 2008)(ISBN 9780321531346)(600dpi)(T)(1061s)_CsPl_.djvu
|
9.7 MB
|
|
Scheinerman E. C++ for mathematicians. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(520s)_CsPl_.pdf
|
1.8 MB
|
|
Scheinerman E. C++ for mathematicians.. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(521s)_CsPl_.pdf
|
2.1 MB
|
|
Stroustrup B. The Design and Evolution of C++ (AW, 1994)(ISBN 0201543303)(600dpi)(T)(O)(472s)_CsPl_.djvu
|
3.4 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.7 MB
|
|
Weiss M.A. Data structures and problem solving using C++ (2ed., Pearson, 2003)(ISBN 0321205006)(600dpi)(T)(976s)_CsPl_.djvu
|
9.9 MB
|
|
/Programming languages/C/
|
|
Alcock D. Illustrating C (ANSI ISO version) (Rev.Ed., CUP, 1992)(ISBN 0521468213)(O)(T)(S)(225s)_CsPl_.djvu
|
2.9 MB
|
|
Harbison S.P., Steele G.L. C, a reference manual (PH, 2002)(ISBN 013089592X)(600dpi)(T)(551s)_CsPl_.djvu
|
4.1 MB
|
|
Kernighan B.W., Ritchie D.M. Programmieren in C (PH, 1988)(ISBN 013110330X)(de)(KA)(T)(300s)_CsPl_.djvu
|
2.9 MB
|
|
Kernighan B.W., Ritchie D.M. The ANSI C programming language (2ed., PH, 1998)(ISBN 0131103709)(600dpi)(T)(287s)_CsPl_.djvu
|
2.0 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.3 MB
|
|
Kernighan, Ritchie. The ANSI C programming language (2ed.)(T)(C)(281s).djvu
|
2.6 MB
|
|
Navia J. Quick introduction to C (lcc compiler docs, 2002)(T)(249s).djvu
|
1.9 MB
|
|
Plauger. The standard C library (PH, 1991)(ISBN 0138380120)(T)(C)(514s).djvu
|
5.8 MB
|
|
/Programming languages/Erlang/
|
|
Armstrong J. Programming Erlang.. Software for a Concurrent World (Pragmatic Bookshelf, 2007)(ISBN 9781934356005)(O)(526s)_CsPl_.pdf
|
2.9 MB
|
|
Cesarini F., Thompson S. Erlang Programming (O'Reilly, 2009)(ISBN 9780596518189)(600dpi)(T)(C)(O)(496s)_CsPl_.djvu
|
4.6 MB
|
|
Cesarini F., Thompson S. Erlang programming (O'Reilly, 2009)(ISBN 9780596518189)(O)(496s)_CsPl_.pdf
|
3.2 MB
|
|
Virding R., Wikstrom C., Williams M. Concurrent Programming in Erlang. Part 1 (2ed., PH, 1996)(ISBN 9780135083017)(205s)_CsPl_.pdf
|
570.6 KB
|
|
/Programming languages/Fortran/
|
|
Adams J.C., et al. Fortran 90 Handbook, complete ANSI-ISO reference (MGH, 1992)(ISBN 0070004064)(835s).pdf
|
1.7 MB
|
|
Adams J.C., et al. The Fortran 2003 Handbook (Springer, 2008)(ISBN 1846283787)(713s)_CsPl_.pdf
|
3.4 MB
|
|
Akin E. Object-oriented programming via Fortran 90-95 (1991)(301s)_S_.pdf
|
1.2 MB
|
|
Chapman S.J. Fortran 90-95 for scientists and engineers (1ed., MGH, 1998)(ISBN 0070119384)(600dpi)(T)(891s)_CsPl_.djvu
|
15.2 MB
|
|
Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(600dpi)(T)(O)(988s)_CsPl_.djvu
|
7.8 MB
|
|
Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(program code)_CsPl_.rar
|
1.1 MB
|
|
Chapman. Fortran 90-95 for scientists and engineers. Files for the book and errata.zip
|
328.0 KB
|
|
Chivers, Sleightholme. Introduction to Fortran 77, 90, 95, 2003 - code examples.rar
|
37.7 KB
|
|
Chivers, Sleightholme. Introduction to programming with Fortran 77, 90, 95, 2003 (Springer, 2006)(599s)_S_.pdf
|
842.3 KB
|
|
Fortran 90 5-day course (U.Liverpool, 1997)(600dpi)(T)(278s).djvu
|
1.8 MB
|
|
Hahn B. Introduction to Fortran 90 for scientists and engineers (bad fonts, bad equations)(ISBN 0340600349)(286s).pdf
|
2.0 MB
|
|
Kupferschmid M. Classical Fortran (M.Dekker, 2002)(ISBN 0824708024)(KA)(T)(755s)_CsPl_.djvu
|
4.7 MB
|
|
Metcalf M., Reid J., Cohen M. Fortran 95 2003 explained (OUP, 2004)(ISBN 019852692X)(600dpi)(T)(434s)_CsPl_.djvu
|
4.5 MB
|
|
Metcalf, Reid. Fortran 90,95 explained (Oxford, 1999)(400dpi)(ISBN 0198505582)(T)(355s).djvu
|
3.0 MB
|
|
Page C. Fortran 90 for Fortran 77 programmers (web draft, 2002)(28s).pdf
|
157.0 KB
|
|
Page C. Professional programmer's guide to Fortran 77 (free web version, FDL, 2005)(128s).pdf
|
375.9 KB
|
|
Ramsden, Lin, et al. Fortran 90.. a conversion course for Fortran 77 programmers (Manchester lecture notes, v3.0, 1995)(105s).pdf
|
230.2 KB
|
|
/Programming languages/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
|
2.1 MB
|
|
Hudak P. The Haskell school of expression (CUP, 2000)(ISBN 0521643384)(K)(600dpi)(T)(382s)_CsAl_.djvu
|
3.5 MB
|
|
Hutton A. Programming in Haskell (draft, CUP, 2005)(200s)_CsPl_.pdf
|
882.6 KB
|
|
Thompson S. Haskell.. the art of functional programming (1ed., AW, 1996)(KA)(T)(502s).djvu
|
2.8 MB
|
|
Thompson S. Haskell.. the art of functional programming (2ed., AW, 1999)(KA)(T)(504s).djvu
|
3.7 MB
|
|
/Programming languages/Java/
|
|
Deitel P., Deitel H. Java, how to program (9ed., PH, 2012)(ISBN 9780132575669)(C)(O)(1535s)_CsPl_.pdf
|
25.3 MB
|
|
Lindsey C.S., Tolliver J.S., Lindblad T. JavaTech (CUP, 2005)(ISBN 0521821134)(729s)_CsPl_.pdf
|
3.5 MB
|
|
Marinescu F. EJB design patters (Wiley, 2002)(400dpi)(ISBN 0471208310)(T)(C)(289s).djvu
|
1.7 MB
|
|
/Programming languages/Lisp/
|
|
Allen J. Anatomy of LISP (MGH, 1978)(ISBN 007001115X)(600dpi)(T)(463s)_CsPl_.djvu
|
4.4 MB
|
|
Chazarain J. Programmer avec Scheme (Thomson, 1998)(fr)(ISBN 2841801314)(600dpi)(T)(O)(767s)_CsPl_.djvu
|
4.9 MB
|
|
Cooper D. Basic LISP techniques (free web version, 2003)(100s)_CsPl_.pdf
|
404.0 KB
|
|
Eisenberg M., Abelson H. Programming in Scheme (MIT, 1988)(ISBN 9780262550178)(K)(T)(318s)_CsPl_.djvu
|
2.4 MB
|
|
Eisenberg, Abelson. Programming in Scheme (MIT, 1988)(T)(ISBN 0262550172)(318s).djvu
|
8.1 MB
|
|
Friedman D.P., Felleisen M. The Little Schemer (4ed., MIT, 1995)(ISBN 0262560992)(600dpi)(T)(O)(211s)_CsPl_.djvu
|
2.1 MB
|
|
Gabriel R.P. Performance and evaluation of LISP systems (MIT, 1985)(ISBN 9780262070935)(294s)_CsPl_.pdf
|
1.2 MB
|
|
Harvey B., Wright M. Simply SCHEME.. introducing computer science (MIT, 1994)(ISBN 0262082268)(T)(610s)_CsPl_.djvu
|
5.6 MB
|
|
Keene S.E. Object-Oriented Programming in Common Lisp (AW, 1989)(T)(ISBN 0201175894)(288s)_CsPl_.djvu
|
1.9 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.7 MB
|
|
Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005)(html).rar
|
191.6 KB
|
|
Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005).chm
|
240.3 KB
|
|
McCarthy J. LISP 1.5 Programmer's Manual (MIT, 1962)(ISBN 0262130114)(400dpi)(T)(O)(116s)_CsPl_.djvu
|
763.1 KB
|
|
Queinnec C. LISP in small pieces (CUP, 1996)(KA)(ISBN 0521562473)(600dpi)(T)(526s)_CsPl_.djvu
|
5.0 MB
|
|
Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(600dpi)(T)(O)(532s)_CsPl_.djvu
|
3.4 MB
|
|
Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(errata).html.gz
|
4.8 KB
|
|
Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(program code).zip
|
233.3 KB
|
|
Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395).chm
|
2.2 MB
|
|
Steele G. Common LISP. The Language (2ed., Digital Press, 1990)(ISBN 1555580416)(1097s)_CsPl_.pdf
|
3.9 MB
|
|
Steele G.L. Common Lisp, the language (1990)(1096s).ps.gz
|
1.8 MB
|
|
Touretzky D.S. Common LISP.. a gentle introduction to symbolic computation (1990)(ISBN 0805304924)(T)(587s).djvu
|
2.5 MB
|
|
Watson M. Loving LISP (version 0.7, 2002)(pdf,code).zip
|
336.2 KB
|
|
Winston P.H., Horn B. Lisp (AW, 1980)(ISBN 0201083299)(T)(435s)_CsPl_.djvu
|
2.8 MB
|
|
/Programming languages/ML/
|
|
Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(757s)_CsPl_.pdf
|
2.9 MB
|
|
Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(T)(757s)_CsPl_.djvu
|
4.1 MB
|
|
Gansner E.R., Reppy J.H. (eds.) The Standard ML Basis Library (CUP, 2002)(ISBN 0521794781)(O)(487s)_CsPl_.pdf
|
1.4 MB
|
|
Harper. Programming in Standard ML (lecture notes, 2002)(T)(293s).djvu
|
1.4 MB
|
|
Harrop J. OCaml for scientists (Flying Frog Consultancy, 2005)(T)(281s)_CsPl_.djvu
|
2.2 MB
|
|
Kahrs S. Mistakes and ambiguities in the definition of Standard ML (1993)(600dpi)(T)(33s)_CsPl_.djvu
|
251.0 KB
|
|
Milner R., Tofte M. Commentary on Standard ML (MIT, 1991)(ISBN 0262631377)(176s)_CsPl_.pdf
|
886.1 KB
|
|
Milner R., Tofte M., Harper R. The Definition of Standard ML (1ed., MIT, 1990)(ISBN 0262132559)(600dpi)(T)(O)(116s)_CsPl_.djvu
|
695.8 KB
|
|
Milner R., Tofte M., Harper R., MacQueen D. The definition of Standard ML, revised (MIT, 1997)(ISBN 9780262631815)(400dpi)(T)(104s)_CsPl_.djvu
|
678.7 KB
|
|
Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(600dpi)(T)(493s)_CsPl_.djvu
|
5.6 MB
|
|
Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(T)(493s)_CsPl_.djvu
|
4.2 MB
|
|
Reppy J.H. Concurrent Programming in ML (CUP, 2007)(ISBN 0521714729)(325s)_CsPl_.pdf
|
912.4 KB
|
|
Sokolowski S. Applicative High Order Programming.. Standard ML in Practice (Chapman and Hall, 1991)(ISBN 9780442308384)(600dpi)(T)(255s)_CsPl_.djvu
|
1.7 MB
|
|
Ullman J.D. Elements of ML Programming, ML97 Edition (2ed., PH, 1998)(ISBN 0137903871)(600dpi)(T)(399s)_CsPl_.djvu
|
2.9 MB
|
|
/Programming languages/Prolog/
|
|
Ait-Kaci H. Warren's Abstract Machine.. a tutorial reconstruction (MIT, 1991)(ISBN 9780262510585)(600dpi)(T)(134s)_CsPl_.djvu
|
931.8 KB
|
|
Apt K.R. From logic programming to Prolog (PH, 1997)(ISBN 013230368X)(O)(345s)_CsPl_.pdf
|
1.2 MB
|
|
Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (Vieweg, 1991)(de)(ISBN 9783528051587)(O)(369s)_CsPl_.pdf
|
1.1 MB
|
|
Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (program code)(Vieweg, 1991)(ISBN 9783528051587)(de)_CsPl_.zip
|
53.1 KB
|
|
Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(228s)_CsPl_.pdf
|
601.9 KB
|
|
Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(O)(229s)_CsPl_.pdf
|
634.6 KB
|
|
Clocksin W., Mellish C. Programming in Prolog, using the ISO standard (5ed., Springer, 2003)(ISBN 3540006788)(T)(314s)_CsPl_.djvu
|
1.9 MB
|
|
Clocksin W.F., Mellish C.S. Programming in Prolog (3ed., Springer, 1987)(ISBN 9783540175391)(600dpi)(T)(297s)_CsPl_.djvu
|
2.3 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.1 MB
|
|
Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 013138645X)(KA)(400dpi)(T)(528s)_CsPl_.djvu
|
3.1 MB
|
|
Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 9780131386457)(400dpi)(T)(528s)_CsPl_.djvu
|
3.1 MB
|
|
Dobry T. A High Performance Architecture for Prolog (Kluwer, 1990)(ISBN 0792390601)(600dpi)(T)(238s)_CsPl_.djvu
|
1.6 MB
|
|
Gregory S. Parallel Logic Programming in Parlog.. The Language and Its Implementation (AW, 1987)(ISBN 9780201192414)(600dpi)(T)(229s)_CsPl_.djvu
|
1.8 MB
|
|
Hill P., Lloyd J. The Goedel Programming Language (MIT, 1994)(ISBN 9780262082297)(600dpi)(T)(370s)_CsPl_.djvu
|
2.1 MB
|
|
Maier D., Warren D.S. Computing With Logic.. Logic Programming With Prolog (AW, 1988)(ISBN 9780805366815)(600dpi)(T)(559s)_CsPl_.djvu
|
3.9 MB
|
|
O'Keefe R. The Craft of Prolog (MIT, 1990)(ISBN 9780262150392)(K)(600dpi)(T)(412s)_CsPl_.djvu
|
2.1 MB
|
|
Ross P. Advanced Prolog.. Techniques and Examples (AW, 1989)(ISBN 0201175274)(600dpi)(T)(306s)_CsPl_.djvu
|
2.1 MB
|
|
Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(ISBN 9780262193382)(600dpi)(T)(O)(552s)_CsPl_.djvu
|
6.4 MB
|
|
Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(T)(ISBN 0262193388)(550s)_CsPl_.djvu
|
3.0 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.5 MB
|
|
/Programming languages/Python/
|
|
Beazley D. Python essential reference (2ed., New Riders, 2001)(T)(C)(ISBN 0735710910)(586s).djvu
|
4.3 MB
|
|
Beginning Python (Wiley, 2005)(ISBN 0764596543)(679s)_CsPl_.pdf
|
3.7 MB
|
|
Dawson M. Python programming for absolute beginner (Premier, 2003)(ISBN 1592000738)(480s)_CsPl_.chm
|
5.7 MB
|
|
Goerzen J. Foundations of Python network programming (APress, 2004)(KA)(T)(ISBN 1590593715)(538s)_CsPl_.djvu
|
3.0 MB
|
|
Gupta R. Making use of Python (Wiley, 2002)(ISBN 0471219754)(416s)_CsPl_.pdf
|
3.2 MB
|
|
Hetland M.L. Beginning Python.. From novice to professional (APress, 2005)(ISBN 159059519X)(O)(641s)_CsPl_.pdf
|
10.0 MB
|
|
Jones, Drake. Python and XML (OReilly, 2001)(T)(C)(ISBN 0596001282)(446s).djvu
|
3.0 MB
|
|
Langtangen H.-P. Python Scripting For Computational Science (Springer, 2004)(745s).pdf
|
4.1 MB
|
|
Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s)_CsPl_.pdf
|
3.9 MB
|
|
Langtangen H.P. Python scripting for computational science (3ed., Springer, 2011)(ISBN 9783540739166)(769s)_CsPl_.pdf
|
4.3 MB
|
|
Lessa A. Python Developer's Handbook (Sams Pub., 2000)(ISBN 0672319942)(O)(958s)_CsPl_.pdf
|
2.9 MB
|
|
Lessa. Python developer's handbook (Sams, 2000)(ISBN 0672319942)(1481s).pdf
|
11.0 MB
|
|
Lundh F. Python standard library (O'Reilly, 2001)(ISBN 0596000960)(300s)_CsPl_.chm
|
364.2 KB
|
|
Lutz M. Learning Python (4ed., O'Reilly, 2009)(ISBN 9780596158064)(O)(1213s)_CsPl_.pdf
|
4.8 MB
|
|
Lutz M. Python pocket reference (O'Reilly, 2010)(ISBN 9780596158088)(O)(210s)_CsPl_.pdf
|
961.5 KB
|
|
Mertz D. Text processing in Python (AW, 2003)(ISBN 0321112547)(O)(544s)_CsPl_.chm
|
875.8 KB
|
|
Nix M., et al. Exploring Python (Entwickler, 2005)(ISBN 3935042698)(de)(600dpi)(T)(174s)_CsAl_.djvu
|
1.7 MB
|
|
Pilgrim M. Dive into Python (draft, 2002)(O)(220s)_CsPl_.pdf
|
414.3 KB
|
|
Preiss B.R. Data structures and algorithms in Python (2004).chm
|
3.5 MB
|
|
Telles M. Python power. The comprehensive guide (Thomson, 2008)(ISBN 1598631586)(O)(529s)_CsPl_.pdf
|
3.1 MB
|
|
/SSH/
|
|
Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001(560s)-o.pdf
|
6.1 MB
|
|
Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001 (4)(594s)-o.pdf
|
6.1 MB
|
|
/TeX/
|
|
Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(391s)_ST_.pdf
|
1.4 MB
|
|
Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(O)(392s)_ST_.pdf
|
1.5 MB
|
|
AmsTeX reference card (A4 paper)(2s).pdf
|
89.3 KB
|
|
Bausum D. TeX reference manual (Springer, 2002)(ISBN 0792376730)(1s)_ST_.chm
|
202.7 KB
|
|
Bechtolsheim S. TEX in practice. Vol.1. Basics (Springer, 1993)(ISBN 0387975950)(600dpi)(T)(O)(407s)_ST_.djvu
|
5.8 MB
|
|
Bechtolsheim S. TEX in practice. Vol.2. (Springer, 1993)(ISBN 0387975969)(600dpi)(T)(O)(375s)_ST_.djvu
|
7.0 MB
|
|
Bechtolsheim S. TEX in practice. Vol.3. Tokens, macros (Springer, 1993)(ISBN 0387975977)(600dpi)(T)(O)(655s)_ST_.djvu
|
9.0 MB
|
|
Bechtolsheim S. TEX in practice. Vol.4. Output routines, tables (Springer, 1993)(ISBN 0387975985)(600dpi)(T)(O)(427s)_ST_.djvu
|
5.9 MB
|
|
Bringhurst R. The Elements of Typographic Style (Hartley & Marks Pub., 2004)(ISBN 9780881792065)(600dpi)(T)(C)(382s)_ST_.djvu
|
5.1 MB
|
|
Doob. Gentle introduction to TeX(ISBN 0201134889)(97s).pdf
|
436.5 KB
|
|
Eijkhout V. TeX by Topic (ISBN 0201568829)(287s).pdf
|
1.4 MB
|
|
Eijkhout V. TeX by topic (draft, 2008)(O)(319s)_ST_.pdf
|
1.0 MB
|
|
Fateman. Parsing TeX into mathematics(25s).pdf
|
324.0 KB
|
|
Flynn P. Formatting information.. a beginner's introduction to Latex (free version, 2005)(275s)_ST_.pdf
|
3.2 MB
|
|
Gill E. An Essay on Typography (David R. Godine, 1993)(ISBN 9780879239503)(600dpi)(T)(158s)_ST_.djvu
|
880.9 KB
|
|
Goossens M., Mittelbach F., Samarin A. The LaTeX companion (1ed., AW, 1994)(KA)(L)(T)(284s)_ST_.djvu
|
7.3 MB
|
|
Goossens M., Rahtz S. The LaTeX Web companion (TOC, chapter 2, index only)(T)(ISBN 0201433117)(132s)_ST_.djvu
|
1.6 MB
|
|
Goossens, Rahtz, Mittelbach. The LaTeX graphics companion (AW, 1997)(L)(T)(ISBN 0201854694)(299s)_ST_.djvu
|
5.6 MB
|
|
Goudy F.W. Alphabet and Elements of Lettering (Dover, 1922)(ISBN 9780486207926)(600dpi)(T)(143s)_ST_.djvu
|
2.0 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.9 MB
|
|
Graetzer G. Math into LaTeX (Birkhauser, 1996)(ISBN 0817638059)(600dpi)(T)(479s)_ST_.djvu
|
3.9 MB
|
|
Graetzer G. Math into TeX.. A simple guide to typesetting math using AMS-LaTex (Birkhauser, 1993)(ISBN 0817636374)(K)(T)(318s)_ST_.djvu
|
6.1 MB
|
|
Graetzer G. More math into LATEX (4ed., Springer, 2007)(622s)_ST_.pdf
|
5.2 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
|
558.2 KB
|
|
Greenberg H.J. A simplified introduction to LaTeX (draft, 2010)(147s)_ST_.pdf
|
644.2 KB
|
|
Greenberg H.J. Simplified introduction to Latex (1999)(600dpi)(T)(136s)_ST_.djvu
|
2.2 MB
|
|
Griffiths D.F., Higham D.J. Learning LATEX (SIAM, 1997)(ISBN 0898713838)(T)(O)(95s)_ST_.djvu
|
605.6 KB
|
|
Gurari E.M. Writing with TEX (MGH, 1994)(ISBN 0070252076)(KA)(T)(282s)_ST_.djvu
|
1.4 MB
|
|
Haralambous Y. Fonts and encodings.. from Unicode to advanced typography (OReilly, 2007)(ISBN 0596102429)(600dpi)(T)(1039s)_ST_.djvu
|
18.3 MB
|
|
Heck A. Learning LaTeX by doing (web draft, 2002)(42s)_ST_.pdf
|
710.2 KB
|
|
Heck A. Learning Latex by doing (2002)(42s)_ST_.pdf
|
411.3 KB
|
|
Heck A. Learning METAPOST by doing (web draft, 2003)(93s)_ST_.pdf
|
1.0 MB
|
|
Johnson A.F. Type Designs.. Their History and Development (3ed., Ashgate, 1966)(ISBN 023395869X)(600dpi)(T)(191s)_ST_.djvu
|
2.5 MB
|
|
Juergens M. Latex.. fortgeschrittene Anwendungen (1995)(de)(600dpi)(T)(146s).djvu
|
2.1 MB
|
|
Knuth D. The METAFONT book (AMS, 1986)(ISBN 0201134454)(374s)_ST_.pdf
|
1.4 MB
|
|
Knuth D. The Metafont book (draft).tex.gz
|
326.2 KB
|
|
Knuth D. The TeXbook (draft, AW, 1991)(600dpi)(T)(ISBN 0201134470)(494s)_ST_.djvu
|
3.9 MB
|
|
Knuth D. The TeXbook (source).tex.gz
|
471.9 KB
|
|
Knuth D. The TeXbook(494s).ps.bz2
|
914.7 KB
|
|
Knuth D.E. TEX and METAFONT.. New directions in typesetting (AMS, 1979)(ISBN 0932376029)(600dpi)(T)(369s)_ST_.djvu
|
4.1 MB
|
|
Knuth D.E. The Computer Modern family of typefaces (Stanford Tech.Rep.STAN-CS-80-780, 1980)(600dpi)(T)(409s)_ST_.djvu
|
9.8 MB
|
|
Kohm, Morawski. The KOMAscript user's guide (free web version, 2004)(228s).pdf
|
1.2 MB
|
|
Kopka H. Einfuehrung in LaTeX, Band 1 (AW, 1994)(de)(T)(ISBN 3893196641)(447s)_ST_.djvu
|
4.7 MB
|
|
Kopka H., Daly P. Guide to LaTeX (4ed., AW, 2004)(ISBN 0321173856)(658s)_ST_.pdf
|
2.5 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.7 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.7 MB
|
|
Kottwitz S. LaTeX Beginner's Guide (Packt Publishing, 2011)(ISBN 9781847199867)(O)(336s)_ST_.pdf
|
5.2 MB
|
|
Kottwitz S. LaTeX beginner's guide (Packt, 2011)(ISBN 1847199860)(C)(T)(O)(336s)_ST_.djvu
|
5.7 MB
|
|
Krantz S.G. Handbook of Typography for the Mathematical Sciences (CRC Press,2001)(164s)_ST_.pdf
|
2.2 MB
|
|
Krantz S.G. Handbook of typography for the mathematical sciences (CRC, 2001)(ISBN 1584881496)(O)(190s)_ST_.pdf
|
1.4 MB
|
|
Krieger J., Schwarz N. Introduction to TeX (AW 1989)(ISBN 020151141X)(KA)(T)(283s)_ST_.djvu
|
2.2 MB
|
|
Lamport L. LaTeX, a document preparation system (2ed., AW, 1995)(150dpi)(T)(279s)_ST_.djvu
|
3.3 MB
|
|
Lamport L. LaTeX.. a document-preparation system (2ed., AW, 1994)(T)(ISBN 0201529831)(292s)_ST_.djvu
|
2.9 MB
|
|
Lamport. Draft LaTeX manual (1984) (TeX source).tar.bz2
|
99.6 KB
|
|
Mittelbach, Goossens. The LaTeX companion (2ed., AW, 2004)(KA)(ISBN 0201362996)(T)(C)(O)(1119s)_ST_.djvu
|
11.1 MB
|
|
Mittelbach, Goossens. The LaTeX companion, bibliography only(2nd ed., AW, 1999)(ISBN 0201570440)(120s)_ST_.pdf
|
690.4 KB
|
|
Mittelbach, Goossens. The LaTeX companion, chapter 3 only (Basic formatting tools)(2nd ed., AW, 1999)(113s)_ST_.pdf
|
674.9 KB
|
|
Mittelbach, Goossens. The LaTeX companion, program examples only (2nd ed., AW, 1999).tar.bz2
|
153.6 KB
|
|
Mittelbach, Goossens. The LaTeX companion.. front matter, TOC, preface only (2nd ed., AW, 1999)(ISBN 0201362996)(27s)_ST_.pdf
|
152.9 KB
|
|
Mittelbach, Goossens. The Latex companion, chapter 8 only (Higher mathematics)(2nd ed., AW, 1999)(48s)_ST_.pdf
|
646.1 KB
|
|
Morison S. A Tally of Types (CUP, 1973)(ISBN 9780521200431)(600dpi)(T)(137s)_ST_.djvu
|
1.5 MB
|
|
Morison S. On Type Designs.. Past and Present (New Ed., Ernest Benn, 1962)(600dpi)(T)(79s)_ST_.djvu
|
1.1 MB
|
|
Morison S. The Typographic Arts.. Two Lectures (Theodore Brun, 1949)(600dpi)(T)(137s)_ST_.djvu
|
16.6 MB
|
|
Oetiker T., Partl H., Hyna I., Schlegl E. The not so short introduction to LaTeX 2e (2002)(T)(126s)_ST_.djvu
|
684.2 KB
|
|
Pakin S. The comprehensive LaTeX symbol list (free web version, 2003)(91s).pdf
|
2.5 MB
|
|
Porto M. LaTeX Kochbuch (1995)(de)(152s)_ST_.pdf
|
663.6 KB
|
|
Schwarz N. Einfuehrung in TeX (3ed., 1991)(de)(336s)_ST_.pdf
|
1.5 MB
|
|
Shultis J.K. Latex notes (PTR PH, 1994)(ISBN 0131209736)(KA)(T)(192s)_ST_.djvu
|
1.1 MB
|
|
Spivak M. LAmS-TeX.. the synthesis (TeXplorators, 1989)(ISBN 0914098608)(T)(294s)_ST_.djvu
|
2.2 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
|
2.0 MB
|
|
Swanson E., A.O'Shea, A.Schleyer. Mathematics into type (AMS,2000)(ISBN 0821819615)(600dpi)(T)(107s)_ST_.djvu
|
971.0 KB
|
|
Syropoulos A., Tsolomitis A., Sofroniou N. Digital typography using LaTeX (Springer, 2003)(T)(527s).djvu
|
3.6 MB
|
|
Talbot N. Latex for complete novices (2004)(145s)_ST_.pdf
|
750.2 KB
|
|
TeX for scientific documentation (LNCS0236, Springer, 1988)(ISBN 3540168079)(T)(O)(210s)_ST_.djvu
|
1.9 MB
|
|
TeX reference card (A4 paper)(2s).pdf
|
138.3 KB
|
|
TeX, XML, and digital typography (LNCS3130, Springer, 2004)(ISBN 3540228012)(271s)_ST_.pdf
|
5.5 MB
|
|
TeX82 program code documentation(400dpi)(T)(535s).djvu
|
3.8 MB
|
|
Tinker M.A. Legibility of Print (Iowa State U. Press, 1963)(600dpi)(T)(338s)_ST_.djvu
|
2.5 MB
|
|
Tracy W. Letters of Credit.. A View of Type Design (David R. Godine, 2003)(ISBN 9781567922400)(600dpi)(T)(222s)_ST_.djvu
|
3.0 MB
|
|
Wilkins D.R. Gettings started with LaTeX (2ed., web draft, 1995)(46s)_ST_.pdf
|
358.3 KB
|
|
van Dongen M.R.C. LaTeX and friends (Springer, 2012)(ISBN 9783642238154)(O)(324s)_ST_.pdf
|
5.5 MB
|
|
/
|
|
full file list.txt
|
182.3 KB
|
|
Total files 1323
|
