Custom Search

Friday, June 6, 2008

A Detailed Description of the GNU Ada Run Time

A Detailed Description of the GNU Ada Run Time

A Detailed Description of the GNU Ada Run Time Version 1.0 - Integrated with the GNAT 3.15p sources and the annotated Ada Reference Manual (Technical Corrigendum 1).

Use the following url to access the free ebook A Detailed Description of the GNU Ada Run Time .
http://www.iuma.ulpgc.es/users/jmiranda/gnat-rts/index.htm

Ada 95 Tutorial

Ada 95 Tutorial

This online Ada book teaches the entire Ada 95 dialect of the Ada language. It is composed of 33 chapters which should be studied in order since topics are introduced in a logical order and build upon topics introduced in previous chapters.

Use the following url to access the free ebook Ada 95 Tutorial .
http://www.infres.enst.fr/~pautet/Ada95/a95list.htm

Ada Programming

Ada Programming

This is the first Ada tutorial covering the imminent Ada 2005 standard from Wikibooks.org. If you are a beginner you will learn the future standard - if you are a seasoned Ada user you can see what's new.

Use the following url to access the free ebook Ada Programming .
http://en.wikibooks.org/wiki/Ada_Programming

Ada and Beyond

Ada and Beyond

Ada and Beyond: Software Policies for the Department of Defense is freely available online.

Use the following url to access the free ebook Ada and Beyond .
http://www.nap.edu/books/0309055970/html/index.html

Ada 95 Adoption Handbook

Ada 95 Adoption Handbook

The Ada 95 Adoption Handbook provides a comprehensive guide to help Program Executive Officers (PEOs) and Program Managers (PMs) understand and implement the transition to Ada 95.

Use the following url to access the free ebook Ada 95 Adoption Handbook .
http://archive.adaic.com/docs/adopt-hbk/95adopt/html/toc.html

Ada 95: The Lovelace Tutorial

Ada 95: The Lovelace Tutorial

This online book will explain the basics of the Ada computer programming language.

Use the following url to access the free ebook Ada 95: The Lovelace Tutorial .
http://www.adahome.com/Tutorials/Lovelace/lovelace.html

Quick Ada

Quick Ada

This is a free online Ada book.

Use the following url to access the free ebook Quick Ada .
http://goanna.cs.rmit.edu.au/~dale/ada/aln.html

Ada Language Notes

Ada Language Notes

This is a collection of notes in regards to the Ada programming language.

Use the following url to access the free ebook Ada Language Notes .
http://www.adaworld.com/pdfs/ada_language_notes.pdf

BNF of the Ada Programming Language

BNF of the Ada Programming Language

This online book covers every keyword of Ada programming language.

Use the following url to access the free ebook BNF of the Ada Programming Language .
http://www.seas.gwu.edu/~adagroup/ada95-syntax/

Ada 95

Ada 95

Free online book Ada 95 by Laurent Guerby.

Use the following url to access the free ebook Ada 95 .
http://www.oopweb.com/Ada/Documents/Rat95/VolumeFrames.html

Ada in Action

Ada in Action

This free online book covers the following topics: Numeric Considerations, IO Utilities, Programming isn't software engineering and Testing software components and programs.

Use the following url to access the free ebook Ada in Action .
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/aia/index.html

Big Online Book of Linux Ada Programming

Big Online Book of Linux Ada Programming

Ada is a language well-suited for serious open source development and is superior in many ways to C++ or Java. Find out is Ada is right for your project in this 20 chapter reference to using Ada on Linux.

Use the following url to access the free ebook Big Online Book of Linux Ada Programming .
http://www.pegasoft.ca/resources/boblap/book.html

Object Oriented Programming in Ada 95

Object Oriented Programming in Ada 95

This free pdf book is aimed at students and programmers who wish to learn the object-oriented language Ada 95.

Use the following url to access the free ebook Object Oriented Programming in Ada 95 .
http://burks.bton.ac.uk/burks/language/ada/ada95.pdf

Ada Distilled

Ada Distilled

This free pdf Ada book is a quick start for experienced programmers who want to learn Ada at the programming level.

