Your search returned 921 results. Subscribe to this search

|
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).