-
1
Programming from first principles
Englewood Cliffs, NJ : Prentice-Hall International, 1987“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
Mathematical logic for computer science
New York : Prentice Hall, 1993“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
Introduction to the theory of complexity
Hemel Hempstead, Hertfordshire : Prentice Hall, 1994“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Database technology : a software engineering approach
New York : Prentice-Hall, 1988“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Formal specification and software development
Englewood Cliffs, N.J. : Prentice/Hall International, 1982“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Principles of concurrent and distributed programming
Englewood Cliffs, N.J., USA : Prentice Hall International, 1990“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
Programming in occam 2
New York : Prentice Hall, 1988“…Prentice-Hall international series in computer science.…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
How to solve it by computer
Englewood Cliffs, N.J. : Prentice-Hall International, 1982“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Computer science : a modern introduction
Englewood Cliffs, N.J. : Prentice/Hall International, 1982“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Micro-PROLOG : programming in logic
Englewood Cliffs, N.J. : Prentice-Hall International, 1984“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
Introduction to Pascal
Englewood Cliffs, N.J. : Prentice/Hall International, 1979“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
Object-oriented databases
New York : Prentice Hall, 1991“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Parallel numerical algorithms
New York : Prentice Hall, 1992“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Computation as logic
Paris : Hemel, Hempstead ; Englewood Cliffs, N.J. : Masson ; Prentice Hall, 1993“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
System development
Englewood Cliffs, N.J. : Prentice/Hall, 1983“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Computer arithmetic systems : algorithms, architecture, and implementation
New York : Prentice Hall, 1994“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
Introduction to programming in Prolog
New York : Prentice Hall, 1988“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
Communicating sequential processes
Englewood Cliffs, N.J. : Prentice/Hall International, 1985“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Introduction to the theory of programming languages
New York : Prentice Hall, 1990“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
20
Programming : the derivation of algorithms
New York : Prentice Hall, 1990“…Prentice-Hall international series in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>