Use the following url to access the free ebook Ada Distilled .
http://www.adaic.org/docs/distilled/adadistilled.pdf

Ada Reference Manual

Ada Reference Manual

Ada Reference Manual - ISO/IEC 8652:1995(E) with Technical Corrigendum 1 Language and Standard Libraries.

Use the following url to access the free ebook Ada Reference Manual .
http://adaic.org/standards/95lrm/html/RM-TTL.html

Ada 95 Rationale

Ada 95 Rationale

The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas.

Use the following url to access the free ebook Ada 95 Rationale .
ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium/cdrom/ase02_01/bookcase/ada_sh/rat95/index.htm

Introducing Ada 95

Introducing Ada 95

This free Ada online book introduces Ada 95, the revised International Standard which increases the flexibility of Ada thus making it applicable to wider domains but retains the inherent reliability for which Ada is noted.

Use the following url to access the free ebook Introducing Ada 95 .
http://www.seas.gwu.edu/~adagroup/sigada-website/barnes-html/intro.html

Ada for Software Engineers

Ada for Software Engineers

Free book Ada for Software Engineers teaches the language as it is used in practice through relatively large case-studies such as a discrete event simulation. The presentation emphasizes the features for object-oriented and systems programming that were introduced in Ada 95.

Use the following url to access the free ebook Ada for Software Engineers .
http://stwww.weizmann.ac.il/g-cs/benari/books/index.html

ADA: A Developmental Approach

ADA: A Developmental Approach

This is the first comprehensive guide to Ada 95, the newly-developed version of Ada.This comprehensive guide to Ada and Ada 95 retains and extends the software engineering perspective that made the first edition so successful. It provides extensive coverage of Ada 95's new object-oriented features.

Use the following url to access the free ebook ADA: A Developmental Approach .
http://www.scism.sbu.ac.uk/law/

Ada 95 for C and C ++ Programmers

Ada 95 for C and C ++ Programmers

Ada 95 for C and C++ Programmers will show you everything you need to know to program in Ada 95, taking you through not only the differences in syntax but also the conceptual differences in how the languages are used.

Use the following url to access the free ebook Ada 95 for C and C Programmers .
http://www.adahome.com/Ammo/cpp2ada.html

Ada 95: The Craft of Object-Oriented Programming

Ada 95: The Craft of Object-Oriented Programming

This free book is a beginner's introduction to Ada 95. It uses an example-driven approach that gradually develops small programs into large case-study type programs. The focus of this book is on using object-oriented approaches to write maintainable, extensive programs.

Use the following url to access the free ebook Ada 95: The Craft of Object-Oriented Programming .
http://www.it.bton.ac.uk/staff/je/adacraft/

Thursday, June 5, 2008

Introduction to Object-Oriented Programming Using C++

Introduction to Object-Oriented Programming Using C++

Free C++ book Introduction to Object-Oriented Programming Using C++ covers topics: A Survey of Programming Techniques, Abstract Data Types, Object-Oriented Concepts, Introduction to C++ and From C To C++.

Use the following url to access the free ebook Introduction to Object-Oriented Programming Using C .
http://www.desy.de/gna/html/cc/Tutorial/tutorial.html

C++ Migration Guide

C++ Migration Guide

Topics covered in this free C++ online book: Using Compatibility Mode, Using Standard Mode and etc.

Use the following url to access the free ebook C Migration Guide .
http://docs.sun.com/source/816-2459/

C++ User's Guide

C++ User's Guide

Topics covered in this free C++ online book: The C++ Compiler, Using the C++ Compiler, Using the C++ Compiler Options, Language Extensions, Program Organization, Creating and Using Templates, Compiling Templates, Exception Handling, Cast Operations, Improving Program Performance, Building Multithreaded Programs, Using Libraries and etc.

Use the following url to access the free ebook C User\'s Guide .
http://docs.sun.com/source/816-2460/index.html

Taligent's Guide to Designing Programs

Taligent's Guide to Designing Programs

This is a guide to designing programs with C++ programming language.

