Your search returned 921 results. Subscribe to this search

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