Computer Science
- Programming :-
- http://www.info.ucl.ac.be/%7Epvr/ - Concepts,
Techniques, and Models of Computer Programming
- http://www.ida.liu.se/%7Eulfni/lpp/ - Logic, Programming and
Prolog, 2nd Edition
- http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/ - Type Theory and Functional
Programming
- http://www.cs.kun.nl/%7Eclean/Manuals/Addison__Wesley_book/addison__wesley_book.html - Functional Programming
and Parallel Graph Rewriting
- http://research.microsoft.com/Users/simonpj/Papers/pj-lester-book/ - Implementing Functional
Languages: A Tutorial
- http://www.htdp.org/ - How
to Design Programs
- http://www.cs.jhu.edu/%7Escott/plbook/ - Programming Languages
- http://www.cs.chalmers.se/Cs/Research/Logic/book/ - Programming in Martin-L?
Type Theory
- http://www.csd.uu.se/kurs/oop/ht98/Lectures/ - Object Oriented Programming
- http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/ - Programming from Specifications
- http://www.ifi.uio.no/%7Etrygver/documents/book11d.pdf - Working with Objects
- http://g.oswego.edu/dl/oosd/ - Object-Oriented System
Development
- http://mitpress.mit.edu/sicp/full-text/book/book.html - Structure & Interpretation
of Computer Programs
- http://cgibin.erols.com/ziring/dopl.html - Dictionary of Programming
Languages
- http://www-unix.mcs.anl.gov/dbpp/text/book.html - Designing and Building
Parallel Programs
- http://www.cs.rice.edu/%7Eshriram/311/ - Principles of Programming
Languages
- http://cs.wwc.edu/%7Eaabyan/221_2/PLBOOK/ - Introduction to Programming
Languages
- http://www.ccs.neu.edu/research/demeter/biblio/dem-book.html - Patterns for Adaptive
Programming (AP)
- http://www.awprofessional.com/catalog/product.asp?product_id=%7B92E30B39-5D91-45F9-9919-D202BE6341F9%7D&selectDescTypeId=%7BA80972E0-1077-4518-954C-44E43E341DF7%7D - Advanced Programming Language
Design
- Algorithm and data structure:-
- http://ciips.ee.uwa.edu.au/%7Emorris/Year2/PLDS210/ds_ToC.html - Data Structures and Algorithms
- http://www.cogs.susx.ac.uk/local/teach/dats/notes/html/notes.html - Data Structures through
Java
- http://www.nist.gov/dads/ - Dictionary of Algorithms
and Data Structures
- http://hercule.csci.unt.edu/ian/books/free/poa.pdf - Problems on Algorithms,
2nd Edition
- http://hercule.csci.unt.edu/ian/books/free/lnoa.pdf - Lecture Notes on Algorithm
Analysis and Computational Complexity, 4th Edition
- http://www.dcc.uchile.cl/%7Erbaeza/handbook/hbook.html - Handbook of Algorithms
and Data Structures
- http://www.brpreiss.com/books/opus5/html/book.html - Data Structures and Algorithms
with Object-Oriented Design Patterns in Java
- http://www.brpreiss.com/books/opus4/html/book.html - Data Structures and Algorithms
with Object-Oriented Design Patterns in C++
- http://www.brpreiss.com/books/opus6/html/book.html - Data Structures and Algorithms
with Object-Oriented Design Patterns in C#
- http://www.cee.hw.ac.uk/%7Ealison/ds98/node1.html - Data Structures &
Algorithms (A. Cawsey)
- Computer science:-
- http://www.cis.ohio-state.edu/%7Egurari/theory-bk/theory-bk.html - An Introduction to the
Theory of Computation
- http://www.eg.bucknell.edu/%7Ecs203/F2002/ - Introduction to Computer
Science I
- http://www.javacommerce.com/tutorial/jbook/index.html - Introduction to Computer
Science Using Java
- http://www.cs.rit.edu/%7Ehpb/Lectures/98_221/all.html - Foundations of Computer
Science
- http://www.cs.duke.edu/%7Erodger/courses/cps140/lecture.html - Mathematical Foundations
of Computer Science
- http://www.cs.colby.edu/%7Edowney/ost/thinkCS/java_html/index.html - How to Think Like a Computer
Scientist
- http://math.dartmouth.edu/%7Edoyle/docs/finite/cover/cover.html - Introduction to Finite
Mathematics
- http://www.cis.upenn.edu/%7Ewilf/AlgComp.html - Algorithms and Complexity
- http://www.stephenwolfram.com/publications/books/ca-reprint/ - Cellular Automata and
Complexity
- http://www.grappa.univ-lille3.fr/tata/ - Tree Automata Techniques
and Application
- http://hercule.csci.unt.edu/ian/books/free/pct.pdf - Parallel Complexity Theory
- http://www.thoralf.uwaterloo.ca/htdocs/ualg.html - A Course in Universal
Algebra
- http://www.dcs.qmul.ac.uk/%7Ept/Practical_Foundations/html/ - Practical Foundations
of Mathematics
- http://www-path.eecs.berkeley.edu/%7Evaraiya/papers_ps.dir/NOO.pdf - Lecture Notes on Optimization
- http://www.antlr.org/book/index.html - Practical Computer Language
Recognition and Translator
- http://www.fintech.ru/library/DBMS/CSC_2ED/index.htm - Client/Server Computing,
2nd Edition
- http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html - Implementing Mathematics
with The Nuprl Proof System
- http://www.cis.ohio-state.edu/%7Eparent/book/outline.html - Computer Animation: Algorithms
and Techniques
- http://www.nowhereroad.com/cgl/toc2535.html - Computers, Graphics, &
Learning
- http://www.ece.purdue.edu/%7Eebertd/435/notes/ - Introduction to Computer
Graphics
- http://www.umcs.maine.edu/%7Echaitin/lm.html - The Limits of Mathematics
- http://www.emis.de/monographs/md/index.html - Matroid Decomposition
- http://www.ulib.org/webRoot/Books/Numerical_Recipes/bookfpdf.html - Numerical Recipes in Fortran
77
- http://www.ulib.org/webRoot/Books/Numerical_Recipes/bookf90pdf.html - Numerical Recipes in Fortran
90
- http://www.ulib.org/webRoot/Books/Numerical_Recipes/bookcpdf.html - Numerical Recipes in C
- http://cacr.math.uwaterloo.ca/hac/ - Handbook of Applied Cryptography
- http://www.iu.hio.no/%7Emark/os/os.html - A Short Introduction to
Operating Systems
- http://www.first.gmd.de/gccs/ - The GENTLE Compiler Construction
System
- http://www.daimi.au.dk/%7Ebra8130/Wiley_book/wiley.html - Semantics with Applications
- http://cs.wwc.edu/%7Eaabyan/464/Book/ - Compiler Construction
Using Flex and Bison
- http://www.iecc.com/compilers/crenshaw/ - Let's Build a Compiler
- http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/download.html - Graph Theory
- http://www.cs.cmu.edu/%7Ekoopman/tigre/index.html - Architecture for Combinator
Graph Reduction
- http://zeno.math.fsu.edu/%7Eseppala/Opetus/ISC/Text/index.html - Introduction to Symbolic
Computation
- http://www.mega-tokyo.com/os/os-faq.html - Creating Your Own Operating
System
- Artificial Intelligence:-
- http://www.cs.nps.navy.mil/people/faculty/rowe/book/book.html - Artificial Intelligence
through Prolog
- http://www.cee.hw.ac.uk/%7Ealison/ai3notes/all.html - Artificial Intelligence
(A. Cawsey)
- http://www.cs.cf.ac.uk/Dave/AI1/AI1.html - Artificial Intelligence
I (W. Jones)
- http://www.cs.cf.ac.uk/Dave/AI2/AI_notes.html - Artificial Intelligence
II (D. Marshall)
- http://www.shef.ac.uk/psychology/gurney/notes/contents.html - Neural Nets: Dr K Gurney
- http://www.amsta.leeds.ac.uk/%7Echarles/statlog/ - Machine Learning, Neural
& Statistical Classification
- http://robotics.stanford.edu/%7Enilsson/mlbook.html - Introduction to Machine
Learning
- http://news.dcn-asu.ru/BOOKS/APPLIED.EXPERT.SYSTEMS/ewtoc.html - Handbook of Applied Expert
Systems
- Software engineering:-
- http://www.swebok.org/index.html - Guide to Software Engineering
Body of Knowledge from SWEBOK
- http://readingroom.elpress.com/readittoc.jsp?Book=0077095057 - Software Project Management,
2nd Ed.
- http://a-sync.com/contents.htm - Reusable Software Components
- http://www.lispworks.com/reference/lwl42/CORBA-U/html/corba.htm - Developing Component Software
with CORBA
- http://www.nap.edu/readingroom/books/statsoft/contents.html - Statistical Software Engineering
- http://www-db.stanford.edu/%7Eburback/watersluice/watersluice.html - Software Engineering Methodologies
- http://etext.virginia.edu/TEI.html - Electronic Text Encoding
and Interchange
- http://webster.cs.ucr.edu/Page_softeng/softDevGuide_contents.html - Software
Development Guidelines
- http://cvsbook.red-bean.com/ - Open
Source Development with CVS
- http://www.htdp.org/ - How
to Design Programs
- http://www.usingz.com/text/online/index.html - Using
Z: Specification, Refinement, and Proof
- http://www1.bell-labs.com/user/cope/Patterns/WhitePaper/ - Software
Patterns Management Briefing
- http://www.epmbook.com/ - Project
and Programme Management
- http://www.iam.unibe.ch/%7Eoscar/OOSC/download.html - Object-Oriented
Software Composition
- http://www-unix.mcs.anl.gov/dbpp/ - Designing
and Building Parallel Programs
- http://www.softwarearchitect.biz/ - Software
Architect ftp://ftp.sei.cmu.edu/pub/education/cm7.ps -
- http://www.io.com/%7Ehcexres/tcm1603/acchtml/acctoc.html - Power
Tools for Technical Communication
- http://www.lap.umd.edu/POMSFolder/POMSHome.html - The
Psychology of Menu Selection
- http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/ - Programming
from Specifications
- http://a-sync.com/contents.htm - Reusable
Software Components
- http://www.ccs.neu.edu/research/demeter/biblio/dem-book.html - Adaptive
Object-Oriented Software
- http://g.oswego.edu/dl/oosdw3/ - Object-Oriented
System Development
- http://www.sei.cmu.edu/publications/lists.html - Lists
of Report : Carnegie Mellon Software Engineering
Institute
- http://www.sei.cmu.edu/publications/lists.html - Documentation
List : NASA Softwrae Engineering Lab
- http://heim.ifi.uio.no/%7Etrygver/www-documents-overview.html - Software
Engineering : Another masterpiece of work by Trygve
Reenskaug
- http://alistair.cockburn.us/ - Software
Engineering : By Alistair Cockburn
- http://www.spmn.com/products_guidebooks.html - SPMN
Guidebook on Software Engineering
- Others:-
- http://www.redbooks.ibm.com/redpapers/pdfs/redp3613.pdf - Fundamentals of Grid Computing
- http://www.mgnet.org/mgnet-books-wesseling.html - An Introduction to Multigrid
Methods
- http://www.cs.cmu.edu/%7Ekoopman/stack_computers/contents.html - Stack Computers: The New
Wave
- http://www.cs.ucl.ac.uk/staff/jon/ods/ods.html - Open Distributed Systems
- http://www.usingcsp.com/ - Communicating Sequential
Processes (CSP)
- http://www.dina.dk/%7Esestoft/pebook/pebook.html - Partial Evaluation and
Automatic Program Generation
- http://www.nd.edu/%7Echuang1/academics/pdf/MathIntoLatex.pdf - Math into LaTex
- http://www.epaperpress.com/lexandyacc/index.html - A Compact Guide to Lex
& Yacc
- http://cm.bell-labs.com/cm/cs/what/spin/Doc/Book91.html - Design and Validation
of Computer Protocols
- http://www.dspguide.com/pdfbook.htm - The Scientist and Engineer's
Guide to Digital Signal Processing
- http://www.cs.cf.ac.uk/Dave/Vision_lecture/Vision_lecture_caller.html - Computer Vision and Image
Processing
- http://www.rulabinsky.com/cavd/ - Computer Aids for VLSI
Design
- http://www.ulib.org/webRoot/Books/Saving_Bell_Books/Computer_Engineering/contents.html - Computer Engineering
- http://www.ulib.org/webRoot/Books/Saving_Bell_Books/Designing_Computers_and_Digital_Systems/ - Designing Computers and
Digital Systems
- http://ed-thelen.org/comp-hist/bell-71-t-o-c.html - Computer Structures: Readings
& Examples
- http://www.ulib.org/webRoot/Books/Saving_Bell_Books/SBN%20Computer%20Strucutres/ - Computer Structures: Principles
and Examples
Database
|