|
|
Infinite game universe : mathematical techniques / Guy W. Lecky-Thompson
Produtos Computador
Publication
Hingham, Mass. : Charles River Media, cop. 2001
Description
XX, 306 p. :
il. ;
24 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Integer programming and combinatorial optimization : proceedings / 8th International IPCO Conference ; ed. Karen Aardal, Bert Gerards
Monografia
Publication
Berlin : Springer, cop. 2001
Description
XI, 421 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming with higher-order logic / Dale Miller, Gopalan Nadathur
Monografia
Publication
Cambridge : Cambridge University Press, 2012
Description
XIII, 306 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Checked out (1).
|
|
|
Principles of parallel programming / Calvin Lin, Lawrence Snyder
Monografia
Publication
Boston : Pearson, cop. 2009
Description
352 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to scientific programming : computational problem solving using maple and C / Joseph L. Zachary
Produtos Computador
Publication
New York : Springer, cop. 1996
Description
XXIV, 380 p. ;
25 cm +
1 disquete 3.5
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Reference (3).
|
|
|
Some experiences with Gasp-Like microcomputer simulation languages in Fortran, Pascal and Ada [Microforma] / Arne Thesen, Rekha De Silva
Monografia
Publication
Madison : University of Wisconsin-Madison, 1983
Description
1 microficha ;
11x15 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
The Haskell school of expression : learning functional programming through multimedia / Paul Hudak
Monografia
Publication
Cambridge : Cambridge University Press, 2000
Description
XVIII, 363 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
On the development of CAMILA / J. J. Almeida... [et al.]
Monografia
Availability
No copies available
|
|
|
Formal verification of cryptographic software implementations [Documento electrónico] / Bárbara Isabel de Sousa Vieira ; orient. Manuel Bernardo Barbosa
Monografia
Publication
Braga : [s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Especificação formal e prototipificação de software : a metodologia METOO / F. Mário Martins
Monografia
Publication
Braga : Universidade do Minho, 1986
Description
34 f. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
The application of logic programming to data bases / José Carlos Ferreira Maia Neves
Monografia
Publication
[Edinburgh] : Heriot-Watt University, 1983
Description
260 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Numerical methods, software, and analysis / John R. Rice
Monografia
Publication
Auckland : McGraw-Hill, imp. 1985
Description
XII, 483 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programação com Basic : incluindo Basic para microcomputadores / Byron S. Gottfried ; trad. Gastão de Almeida Rocha, Arnaldo Milstein Mefano
Monografia
Publication
São Paulo : McGraw-Hill, cop. 1984
Description
VIII, 322 p. :
il. ;
27 cm
LocationBiblioteca da Unidade de Arqueologia, Biblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
Reference (1).
Checked out (2).
Lost (1).
|
|
|
Assembler for the IBM PC and PC-XT / Peter Abel
Monografia
Publication
Reston, Virginia : Reston Publishing, cop. 1984
Description
XV, 416 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
Reference (1).
Lost (1).
|
|
|
Programação em dbase III plus / Carlos Reis
Monografia
Publication
Lisboa : Editorial Presença, 1988
Description
275 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Induction, recursion, and programming / Mitchell Wand
Monografia
Publication
New York : North Holland, cop. 1980
Description
XIII, 202 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algol 60 / Madalena Quirino, LNEC
Monografia
Publication
Lisboa : Laboratório Nacional de Engenharia Civil, 1968
Description
76 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Protocolos de comunicação : da especificação ao prototipo / Luís M. S. Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
39, 8, 4 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Modelling and performange evaluation of computer systems / Comission of the European Communities ; ed. H. Beilner, E. Gelenbe
Monografia
Publication
Amsterdam : North-Holland, 1977
Description
X, 515 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Practical strategies for developing large software systems / ed. Ellis Horowitz... [et al.]
Monografia
Publication
Massachusetts : Addison-Wesley, cop. 1975
Description
XIII, 226 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|