|
|
Theory of linear and integer programming / Alexander Schrijver
Monografia
Publication
Chichester : John Wiley, imp. 2000
Description
XI, 471 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Designing and implementing combinator languages / S. Doaitse Swierstra, Pablo Azero Alcocer, João Saraiva
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
III, 54 p. :
il. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Integer programming / Laurence A. Wolsey
Monografia
Publication
New York : John Wiley & Sons, cop. 1998
Description
XVIII, 264 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (4).
|
|
|
Learn programming today with turbo Pascal : video tape workbook
Monografia
Publication
Scotts Valley : Borland International, cop. 1991
Description
XIV, 344 p. ;
18 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Purely functional data structures / Chris Okasaki
Monografia
Publication
Cambridge : Cambridge University Press, 1998
Description
X, 220 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Genetic programming : an introduction : on the automatic evolution of computer programs and its applications / Wolfgang Banzhaf... [et al.]
Monografia
Publication
San Francisco : Morgan Kaufmann Publishers, cop. 1998
Description
XIX, 470 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Exercise : for the generic programming course / Johan Jeuring
Monografia
Publication
Braga : Departamento de Informática de Universidade do Minho, 1998
Description
6, [1] p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Sorting morphisms / Lex Augusteijn
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The mathematica programmer II / Roman E. Maeder
Produtos Computador
Publication
San Diego : Academic Press, cop. 1996
Description
XVII, 296 p., [8] f. est. color. :
il. ;
24 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Introduction to functional programming using Haskell / Richard Bird
Monografia
Publication
Harlow : Prentice Hall, cop. 1998
Description
XII, 433 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (5).
Lost (1).
|
|
|
Functional decomposition with application to FPGA synthesis / Christoph Scholl
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 2001
Description
XXIII, 263 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to algorithms / Thomas H. Cormen... [et al.]
Monografia
Publication
Cambridge, Mas. : The MIT Press, cop. 2001
Description
XXI, 1180 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (5).
|
|
|
Interger optimization by local search : a domain-independent approach / Joachim Paul Walser ; foreword Henry Kautz
Monografia
Publication
Berlin : Springer-Verlag, cop. 1999
Description
137 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programação coindutiva : cálculos e aplicações / Paula Cristina Riobom Soares Ribeiro ; orient. Luís Soares Barbosa
Monografia
Publication
Braga : [s.n.], 2005
Description
[5] f.,141 p. ;
30 cm
Online resource
Versão electrónica. Acesso livre
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algebraic and coalgebraic methods in the mathematics for program construction : International summer school and workshop / ed. Roland Backhouse, Roy Crole, Jeremy Gibbons
Monografia
Publication
Berlin : Springer, cop. 2002
Description
XIV, 385 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Principles of parallel programming / Calvin Lin, Lawrence Snyder
Monografia
Publication
Boston : Pearson-Addison Wesley, cop. 2009
Description
XII, 338 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Constraint logic programming using ECLiPSe / Krzysztof R. Apt, Mark Wallace
Monografia
Publication
Cambridge : Cambridge University, cop. 2007
Description
XV, 329 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Monografia
Publication
Berlin : Springer, imp. 2005
Description
XXI, 452 p. :
il., tabelas ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Some common basic programs / Lon Poole, Mary Borchers
Monografia
Publication
Berkeley : McGraw-Hill, cop.1979
Description
XII, 195 p. :
il. ;
28 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to windows programming / Guy Quedens, Pamela S. Beason
Monografia
Publication
Glenview : Scott, Foresman and Company, 1989
Description
XI, 370 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|