Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Data Structures and Algorithms



Book Title : Concepts, Techniques, and Models of Computer Programming
eBook download format(s) : HTML pdf html 
ISBN-10 : 0262220695 
ISBN-13 : 978-0-262220-69-9 
Author(s) : Peter Van Roy Seif Haridi 
Publisher : The MIT Press (Mar 2004)
Section : Data Structures and Algorithms
Book Review:

Book Description
This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together.

After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language -- a simple core language that consists of a small number of programmer- significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and try these 3 + 1 alternates...
  
       Buy 


Tell a Friend!

Similar Book titles in Data Structures and Algorithms section:
Introduction to Computer Graphics
Design and Analysis of Computer Algorithms
Patterns for Adaptive Programming (AP)
Computers, Graphics, & Learning
Structure and Interpretation of Computer Programs - 2nd Edition
Computer Animation: Algorithms and Techniques
Art of Programming Contest


Similar Book titles in Other sections:

Section: CS -> Compilers and Languages
Programming Languages: Application and Interpretation
Functional Programming and Parallel Graph Rewriting
Programming in Martin-Lof's Type Theory
Advanced Programming Language Design
Programming from Specifications, Second Edition
Show all..


Section: Multimedia & Game Development
Simulating Humans: Computer Graphics Animation and Control
So you want to be a Computer Game Developer?
Programming The Nintendo Game Boy Advance: The Unofficial Guide


Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Notes
Advanced Computer Architecture Tutorials
Computer Structures: Principles and Examples
Computer Structures: Readings and Examples
Show all..


Section: CS -> Theory
Introduction to Computer Science I
Foundations of Computer Science
An Introduction to the Theory of Computation (Principles of Computer Science Series)
How to Think Like a Computer Scientist: Learning with Python
Type Theory and Functional Programming
Show all..


Section: DB -> Datawarehousing
Database Systems: Concepts, Languages and Architectures


Section: DB -> DB / 2
Road Map to DB2 Programming


Section: DB -> Oracle
Oracle Programming with Visual Basic
Oracle PL/SQL Programming, 2nd Edition
Oracle PL/SQL Programming: Guide to Oracle8i Features
Advanced Oracle PL/SQL Programming with Packages (Nutshell Handbook)


Section: DB -> Others
Database Programming with Perl
Programming the Perl DBI
Teach Yourself Database Programming with Visual C++ 6 in 21 Day
Database System Concepts, Fifth Edition


Section: DB -> SQL
Embedded SQL Programming Guide


Section: DB -> SQL Server
SQL Server 2005 Stored Procedure Programming in T-SQL & .NET


Section: Computer Hardware
The Hand-Me-Down PC: Upgrading and Repairing Personal Computers
Beginning Computer Hardware Guide
Scott Mueller Library - Computer Dictionary
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
Computer Repair with Diagnostic Flowcharts
Show all..


Section: Device Drivers
Streams Programming Guide


Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition


Section: Microprocessor
Assembly Language Programming Tools for the IA-64 Architecture
IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide
Programming PIC Microcontroller in C (CC5X compiler)
Programming PIC Microcontrollers in BASIC
8080A-8085 Assembly Language Programming
Show all..


Section: Peripherals
Programming guide and sample code for RTL8139 family
Serial Port Programming Information ZIP
SoundBlaster Programming Information v0.90


Section: Internet
Computer Security Basics 2nd Edition


Section: Advanced Java
Principles of Object-Oriented Programming in Java
Tricks of Java Programming Gurus
Practical Artificial Intelligence Programming in Java
Introduction to Computer Science Using Java
Concurrent Programming Using Java
Show all..


Section: Java Enterprise Edition
Programming Jakarta Struts
Programming Jakarta Struts, 2nd Edition


Section: Java User Interface
Programming User Interfaces with JFC
Teach Yourself Internet Game Programming With Java in 21 Days


Section: Java Language
Code Conventions for the Java Programming Language
Essentials of the Java Programming Language, Part 1
Essentials of the Java Programming Language, Part 2
Peter Norton's Guide to Java Programming
Teach Yourself Java 1.1 Programming in 24 Hours
Show all..


Section: Java Networking
Web Programming with Java
Java Thin Client Programming


Section: Java Tools
Java Programming Guide for OS/390
IMS Version 7 and Java Application Programming


Section: Mathematics
Mathematical Foundations of Computer Science
Vector Math for 3D Computer Graphics - An Interactive Tutorial
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving
Programming for Engineers with Mathematica
Show all..


Section: Miscellaneous
The Art of Computer Game Design
Computer Vision and Image Processing
Michael Abrash's Graphics Programming Black Book
Microsoft RPC Programming Guide
Academic Careers for Experimental Computer Scientists and Engineers
Show all..


Section: Microsoft Certifications
Programming Desktop Applications With MS Visual Basic6 MCSD training kit


