Filter Related Topics within your search.
1
Real-time systems specification, verification and analysis

Cover is for reference only
Group Author: Joseph Mathai
Published: Prentice Hall,
Publication Dates: 1996.
Call Number: TP316.2/R288.1/
Book
Save to List
Saved in:
2
Category theory for computer science

Cover is for reference only
Main Authors: Barr Michael.
Group Author: Wells Charles.
Published: Prentice Hall,
Publication Dates: 1995.
Call Number: TP301/B268/2nd ed./
Book
Save to List
Saved in:
3
Introduction to the theory of complexity

Cover is for reference only
Main Authors: Bovet Daniel Pierre
Group Author: Crescenzi Pierluigi
Published: Prentice Hall,
Publication Dates: 1994.
Call Number: TP301.5/B783/
Book
Save to List
Saved in:
4
Computer arithmetic systems algorithms, architecture and implementation

Cover is for reference only
Main Authors: Omondi Amos R
Published: Prentice Hall,
Publication Dates: 1994.
Call Number: TP301.6/O56/
Book
Save to List
Saved in:
5
Finite transition systems semantics of communicating systems

Cover is for reference only
Main Authors: Arnold A (Andre), 1945-
Published: Masson,
Publication Dates: c1994.
Call Number: TP301.1/A752/
Book
Save to List
Saved in:
6
Specification case studies

Cover is for reference only
Group Author: Hayes Ian 1956-; Flinn Bill
Published: Prentice Hall International,
Publication Dates: 1993.
Call Number: TP314/S714/2nd ed./
Book
Save to List
Saved in:
7
Programming language processors compilers and interpreters

Cover is for reference only
Main Authors: Watt David A. (David Anthony)
Published: Prentice Hall,
Publication Dates: 1993.
Book
Save to List
Saved in:
8
Abstract data types and Modula-2 a worked example of design using data abstraction

Cover is for reference only
Main Authors: Mitchell Richard, 1947-
Published: Prentice Hall,
Publication Dates: 1992.
Call Number: TP312M0/M682/
Book
Save to List
Saved in:
9
Mechanized reasoning and hardware design

Cover is for reference only
Group Author: Hoare C.A.R. Charles Antony Richard, 1934; Gordon M.J.C
Published: Prentice Hall,
Publication Dates: 1992.
Call Number: TP387-53/M486/1991/
Book
Save to List
Saved in:
10
Implementing functional languages

Cover is for reference only
Main Authors: Peyton Jones Simon L 1958-
Group Author: Lester David R
Published: Prentice Hall,
Publication Dates: 1992.
Call Number: TP312/P519/
Book
Save to List
Saved in:
11
Verifiable programming

Cover is for reference only
Main Authors: Dahl Ole-Johan 1931-
Published: Prentice Hall,
Publication Dates: 1992.
Book
Save to List
Saved in:
12
Programming language syntax and semantics

Cover is for reference only
Main Authors: Watt David A. (David Anthony)
Group Author: Thomas Muffy.
Published: Prentice Hall,
Publication Dates: c1991.
Call Number: TP311.1/W344/
Book
Save to List
Saved in:
13
Programming language concepts and paradigms

Cover is for reference only
Main Authors: Watt David A.
Published: Prentice Hall,
Publication Dates: c1990.
Call Number: TP312/W344-1/
Book
Save to List
Saved in:
14
Computer and communication systems performance modelling

Cover is for reference only
Main Authors: King Peter J.B 1952-
Published: Prentice Hall,
Publication Dates: 1990.
Call Number: TP302/K54/
Book
Save to List
Saved in:
15
Relational database management a systems programming approach

Cover is for reference only
Main Authors: Papazoglou M 1953-
Group Author: Valder W 1954-
Published: Prentice Hall,
Publication Dates: 1989.
Call Number: TP311.13/P213/
Book
Save to List
Saved in:
16
Distributed systems and computer networks

Cover is for reference only
Main Authors: Sloman Morris
Group Author: Kramer Jeff
Published: Prentice/Hall International,
Publication Dates: c1987.
Call Number: TP338.8/S634/
Book
Save to List
Saved in:
17
Specification case studies

Cover is for reference only
Group Author: Hayes Ian; Flinn Bill
Published: Prentice-Hall International,
Publication Dates: c1987.
Book
Save to List
Saved in:
18
A model implementation of standard Pascal

Cover is for reference only
Main Authors: Welsh Jim, 1943-
Group Author: Hay Atholl.
Published: Prentice Hall International,
Publication Dates: c1986.
Call Number: TP312/W462-1/
Book
Save to List
Saved in:
19
Program construction and verification

Cover is for reference only
Main Authors: Backhouse Roland C 1948-
Published: Prentice-Hall International,
Publication Dates: c1986.
Call Number: TP312/B126-1/
Book
Save to List
Saved in:
20
Communicating sequential processes

Cover is for reference only
Main Authors: Hoare C. A. R. (Charles Antony Richard), 1934-
Published: Prentice/Hall International,
Publication Dates: c1985.
Call Number: TP33/H679/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —