• Welcome!
Total books

Computer & Internet

Administration
289
AI and Robotics
165
Algorithms
19
Cloud
375

Communicaion and Telecommunication
129
Databases
716
Enterprise
145
Graphics & Design
289

Hardware
335
Information Technology
311
Mobile Computing
542
Network Security
69

Operating System
300
Programming
2655
Security
136
Software Engineering
207

Web Design & Development
442
Web Development
1358
Sort by
Structural Separation Logic

This thesis presents structural separation logic, a novel program reasoning approach for software that manipulates both standard heaps and structured data such as lists and trees. Structural separation logic builds upon existing work in both separation logic and context logic. It considers data abstractly, much as it is exposed by library interfaces, ignoring implementation details.

Coding Freedom: The ethics and aesthetics of Hacking

Who are computer hackers? What is free software? And what does the emergence of a community dedicated to the production of free and open source software--and to hacking as a technical, aesthetic, and moral project--reveal about the fraught contemporary politics of intellectual law? Coding Freedom, an ethnographic account of free software development, examines how these hackers are at the forefront of fomenting a vibrant political culture of civil liberties online.

Principles of Computer System Design: An Introduction

This textbook, Principles of Computer System Design: An Introduction,is an introduction to the principles and abstractions used in the design of computer systems. It is an outgrowth of notes written by the authors for the M.I.T.

Object-Oriented Programming in C++, Fourth Edition

This book teaches you how to write programs in a the C++ programming language. However, it does more than that. In the past few years, several major innovations in software development have appeared on the scene. This book teaches C++ in the context of these new developments.

Fundamentals of Computer Programming with C#

If you want to take up programming seriously, you’ve come across the right book. For real! This is the book with which you can make your first steps in programming. It will give a flying start to your long journey into learning modern programming languages and software development technologies. This book teaches the fundamental principles and concepts of programming, which have not changed significantly in the past 15 years.

Programming in Martin-Löf's Type Theory

In recent years several formalisms for program construction have been introduced. One such formalism is the type theory developed by Per Martin-Löf. It is well suited as a theory for program construction since it is possible to express

Introduction to Python for Econometrics, Statistics and Data Analysis

These notes are designed for someone new to statistical computing wishing to develop a set of skills necessary to perform original research using Python. They should also be useful for students, researchers or practitioners who require a versatile platform for econometrics, statistics or general numerical analysis (e.g. numeric solutions to economic models or model simulation).

Open Data Structures in Java
Open Data Structures in Java Sented by Sarah Gerdes

Every computer science curriculum in the world includes a course on data structures and algorithms. Data structures are that important; they improve our quality of life and even save lives on a regular basis. Many multi-million and several multi-billion dollar companies have been built around data structures.

The Rook's Guide to C++
The Rook's Guide to C++ Sented by Rebecca

What you are reading is the first of what I hope to be many everimproving iterations of a useful C++ textbook.

Think OS: A Brief Introduction to Operating Systems

In many computer science programs, Operating Systems is an advanced topic. By the time students take it, they usually know how to program in C, and they have probably taken a class in Computer Architecture. Usually the goal of the class is to expose students to the design and implementation of operating systems, with the implied assumption that some of them will do research in this area, or write part of an OS.

Free Range VHDL
Free Range VHDL Sented by Steve Bark

The purpose of this book is to provide students and young engineers with a guide to help them develop the skills necessary to be able to use VHDL for introductory and intermediate level digital design. These skills will also give you the ability and the confidence to continue on with VHDL-based digital design. In this way, you will also take steps toward developing the skills required to implement more advanced digital design systems.

I love Ruby 2015
I love Ruby 2015 Sented by Luis

Ruby is an easy to learn programming language, it was invented by a guy named Matz in Japan. Ruby is a free software and can be used by any one for zero cost. Ruby's popularity was initially confined to Japan, later it slowly trickled out to rest of the world. Things changed with the emergence of Ruby on Rails which is a popular web-development framework written with Ruby.

The Design of Approximation Algorithms

This book is designed to be a textbook for graduate-level courses in approximation algorithms. After some experience teaching minicourses in the area in the mid-1990s, we sat down and wrote out an outline of the book. Then one of us (DPW), who was at the time an IBM Research Staff Member, taught several iterations of the course following the outline we had devised, in Columbia University’s Department of Industrial Engineering and Operations Research in Spring 1998, in Cornell University’s School of Operations Research and Industrial Engineering in Fall 1998, and at the Massachusetts Institute of Technology’s Laboratory for Computer Science in Spring 2000.

Programming Computer Vision with Python

Today, images and video are everywhere. Online photo sharing sites and social networks have them in the billions. Search engines will produce images of just about any conceivable query. Practically all phones and computers come with built in cameras.

GNU Prolog
GNU Prolog Sented by Jacob

GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. For recent information about GNU Prolog please consult the GNU Prolog page.

Software Architecture
Software Architecture Sented by Emma

Software has become a strategic societal resource in the last few decades. The emergence of Free Software, which has enteredin major sectors of the ICT market, is drastically changing the economics of software development and usage. Free Software – sometimes also referred to as "Open Source" or "Libre Software" – can be used, studied, copied, modified and distributed freely.

Four Days on Rails
Four Days on Rails Sented by Luis

There have been many extravagant claims made about Rails. For example, an article in OnLAMP.com claimed that “you could develop a web application at least ten times faster with Rails than you could with a typical Java framework...” The article then goes on to show how to install Rails and Ruby on a PC and build a working ‘scaffold’ application with virtually no coding.

Algorithmic Information Theory
Algorithmic Information Theory Sented by Sarah Gerdes

The aim of this book is to present the strongest possible version of Gödel’s incompleteness theorem, using an information-theoretic approach based on the size of computer programs.

Programming in C++
Programming in C++ Sented by Sarah Gerdes

C++ is a general purpose programming language. It has imperative, object-oriented and generic programming features, while also providing the facilities for low level memory manipulation.

Sort by