Section: Microsoft C Sharp (C#)
C# COM+ Programming
C Sharp Network Programming
Programming C# (2nd Edition)
Mastering Windows 2000 Programming with Visual C++
Mastering CSharp Database Programming
Show all..


Section: Microsoft COM/DCOM/ActiveX/ATL
ActiveX Programming Unleashed
Activex Programming With Visual C++ 5
Programming Distributed Applications With COM And Microsoft Visual Basic 6.0
Teach Yourself Activex Programming in 21 Days
Programming ADO
Show all..


Section: Microsoft .(dot) net
Applied Microsoft .Net Framework Programming
Programming Microsoft.NET
Web Programming with Visual J++


Section: Office Development
Programming Microsoft Visual Interdev 6
Programming Microsoft Office 2000 Web Components
Programming Microsoft Outlook and Microsoft Exchange


Section: Microsoft Visual Basic
Programming Microsoft Visual Basic 6
Web Programming with Visual Basic
COM+ Programming with Visual Basic
Programming VB .NET: A Guide for Experienced Programmers


Section: Microsoft Visual C++
Programming Visual C++, 5th Edition
Teach Yourself Database Programming with VC++ 6 in 21 Days
Programming Windows with MFC
Mastering Windows 2000 Programming with Visual C++


Section: MS Web Technologies
Programming Microsoft Internet Explorer 5
Programming Active Server Pages


Section: Windows Development
Programming the Microsoft Windows Driver Model, Second Edition
Tricks of the Windows Game Programming Gurus (2nd Edition)
Programming Windows CE
Programming Server Side Applications For Microsoft Windows 2000
Programming Applications For Microsoft Windows
Show all..


Section: Networking
Introduction to Computer, Internet & Network Systems Security
Computer Networks and Internets
Computer Networks
Design and Validation of Computer Protocols
Programming Principles in Java: Architectures and Interfaces
Show all..


Section: GNU/Linux OS
Advanced Linux Programming
Introduction to Socket Programming
Teach Yourself Shell Programming in 24 Hours
Effective AWK Programming
X Window and Motif Programming Guide
Show all..


Section: Embedded and RTOS
Programming Embedded Systems in C and C++


Section: Solaris OS
Programming Interfaces Guide
Streams Programming Guide
Multithreaded Programming Guide


Section: OS Theory
Programming the Be Operating System
Spring Concepts, Internals Architecture and Programming
HOPE: A Programming Model for Optimism
The Art of Unix Programming


Section: Unix OS
Nextstep Programming: Step One : Object-Oriented Applications/Book and Disk
The Unix Programming Environment
Volume 7A: XView Programming Manual


Section: Assembly Language
Windows Assembly Language & Systems Programming: 16- And 32-Bit Low-Level Programming for the PC and Windows
Introduction to RISC Assembly Language Programming
Programming from the Ground Up
The Art of Assembly Language Programming
Win32 Programming for x86 Assembly Language
Show all..


Section: C Language
Introduction to C and C++ Programming
C Programming Tutorial (K&R version 4)
Writing Bug-Free C Code for Windows: A Programming Style That Automatically Detects Bugs in C Code
Programming in C: A Tutorial
C Programming
Show all..


Section: COBOL Programming
ZingCOBOL: A Beginner's Guide to Programming in COBOL
COBOL Programming Course
COBOL Programming Guide
VisualAge COBOL for Windows Programming Guide
COBOL Programming Standards
Show all..


Section: C++ Language
An Introduction to C++ and Object Oriented Programming
An Introduction to C++ Programming
C++ in Action: Industrial Strength Programming Techniques
C++ Programming for Scientists
C++ Programming HOW-TO
Show all..


Section: Other Programming
Ada 95: The Craft of Object-Oriented Programming
Pascal Programming
Principles of Programming Languages
Programming Language Examples Alike Cookbook
Prolog Programming: A First Course
Show all..


Section: Perl Scripting
Advanced Perl Programming
Effective Perl Programming: Writing Better Programs With Perl
Practical Perl Programming
Programming Perl 5.0 CGI Web Pages for Microsoft Windows NT
Programming Perl, 3rd Edition
Show all..


Section: Ruby Programming
Programming Ruby - The Pragmatic Programmer's Guide


Section: Scripting
Practical Programming in Tcl and Tk
The Scheme Programming Language, Second Edition
Tclwise - Guide to the Tcl Programming Language
The Scheme Programming Language, Third Edition
Concrete Abstractions: An Introduction to Computer Science Using Scheme
Show all..


Section: Smalltalk
Smalltalk/V Mac Tutorial and Programming Handbook
Smalltalk-80: The Interactive Programming Environment


Section: Redbooks Draft
Programming the Cell Broadband Engine Examples and Best Practices
ABCs of z/OS System Programming Volume 8
ABCs of z/OS System Programming Volume 9
ABCs of z/OS System Programming Volume 3
ABCs of z/OS System Programming Volume 10
Show all..


Section: Redbooks
ABCs of z/OS System Programming Volume 9
IBM System S Programming Guide
ABCs of z/OS System Programming Volume 7
ABCs of z/OS System Programming Volume 10
ABCs of z/OS System Programming Volume 2
Show all..


Section: Redpapers
Building Service-Oriented Banking Solutions with IBM Banking Industry Models and Rational SDP
An Overview of Installing SAP Applications on System i Models
IBM Sales Center With Computer Telephony Integration
IBM System i Overview: Models 515, 525, 550, 570, 595, and More
PCI, PCI-X, PCI-X DDR, and PCIe Placement Rules for IBM System i Models
Show all..


Section: Redpapers Draft
IBM Sales Center for WebSphere Commerce with Computer Telephony Integration
Building Service-Oriented Banking Solutions with the IBM Banking Industry Models and Rational SDP
IBM System i Overview: Models 515, 525, 595, and More
PCI and PCI-X Placement Rules for IBM System i models: i5/OS V5R3 and V5R4 (Fourth edition)
IBM System i Overview: Models 515, 525, 550, 570, 595 and More
Show all..


Section: Software Engineering
How to Design Programs: An Introduction to Programming and Computing
Programming from Specifications
Reusable Software Components: Object-Oriented Embedded Systems Programming in C
Supercomputers: Directions in Technology and Applications
Reasoned Programming
Show all..


Section: Web Programming
Web Client Programming with Perl
CGI Programming on the World Wide Web
CGI Programming Unleashed
Special Edition Using Perl 5 for Web Programming
Web Programming Unleashed
Show all..


Section: XML, XSL & UML
Introduction to XML Programming
XML Programming: Web Applications and Web Services With JSP and ASP


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions