1
A logical approach to discrete math [E-Book] /
...Texts and monographs in computer science...

Full text 
2
Specification and transformation of programs : a formal approach to software development /
Book
...Texts and monographs in computer science....
3
Programming in Modula 2.
Book
Wirth, N.
1988
...Texts and monographs in computer science....
4
Fairness /
Book
...Texts and monographs in computer science...
5
Computational geometry : an introduction /
Book
...Texts and monographs in computer science....
6
Methods and applications of error free computation.
Book
...Texts and monographs in computer science....
7
Compiler construction.
Book
...Texts and monographs in computer science....
8
The Origins of digital computers : selected papers /
Book
...Texts and monographs in computer science....
9
Programming methodology : A collection of articles by members of IFIP WG2 3.
Book
Gries, D.
1978
...Texts and monographs in computer science....
10
Automata-theoretic aspects of formal power series /
Book
...Texts and monographs in computer science....
11
The Design of well-structured and correct programs /
Book
...Texts and monographs in computer science...
12
Chess skill in man and machine /
Book
...Texts and monographs in computer science....