|
|
Decision tables / ed. General Computer Agency
Monografia
Publication
London : Her Majesty's Stationery Office, 1974
Description
[4], 92 p. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Scientific and engineering problem-solving with the computer / William Ralph Bennett, Jr
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1976
Description
XXII, 457 p. :
il. ;
29 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A collection of programming problems and techniques / H. A. Maurer, M. R. Williams
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1972
Description
XII, 256 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Applications and algorithms in science and engineering / C. William Gear
Monografia
Publication
Chicago : Science Researche Associates, cop. 1978
Description
VIII, 179 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Problems and methodologies in mathematical software production / International Seminar... ; ed. P. C. Messina, A. Murli
Monografia
Publication
Berlin : Springer-Verlag, 1982
Description
[8], 271 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Program style, design, efficiency, debugging, and testing / Dennie van Tassel
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1974
Description
256 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming in occam R2 / Geraint Jones, Michael Goldsmith
Monografia
Publication
New York : Prentice Hall, 1988
Description
X, 317 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Recursive techniques in programming / D. W. Barron
Monografia
Publication
London : MacDonald and James's, [1975]
Description
[6], 65 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of programming semantics / Proceedings of the 5th International Conference... ; ed. M. G. Main... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VI, 439 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of logic programming / J. W. Lloyd
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
XII, 212 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Méthodes de programmation / Bertrand Meyer, Claude Baudoin
Monografia
Publication
Paris : Eyrolles, 1978
Description
XXVI, 661 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of programming semantics : proceedings / International Conference on... ; ed. Austin Melton
Monografia
Publication
Berlin : Springer-Verlag, 1986
Description
395 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Construction et transformation des programmes / Jean-Dominique Warnier ; pref. Jean Boulanger
Monografia
Publication
Paris : Les Editions d'Organisation, 1985
Description
243 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Problem solving with computers / Paul Calter
Monografia
Publication
New York : McGraw-Hill, 1973
Description
XII, 187 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software portability / ed. P. J. Brown
Monografia
Publication
Cambridge : Cambridge University Press, cop. 1977
Description
XIV, 328 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer programming methodology / W. M. Turski
Monografia
Publication
London : Heyden, cop. 1978
Description
IX, 208 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Teachers'companion : from 11 to 16 / David Cundy... [et al.] ; ed. Nigel Webb
Monografia
Publication
Cambridge : Cambridge University Press, 1974
Description
[10], 141 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib
Monografia
Publication
New York : Springer-Verlag, cop. 1978
Description
X, 292 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer algorithms : introduction to design and analysis / Sara Baase
Monografia
Publication
Reading : Addison-Wesley, cop. 1978
Description
XVII, 286 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Program design which is provably correct : a quantum leap in software / James Martin
Monografia
Publication
Carnforth : Savant Research Studies, cop. 1983
Description
XX, 426 p. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|