Use the following url to access the free ebook Taligent\'s Guide to Designing Programs .
http://pcroot.cern.ch/TaligentDocs/TaligentOnline/DocumentRoot/1.0/Docs/books/WM/WM_2.html

An Introduction to C++ and Object Oriented Programming

An Introduction to C++ and Object Oriented Programming

The aim of this free book is to provide an introduction to the C++ programming language and object oriented programming. It is assumed that you know one programming language moderately well.

Use the following url to access the free ebook An Introduction to C and Object Oriented Programming .
http://www.kcl.ac.uk/kis/support/cit//fortran/cpp/ch.htm

Introduction to Object-Oriented Programming Using C++

Introduction to Object-Oriented Programming Using C++

Free C++ book Introduction to Object-Oriented Programming Using C++ covers topics: A Survey of Programming Techniques, Abstract Data Types, Object-Oriented Concepts, Introduction to C++ and From C To C++.

Use the following url to access the free ebook Introduction to Object-Oriented Programming Using C .
http://www.desy.de/gna/html/cc/Tutorial/tutorial.html

C++ Migration Guide

C++ Migration Guide

Topics covered in this free C++ online book: Using Compatibility Mode, Using Standard Mode and etc.

Use the following url to access the free ebook C Migration Guide .
http://docs.sun.com/source/816-2459/

C++ User's Guide

C++ User's Guide

Topics covered in this free C++ online book: The C++ Compiler, Using the C++ Compiler, Using the C++ Compiler Options, Language Extensions, Program Organization, Creating and Using Templates, Compiling Templates, Exception Handling, Cast Operations, Improving Program Performance, Building Multithreaded Programs, Using Libraries and etc.

Use the following url to access the free ebook C User\'s Guide .
http://docs.sun.com/source/816-2460/index.html

Taligent's Guide to Designing Programs

Taligent's Guide to Designing Programs

This is a guide to designing programs with C++ programming language.

Use the following url to access the free ebook Taligent\'s Guide to Designing Programs .
http://pcroot.cern.ch/TaligentDocs/TaligentOnline/DocumentRoot/1.0/Docs/books/WM/WM_2.html

An Overview of the C++ Programming language

An Overview of the C++ Programming language

This is a publication by Bjarne Stroustrup.

Use the following url to access the free ebook An Overview of the C plus plus Programming language .
http://www.research.att.com/~bs/crc.pdf

C++ Programming

C++ Programming

This free C++ book is From Wikibooks, the open-content textbooks collection. This book covers the essential features of the C++ language and its standard library (STL). It also provides a survey of important concepts, software design, and design patterns, but as a stepping stone for the reader or as an introduction to more advanced C++ concepts.

Use the following url to access the free ebook C Programming .
http://en.wikibooks.org/wiki/C_Programming

Teachers' Guide to Practical C++ Programming

Teachers' Guide to Practical C++ Programming

This book is designed to provide teaching materials to any instructor who wants to use Practical C++ Programming in his classroom. The materials contained in this book contains of a set of slides (for classroom presentation) and teachers' notes (which give hints on how the material might be presented.)

Use the following url to access the free ebook Teachers\' Guide to Practical C plus plus Programming .
http://www.oualline.com/teach/index.html

C++ FAQ Lite

C++ FAQ Lite

C++ FAQ Lite is a smaller version of C++ FAQs by Cline, Lomow, and Girou.

Use the following url to access the free ebook C plus plus FAQ Lite .
http://www.parashift.com/c-faq-lite/index.html

Cross-Platform GUI Programming with wxWidgets

Cross-Platform GUI Programming with wxWidgets

wxWidgets is an easy-to-use, open source C++ API for writing GUI applications that run on Windows, Linux, Unix, Mac OS X, and even Pocket PC - supporting each platform's native look and feel with virtually no additional coding. Now, its creator and two leading developers teach you all you need to know to write robust cross-platform software with wxWidgets.

Use the following url to access the free ebook Cross-Platform GUI Programming with wxWidgets .
http://www.phptr.com/content/images/0131473816/downloads/0131473816_book.pdf

Visual C++ 6 Unleashed

