A Programming Approach to Computability /

Workload Characterization for Computer System Design /
by: John, Lizy Kurian
Published: (2000)

Computer-Aided Reasoning : ACL2 Case Studies /
by: Kaufmann, Matt
Published: (2000)

Relational Database Technology /
by: Alagić, Suad
Published: (1986)

Verification of Reactive Systems : Formal Methods and Algorithms /
by: Schneider, Klaus
Published: (2004)

Semantic Integration of Heterogeneous Software Specifications /
by: Große-Rhode, Martin
Published: (2004)

TeX Reference Manual /
by: Bausum, David
Published: (2002)

C A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1996)

C: A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1991)

Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)

Programming Concepts and Methods PROCOMET '98 : IFIP TC2 /
by: Gries, David
Published: (1998)

An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)

Information Systems Engineering : an Introduction /
by: Sølvberg, Arne
Published: (1993)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994) /
by: Malek, Miroslaw
Published: (1994)

Programming with Sets : an Introduction to SETL /
by: Schwartz, J. T.
Published: (1986)

Program Transformation and Programming Environments /
by: Pepper, Peter
Published: (1984)

Object Oriented Computer Systems Engineering /
by: Morris, Derrick, 1934-
Published: (1996)

Algorithms, Software and Hardware of Parallel Computers /
by: Mikloško, Jozef
Published: (1984)

Programming in the 1990s : an Introduction to the Calculation of Programs /
by: Cohen, Edward
Published: (1990)

The IOTA Programming System : a Modular Programming Environment /
by: Nakajima, R.
Published: (1983)

The Science of Programming /
by: Gries, David
Published: (1981)

High Performance Scientific and Engineering Computing : Hardware/Software Support /
by: Yang, Laurence Tianruo
Published: (2004)

A Survey of Verification Techniques for Parallel Programs /
by: Barringer, Howard
Published: (1985)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

The World of Programming Languages /
by: Marcotty, Michael
Published: (1987)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)

Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

TRON Project 1987 Open-Architecture Computer Systems : Proceedings of the Third TRON Project Symposium /
by: Sakamura, Ken
Published: (1987)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)