|
|
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).
|
|
|
Precompilador para a linguagem concorrente "Path-Pascal" / Pedro Rangel Henriques
Monografia
Publication
Braga : Universidade do Minho, 1986
Description
38 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
The theory of parsing, translation, and compiling / Alfred V. Aho, Jeffrey D. Ullman
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1972-1973
Description
2 v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
Metodologias de programação de computadores / F. Mário Martins
Monografia
Publication
Braga : Universidade do Minho, 1982
Description
32 f. :
il. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Applied mathematical programming / Stephen P. Bradley, Arnoldo C. Hax, Thomas L. Magnanti
Monografia
Publication
Reading : Addison-Wesley, cop. 1977
Description
XVI, 716, [19] p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (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).
|
|
|
Multicriterion optimization in engineering with FORTRAN programs / Andrzej Osyczka ; translation B. J. Davies
Monografia
Publication
Chichester : Ellis Horwood, 1984
Description
178 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
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).
|
|
|
Algebraic theory of processes / Matthew Hennessy
Monografia
Publication
Cambridge, Mass. : The MIT Press, cop. 1988
Description
X, 272 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Standardized development of computer software / Robert C. Tausworthe
Monografia
Publication
Englewood Cliffs : Prentice-Hall, 1977-1979
Description
2 v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
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).
|
|
|
Programming in Prolog / W. F. Clocksin, C. S. Mellish
Monografia
Publication
Berlin : Springer-Verlag, 1987
Description
XIV, 281 p. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Méthode générale d'analyse d'une application informatique / Xavier Castellani
Monografia
Publication
Paris : Masson, 1972
Description
2 v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
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).
|