- Programming :-
- Concepts, Techniques, and Models of Computer Programming
- Logic, Programming and Prolog, 2nd Edition
- Type Theory and Functional Programming
- Functional Programming and Parallel Graph Rewriting
- Implementing Functional Languages: A Tutorial
- How to Design Programs
- Programming Languages
- Programming in Martin-Löf's Type Theory
- Object Oriented Programming
- Programming from Specifications
- Working with Objects
- Object-Oriented System Development
- Structure & Interpretation of Computer Programs
- Dictionary of Programming Languages
- Designing and Building Parallel Programs
- Principles of Programming Languages
- Introduction to Programming Languages
- Patterns for Adaptive Programming (AP)
- Advanced Programming Language Design
- Algorithm and data structure:-
- Data Structures and Algorithms
- Data Structures through Java
- Dictionary of Algorithms and Data Structures
- Problems on Algorithms, 2nd Edition
- Lecture Notes on Algorithm Analysis and Computational Complexity, 4th Edition
- Handbook of Algorithms and Data Structures
- Data Structures and Algorithms with Object-Oriented Design Patterns in Java
- Data Structures and Algorithms with Object-Oriented Design Patterns in C++
- Data Structures and Algorithms with Object-Oriented Design Patterns in C#
- Data Structures & Algorithms (A. Cawsey)
- Computer science:-
- An Introduction to the Theory of Computation
- Introduction to Computer Science I
- Introduction to Computer Science Using Java
- Foundations of Computer Science
- Mathematical Foundations of Computer Science
- How to Think Like a Computer Scientist
- Introduction to Finite Mathematics
- Algorithms and Complexity
- Cellular Automata and Complexity
- Tree Automata Techniques and Application
- Parallel Complexity Theory
- A Course in Universal Algebra
- Practical Foundations of Mathematics
- Lecture Notes on Optimization
- Practical Computer Language Recognition and Translator
- Client/Server Computing, 2nd Edition
- Implementing Mathematics with The Nuprl Proof System
- Computer Animation: Algorithms and Techniques
- Computers, Graphics, & Learning
- Introduction to Computer Graphics
- The Limits of Mathematics
- Matroid Decomposition
- Numerical Recipes in Fortran 77
- Numerical Recipes in Fortran 90
- Numerical Recipes in C
- Handbook of Applied Cryptography
- A Short Introduction to Operating Systems
- The GENTLE Compiler Construction System
- Semantics with Applications
- Compiler Construction Using Flex and Bison
- Let's Build a Compiler
- Graph Theory
- Architecture for Combinator Graph Reduction
- Introduction to Symbolic Computation
- Creating Your Own Operating System
- Artificial Intelligence:-
- Software engineering:-
- Guide to Software Engineering Body of Knowledge from SWEBOK
- Software Project Management, 2nd Ed.
- Reusable Software Components
- Developing Component Software with CORBA
- Statistical Software Engineering
- Software Engineering Methodologies
- Electronic Text Encoding and Interchange
- Software Development Guidelines
- Open Source Development with CVS
- How to Design Programs
- Using Z: Specification, Refinement, and Proof
- Software Patterns Management Briefing
- Project and Programme Management
- Object-Oriented Software Composition
- Designing and Building Parallel Programs
- Software Architect
- Power Tools for Technical Communication
- The Psychology of Menu Selection
- Programming from Specifications
- Reusable Software Components
- Adaptive Object-Oriented Software
- Object-Oriented System Development
- Lists of Report : Carnegie Mellon Software Engineering Institute
- Documentation List : NASA Softwrae Engineering Lab
- Software Engineering : Another masterpiece of work by Trygve Reenskaug
- Software Engineering : By Alistair Cockburn
- SPMN Guidebook on Software Engineering
- Others:-
- Fundamentals of Grid Computing
- An Introduction to Multigrid Methods
- Stack Computers: The New Wave
- Open Distributed Systems
- Communicating Sequential Processes (CSP)
- Partial Evaluation and Automatic Program Generation
- Math into LaTex
- A Compact Guide to Lex & Yacc
- Design and Validation of Computer Protocols
- The Scientist and Engineer's Guide to Digital Signal Processing
- Computer Vision and Image Processing
- Computer Aids for VLSI Design
- Computer Engineering
- Designing Computers and Digital Systems
- Computer Structures: Readings & Examples
- Computer Structures: Principles and Examples
No comments:
Post a Comment