Programming Languages

Programming in RPG/400

Upgrading to FORTRAN 90

SQL

Vlisp : A Verified Implementation of Scheme

Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Concurrent Programming in ML

Programming in Fortran 90 : A First Course for Engineers and Scientists

Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals

A Guide to SPS-PC Plus

Languages for Automation

Rationale for the Design of the ADA Programming Language

Illustrating BBC Basic

Developing Utilities in Assembly Language

Ada® in Practice

Programming in ANSI C

A Practical Introduction to Pascal

Paradigms of Artificial Intelligence Programming : Case Studies in Common Lisp

Modula-2 for Pascal Programmers

FORTRAN Programming : A Supplement for Calculus Course (Universitext)

Illustrating BASIC : A Simple Programming Language

C by Example

Sources, Deposition, and Canopy Interactions

VS COBOL II : A Guide for Programmers and Managers

Z : An Introduction to Formal Methods

Studies in Ada Style

Practical SGML

Humans and Machines

Fortran 77

Developing Chemical Information Systems : An Object-Oriented Approach Using Enterprise Java