|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Guidelines for evaluation and selecting software packages / Irvin Brownstein, Nancy B. Lerner
Monografia
Publication
New York : Elsevier, cop. 1982
Description
278 p., pag. var. ;
29 cm
LocationBiblioteca de Reservados
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).
|
|
|
Problems and prospects of fundamental research in multidisciplinary fields : computer science / OCDE
Monografia
Publication
Paris : OCDE, 1972
Description
51 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The art of computer programming / Donald E. Knuth
Monografia
Publication
Reading : Addison-Wesley, 1973-1998
Description
3 v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (7).
Reference (1).
|
|
|
Object-oriented software construction / Bertrand Meyer
Monografia
Publication
New York : Prentice-Hall, 1988
Description
XVIII, 534 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Advances in genetic programming / ed. Kenneth E. Kinnear, Jr.
Monografia
Publication
Cambridge, Mass. : Bradford Book, cop. 2000
Description
X, 518 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Advances in cryptology - ASIACRYPT 2003 : proceedings / 9th International Conference on The Theory and Application of Cryptology and Information Security ; ed. Chi Sung Laih
Monografia
Publication
Berlin : Springer, cop. 2003
Description
XIII, 542 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Qualifield types : theory and practice / Mark P. Jones
Monografia
Publication
Cambridge : Cambridge University Press, 1994
Description
XI, 157 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Macintosh graphic techniques for multimedia / Geneviève Crabe
Produtos Computador
Publication
Boston : AP Professional, cop. 1996
Description
XVIII, 284 p. :
il. ;
24 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Desenvolvimento de protocolos de comunicação : da especificação ao protótipo / Alexandre Júlio Teixeira Santos
Monografia
Publication
Braga : Universidade do Minho, 1996
Description
XIV, 197 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Computer aided verification : proceedings / 9th International Conference... ; ed. Orna Grumberg
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XI, 483 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|