Visual C++ 6 Unleashed

This is a free HTML book from Sams Reference Library. Visual C++ 6 Unleashed provides comprehensive coverage of the core topics for Visual C++ 6 programming. This book skips the beginning level material and jumps right in to Visual C++.

Use the following url to access the free ebook Visual C 6 Unleashed .
http://www.samspublishing.com/library/library.asp?b=Visual_C_PlusPlus

C++ GUI Programming with Qt 3

C++ GUI Programming with Qt 3

This is a free ebook from Bruce Perens' Open Source Series. Straight from Trolltech, this book covers all you need to build industrial-strength applications with Qt 3.2.x and C++--applications that run natively on Windows, Linux/Unix, Mac OS X, and embedded Linux with no source code changes.

Use the following url to access the free ebook C GUI Programming with Qt 3 .
http://www.phptr.com/content/images/0131240722/downloads/blanchette_book.pdf

Standard Template Library Programmer's Guide

Standard Template Library Programmer's Guide

Standard Template Library Programmer's Guide is a free online C++ guide by Silicon Graphics, Inc.

Use the following url to access the free ebook Standard Template Library Programmer\'s Guide .
http://www.sgi.com/tech/stl/index.html

Introduction to C and C++ Programming

Introduction to C and C++ Programming

This is available as following modules - Language Development and Selection, Program Development in C, Fundamental Programming Structures in C, Input and Output In C, Data Structures Using C, File Management in C, C++: Object-Oriented C, Encapsulation of Objects and Methods in C++ and Inheritance and Virtual Methods in C++.

Use the following url to access the free ebook Introduction to C and C Programming .
http://www.deakin.edu.au/~agoodman/ctutorial/

Compilers and Compiler Generators: An introduction with C++

Compilers and Compiler Generators: An introduction with C++

Compilers and Compiler Generators: An introduction with C++ is available in pdf, postscript and zipped html formats. It is also available as an online book.

Use the following url to access the free ebook Compilers and Compiler Generators: An introduction with C .
http://scifac.ru.ac.za/compilers/

A Beginners C++

A Beginners C++

This is a free C++ book which can be downloaded in pdf format. The contents are Part 1 Introduction to Computers, Part 2 Simple Programs, Part 3 Functions and Data Aggregates, Part 4 A Touch of Class and Part 5 Object Oriented Programming.

Use the following url to access the free ebook A Beginners C .
http://www.uow.edu.au/~nabg/ABC/ABC.html

Industrial Strength C++

Industrial Strength C++

Industrial Strength C++ can be downloaded in pdf format. The contents are Naming, Organizing the code, Comments, Control flow, Object lifecycle, Conversions, The class interface, new and delete, Static objects, Object-oriented programming, Assertions, Error handling, Parts of C++ to avoid, Size of executables and Portability.

Use the following url to access the free ebook Industrial Strength C .
http://hem.passagen.se/erinyq/industrial/

How to Think Like a Computer Scientist C++ Version

How to Think Like a Computer Scientist C++ Version

Free C++ book How to think like a computer scientist C++ version first edition(189 pages) by Allen B. Downey in pdf format.

Use the following url to access the free ebook How to Think Like a Computer Scientist C plus plus Version .
http://www.onlinecomputerbooks.com/files/how_to_think_like_a_computer_scientist_cpp_version.pdf

C++ Essentials

C++ Essentials

Complete 311 page free C++ ebook by Sharam Hekmat of PragSoft Corporation. This book serves as an introduction to the C++ language. It teaches how to program in C++ and how to properly use its features.

Use the following url to access the free ebook C Essentials .
http://www.pragsoft.com/books/CppEssentials.pdf

Data Structures and Algorithmswith Object-Oriented Design Patterns in C++

Data Structures and Algorithmswith Object-Oriented Design Patterns in C++

Data Structures and Algorithms with Object-Oriented Design Patterns in C++ is a free online book by Bruno R. Preiss. It covers topics Algorithm Analysis, Asymptotic Notation, Foundational Data Structures, Data Types and Abstraction, Stacks, Queues and Deques, Ordered Lists and Sorted Lists, Hashing, Hash Tables and Scatter Tables, Trees, Search Trees, Heaps and Priority Queues and etc.

