Beginning regular expressions /

Nondeterminism in algebraic specifications and algebraic programs /
by: Hussmann, Heinrich, 1959-
Published: (1993)

Object-oriented graphics programming in C++ /
by: Stevens, Roger T., 1927-
Published: (1994)

A Comparative study of parallel programming languages : the Salishan problems /
Published: (1992)

Data structures ; theory and practice /
by: Berztiss, Alfs T.
Published: (1971)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

An introduction to programming with specifications : a mathematical approach /
by: Kubiak, Ryszard
Published: (1991)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
Published: (2002)

Learning C with fractals /
by: Stevens, Roger T., 1927-
Published: (1993)

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
Published: (1997)

Language hierarchies and interfaces : international summer school /
Published: (1976)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

Programming in Scheme : learn Scheme through artificial intelligence programs /
by: Watson, Mark, 1951-
Published: (1996)

A programmer's introduction to PHP 4.0 /
by: Gilmore, W. J.
Published: (2001)

Programming in Haskell /
by: Hutton, Graham, 1968-
Published: (2007)

Optimization /
Published: (1989)

Linear models : a mean model approach /
by: Moser, Barry Kurt
Published: (1996)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
Published: (1984)

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published: (1998)

Robot control 1988 (SYROCO '88) : selected papers from the 2nd IFAC Symposium, Karlsruhe, FRG, 5-7 October 1988 /
Published: (1989)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)

Compiling natural semantics /
by: Pettersson, Mikael
Published: (1999)

Ada, an introduction /
by: Ledgard, Henry F., 1943-
Published: (1983)

Perl 5 complete /
by: Peschko, Ed
Published: (1998)

Linear programming and network flows /
by: Bazaraa, M. S.
Published: (1990)

Integer and combinatorial optimization /
by: Nemhauser, George L.
Published: (1999)

The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /
Published: (1991)

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

Optimization of SQL queries for parallel machines /
by: Hasan, Waqar
Published: (1996)

Learning Perl /
by: Schwartz, Randal L.
Published: (1997)

Vibrational properties of solids /
Published: (1976)

Ada 95 reference manual : language and standard libraries /
Published: (1995)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Published: (2001)

Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings /
Published: (1992)