Use the following url to access the free ebook Data Structures and Algorithms with Object-Oriented Design Patterns in C .
http://www.brpreiss.com/books/opus4/

C++: A Dialog - Programming with C++ Standard Library

C++: A Dialog - Programming with C++ Standard Library

This book have free chapters - Introduction to Programming, Hardware Fundamentals, Basics of Programming, More Basics, Functional Literacy, Taking Inventory, Creating a Homegrown string class, Inheritance, Polymorphism and etc.

Use the following url to access the free ebook C : A Dialog - Programming with C Standard Library .
http://www.steveheller.com/cppad/cppad.htm

Optimizing C++

Optimizing C++

Free online book Optimizing C++ provides working programmers and those who intend to be working programmers with a practical, real-world approach to program optimization.

Use the following url to access the free ebook Optimizing C .
http://www.steveheller.com/opt/

Thinking In C++ Second Edition Volume Two: Practical Programming

Thinking In C++ Second Edition Volume Two: Practical Programming

This is a popular free C++ book by Bruce Eckel and Chuck Allison. It covers topics like Exception handling, Strings in depth, Iostreams, Templates in depth, Runtime type identification, Multiple inheritance, Design patterns, Concurrency.

Use the following url to access the free ebook Thinking In C Second Edition Volume Two: Practical Programming .
http://www.mindview.net/Books/DownloadSites

Thinking In C++ Second Edition Volume One: Introduction To Standard C++

Thinking In C++ Second Edition Volume One: Introduction To Standard C++

This is a popular free C++ book by Bruce Eckel. It covers topics like Introduction to Objects, Making & Using Objects, Data Abstraction, Hiding the Implementation, Initialization & Cleanup, Function Overloading & Default Arguments, Operator Overloading, Dynamic Object Creation, Inheritance & Composition, Polymorphism & Virtual Functions and Introduction to Templates.

Use the following url to access the free ebook Thinking In C Second Edition Volume One: Introduction To Standard C .
http://www.mindview.net/Books/DownloadSites

C++ In Action: Industrial-Strength Programming Techniques

C++ In Action: Industrial-Strength Programming Techniques

C++ In Action: Industrial-Strength Programming Techniques is a free online C++ book by Bartosz Milewski. The contents are Introduction, Language, Techniques, Windows Techniques and Software Project. Source Code of sample projects is also available.

Use the following url to access the free ebook C In Action: Industrial-Strength Programming Techniques .
http://www.relisoft.com/book/index.htm

JAAS Developer's Guide

JAAS Developer's Guide

Java security technology includes a large set of APIs, tools, and implementations of commonly-used security algorithms, mechanisms, and protocols. The Java security APIs span a wide range of areas, including cryptography, public key infrastructure, secure communication, authentication, and access control.

Click Here To View Full Details

Jan Newmarch's Guide to JINI Technologies

Jan Newmarch's Guide to JINI Technologies

This version uses Jini 2.1. For a version using Jini 2.0, see http://jan.netcomp.monash.edu.au/java/jini/tutorial.2.08/Jini.html For a version using Jini 1.1 or 1.2, see http://jan.netcomp.monash.edu.au/java/jini/tutorial.2.08/Jini.html For a version using Jini 1.0, see

Click Here To View Full Details

Designing Enterprise Applications with the J2EE Platform, Second Edition

Designing Enterprise Applications with the J2EE Platform, Second Edition

Since its introduction more than two years ago, the Java 2 Platform, Enterprise Edition (J2EE), has rapidly established a new model for developing distributed applications. This model is based on well-defined components that can automatically take advantage of sophisticated platform services. These components can be developed according to standard guidelines,

Click Here To View Full Details

Thinking in Enterprise Java

Thinking in Enterprise Java

Best viewed with Mozilla! (free at www.Mozilla.org) (Even though this document was created with MS Word, IE6 garbles lines with footnote markers on them. Mozilla seems to do a much better job).

Click Here To View Full Details

The J2EE 1.4 Tutorial

The J2EE 1.4 Tutorial

Before proceeding with this tutorial you should have a good knowledge of the Java programming language. A good way to get to that point is to work through all the basic and some of the specialized trails in The Java Tutorial, Mary Campione et al., (Addison-Wesley, 2000). In particular, you should

Click Here To View Full Details

Lectures in Enterprise JavaBeans

Lectures in Enterprise JavaBeans

Lectures in Enterprise JavaBeans

Click Here To View Full Details

J2EE BluePrints

J2EE BluePrints

The Internet and World Wide Web represent a foundation on which enterprises are working to build an information economy. In this economy, information takes on as much value as goods and services, and becomes a vital part of the market. The information economy challenges today's enterprises to radically re-think the way they do business.

Click Here To View Full Details

The J2EE Tutorial

The J2EE Tutorial

Today, more and more developers want to write distributed transactional applications for the enterprise and leverage the speed, security, and reliability of server-side technology. If you are already working in this area, you know that in today's fast-moving and demanding world of e-commerce and information technology,

Click Here To View Full Details

J2EE Developer's Guide

J2EE Developer's Guide

Java Platform, Enterprise Edition (Java EE) is the industry standard for developing portable, robust, scalable and secure server-side Java applications. Building on the solid foundation of Java SE, Java EE provides web services, component model, management, and communications APIs that make it the industry standard for

Click Here To View Full Details

Developer's Guide to Understanding Enterprise JavaBeans

Developer's Guide to Understanding Enterprise JavaBeans

Developer's Guide to Understanding Enterprise JavaBeans

Click Here To View Full Details

Application Development with VisualAge for Java Enterprise

Application Development with VisualAge for Java Enterprise

In this chapter we describe the VisualAge for Java product family and introduce VisualAge for Java Enterprise. We cover all of the functions that come with the Enterprise product. We describe how the enterprise access builders work in general

Click Here To View Full Details

Enterprise Java Beans, an Introduction

Enterprise Java Beans, an Introduction

Enterprise Java Beans, an Introduction

Click Here To View Full Details

Servlet Essentials

Servlet Essentials

This document explains the concepts of Java Servlets and provides a step-by-step tutorial for writing HTTP Servlets with complete source code for the example Servlets. The tutorial and the other chapters cover all facets of Servlet programming from a simple "Hello World" Servlet to advanced Servlet features like session tracking and Cookies.

Click Here To View Full Details

Servlets and JavaServer Pages (JSP): A Tutorial

Servlets and JavaServer Pages (JSP): A Tutorial

Core Servlets and JavaServer Pages. Sun Microsystems Press book on servlets 2.2 and JSP 1.1. This online tutorial served as a very early outline for the book, but of course the book covers many more topics and includes much more detail. Also see this new book (More Servlets and JSP) on servlets 2.3 and JSP 1.2.

Click Here To View Full Details

Presenting JavaBeans

Presenting JavaBeans

Change is embraced in the innovative world of software development probably more than in any other professional endeavor. Software enters a final commercial state for only a brief period of time, after which the next batch of enhancements and improvements is immediately planned and begun.

Click Here To View Full Details

Wednesday, June 4, 2008

Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming

It is based on the kernel language approach, in which practical languages and paradigms are translated to simple kernel languages, which consist of small numbers of programmer-significant concepts. This shows the deep relationships between the paradigms and how to use them together

Click Here To View Full Details

Logic, Programming and Prolog (2ed)

Logic, Programming and Prolog (2ed)

by Ulf Nilsson and Jan Maluszynski
Previously published by John Wiley & Sons Ltd.

Click Here To View Full Details

Type Theory and Functional Programming

Type Theory and Functional Programming

This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened.

Click Here To View Full Details

Functional Programming and Parallel Graph Rewriting

Functional Programming and Parallel Graph Rewriting

Click Here To View Full Details

Implementing Functional Languages: A Tutorial

Implementing Functional Languages: A Tutorial

This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive', by helping the reader to develop, modify and experiment with some non-trivial compilers.

Click Here To View Full Details

How to Design Programs

How to Design Programs

This Web tree is the publisher-endorsed, on-line version of the book. You may purchase a paper copy directly from MIT Press
or any other bookstore

Click Here To View Full Details

Programming Languages

Programming Languages

DDK is a framework for writing the interpreters discussed in the book. The binaries are fully working versions of the interpreters, but the source distribution is simply the framework with a dummy implementation of the interpreters. The source distrubition is released under the same license as the book. The binaries may be downloaded and freely used, but we reserve all rights to the binaries themselves and the source code from which they were produced

Click Here To View Full Details

Programming in Martin-Löf's Type Theory

Programming in Martin-Löf's Type Theory

Click Here To View Full Details

Object Oriented Programming

Object Oriented Programming

The page you are visiting has been replaced. Please visit our new main web site - incorporated as part of the Department of Information Technology web. Updated information regarding staff, address, research, education and others can primarily be found there.

Click Here To View Full Details

Programming from Specifications

Programming from Specifications

The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.

Click Here To View Full Details

Working with Objects

Working with Objects

Click Here To View Full Details

Object-Oriented System Development Object-Oriented System Development

Object-Oriented System Development Object-Oriented System Development

The original hardcover textbook edition (ISBN 0-201-56355-X) of Object-Oriented System Development by Dennis de Champeaux, Douglas Lea, and Penelope

Click Here To View Full Details

Structure & Interpretation of Computer Programs

Structure & Interpretation of Computer Programs

This book is one of a series of texts written by faculty of the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology. It was edited and produced by The MIT Press under a joint production-distribution arrangement with the McGraw-Hill Book Company.

Click Here To View Full Details

Dictionary of Programming Languages

Dictionary of Programming Languages

Welcome to the Dictionary of Programming Languages, a compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.

Click Here To View Full Details

Designing and Building Parallel Programs

Designing and Building Parallel Programs

Welcome to Designing and Building Parallel Programs ! My goal in this book is to provide a practitioner's guide for students, programmers, engineers, and scientists who wish to design and build efficient and cost-effective programs for parallel and distributed computer systems. I cover both the techniques used to design parallel programs and the tools used to implement these programs. I assume familiarity with sequential programming, but no prior exposure to parallel computing

Click Here To View Full Details

Patterns for Adaptive Programming (AP)

Patterns for Adaptive Programming (AP)

THE NEXT OFFERING OF THIS COURSE IS: FALL SEMESTER 2003. This course was formerly called Adaptive Object-Oriented Software Development: The Demeter Method. It was then renamed to Aspect-Oriented Software Development and for the purpose of the course description

Click Here To View Full Details

Advanced Programming Language Design

Advanced Programming Language Design

Written for the student or professional interested in programming language design, this new book examines a wide range of programming language paradigms and issues. Author Raphael Finkel, University of Kentucky, intersperses the discussion of these models with in-depth coverage of the key languages to reinforce them. Finkel begins his

Click Here To View Full Details

Tuesday, June 3, 2008

Applied Algorithms

Applied Algorithms

My goal in teaching this course is help you become better prepared to tackle algorithm design for "real-world" problems. This includes (1) understanding fundamental algorithmic techniques and the tradeoffs involved in designing correct, efficient and implementable algorithms, and

Click Here To View Full Details

Algorithms from ADUni.org

Algorithms from ADUni.org

The study of algorithms concentrates on the high level design of data structures and methods for using them to solve problems. The subject is highly mathematical, but the mathematics can be compartmentalized, allowing a student to concentrate on what rather than why

Click Here To View Full Details

Handbook of Algorithms and Data Structures

Handbook of Algorithms and Data Structures

These WWW pages are not a digital version of the book, nor the complete contents of it. Here you will find the preface, table of contents, index and all source code of the handbook. The main goal is to make available through Internet the source code of many algorithms (in C and/or Pascal) that have been already tested

Click Here To View Full Details

Data Structures & Algorithms (A. Cawsey)

Data Structures & Algorithms (A. Cawsey)

To avoid re-inventing the wheel. As you might expect, for many programming problems, someone has already developed a good algorithm to solve that problem. For many of these algorithms, people have formally analysed their properties, so you can be confident in their correctness and efficiency. For example,

Click Here To View Full Details

A Catalog of Enumeration Algorithms

A Catalog of Enumeration Algorithms

Since the given graph is bipartite, the problem for findig another perfect matching is reduced to a problem for finding a directed cycle of a auxiarly directed graph and so it requires O( n + m ) time

Click Here To View Full Details

Algorithms

Algorithms

The notes contain the material that I use when preparing the actual lectures; in that sense they are my lecture notes. They also approximate what you as a student may choose to write down from these lectures; in that sense they are your lecture notes. And in each case, they form an approximation: a lecture is a form of communication

Click Here To View Full Details

Data Structures through Java

Data Structures through Java

These notes provide an introduction to some of the most commonly occurring data structures. The language used is Java. The aim is not the greatest generality. The DataStructures package developed here is not as extensive as the Collections framework, first released with Java 1.2. For portable applications, you should use the Collections

Click Here To View Full Details

Sorting

Sorting

The DataStructures package, however, includes graphs which are not currently in the Collections framework; and the greater simplicity of the DataStructures package makes it more suitable as a basis for learning about fundamental principles of data structures and algorithms.

Click Here To View Full Details

Analysis of QuickSort

Analysis of QuickSort

This analysis doesn't really tell us what to expect. In practice, quicksort behaves like a fast algorithm, but our focus on worst-case running time tells us it's n2.

Click Here To View Full Details

Tree Automata Techniques and Applications

Tree Automata Techniques and Applications

The two first chapters contain the basics on Tree Automata theory for finite ordered ranked trees. Chapter 3 shows connections between Logic and Tree Automata. Chapter 4 presents Automata with Constraints.

Click Here To View Full Details

Dictionary of Algorithms and Data Structures

Dictionary of Algorithms and Data Structures

This is a dictionary of algorithms, algorithmic techniques, data structures, archetypical problems, and related definitions. Algorithms include common functions, such as Ackermann's function. Problems include traveling salesman and Byzantine generals. Some entries have links to implementations and more information. Index pages list entries by area and by type.

Click Here To View Full Details

Open Directory :: Computer Algorithms

Open Directory :: Computer Algorithms

An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.

Click Here To View Full Details

Open Directory :: Programming :: Graphics :: Algorithms and Data Structures

Open Directory :: Programming :: Graphics :: Algorithms and Data Structures

A detailed development of a stereogram-generation algorithm is presented, complete with a ready-to-run Windows program to download and experiment with.

Click Here To View Full Details

Google Directory :: Algorithms

Google Directory :: Algorithms

A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.

Click Here To View Full Details

Yahoo Directory :: Computer Science :: Algorithms

Yahoo Directory :: Computer Science :: Algorithms

Usenet clippings, web pointers, lecture notes, research excerpts, papers, abstracts, programs, problems, and other stuff related to discrete and computational geometry.

Click Here To View Full Details

Data Structures and Algorithms with Object-Oriented Design Patterns in Java

Data Structures and Algorithms with Object-Oriented Design Patterns in Java

This book was motivated by my experience in teaching the course E&CE 250: Algorithms and Data Structures in the Computer Engineering program at the University of Waterloo

Click Here To View Full Details

Data Structures and Algorithms with Object-Oriented Design Patterns in C++

Data Structures and Algorithms with Object-Oriented Design Patterns in C++

This book is about the fundamentals of data structures and algorithms--the basic elements from which large and complex software artifacts are built. To develop a solid understanding of a data structure requires three things:www.ewalkins.com

Click Here To View Full Details

Data Structures and Algorithms with Object-Oriented Design Patterns in C#

Data Structures and Algorithms with Object-Oriented Design Patterns in C#

This book was prepared with LaTeX and reproduced from camera-ready copy supplied by the author. The book is typeset using the Computer Modern fonts designed by Donald E. Knuth with various additional glyphs designed by the author and implemented using METAFONT.www.ewalkins.com

Click Here To View Full Details