Biblioteca da Universidade do Minho catalog › Results of search for '519.6'

Your search returned 1392 results.

« Previous
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
Next »

		No cover image available Iterative refinement of the method of moments [Microforma] / George Miel Monografia Publication Madison : University of Wisconsin-Madison, 1986 Description 1 microficha ; 11x15 cm LocationBiblioteca de Reservados Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		Formal methods for real-time computing / ed. Constance Heitmeyer and Dino Mandrioli Monografia Publication Chichester : John Wiley & Sons, cop. 1996 Description XVII, 271 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle-HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Monografia Publication Berlin : Springer, cop. 2002 Description XIII, 218 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Comparação e classificação de métodos de avaliação do processo de software utilizando uma metodologia numérica e exploratória [Documento electrónico] / Alberto António de Chalupa Sampaio ; orient. Fernando Mário Junqueiro Martins, Maria Helena Mendes Moreira Monografia Publication Braga : [s.n.], 2004 Description 263 f. Online resource Acesso restrito à UM Availability No copies available 1 2 3 4 5 Add to cart (remove)
		Level set methods and fast marching methods : evolving interfaces in computational geometry, fluid mechanics, computer vision and materials science / J. A. Sethian Monografia Publication Cambridge : Cambridge University Press, imp 2005 Description XX, 378 p. : il. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		MATLAB guide / Desmond J. Higham, Nicholas J. Higham Monografia Publication Philadelphia : Society for Industrial and Applied Mathematics, cop. 2000 Description XXII, 283 p. : il. gráficos ; 27 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The finite element method : one-dimensional problems / The Open University. Mathematics : a third-level course ; prep. by Mick Bromilow Monografia Publication Walton Hall : The Open University, imp. 1996 Description 59 p. : il. ; 30 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Learning in graphical models / ed. Michael I. Jordan Monografia Publication Cambridge : MIT Press, 1999 Description VII, 634 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		From local to global optimization / ed. Athanasios Migdalas, Panos M. Pardalos, Peter Varbrand Monografia Publication Dordrecht : Kluwer Academic Publishing, cop. 2001 Description XVIII, 339 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logic in Computer Science : proceedings / Eleventh Annual IEEE Symposium on... Monografia Publication Washington : IEEE Computer Society Press, cop. 1996 Description XV, 531 p. ; 28 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Diagrammatic reasoning : cognitive and computational perspectives / ed. B. Chandrasekaren, Janice Glasgow, N. Hari Narayanan Monografia Publication Cambridge, Mas. : AAAI Press, cop. 1995 Description XXVII, 780 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers Monografia Publication Cambridge : Cambridge University Press, 1992 Description XVI, 335 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Recent advances in iterative methods / ed. Gene Golub, Anne Greenbaum, Mitchell Luskin Monografia Publication New York : Springer, 1994 Description XVI, 225 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Distributed algorithms / 11th International Workshop... ; ed. Marios Mavronicolas, Philippas Tsigas Monografia Publication Berlin : Springer, cop. 1997 Description X, 332 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Afternotes on numerical analysis : a series of lectures on elementary numerical analysis... / G. W. Stewart Monografia Publication Philadelphia : Siam, cop. 1996 Description X, 200 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3). 1 2 3 4 5 Place hold Add to cart (remove)
		State of the art in global optimization : computational methods and applications / ed. C. A. Floudas, P. M. Pardalos Monografia Publication Dodrecht : Kluwer Academic Publishers, cop. 1996 Description IX, 651 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Directional simulation in Gaussian processes / O. Ditlevsen... [et al.] Monografia Publication Lyngby : Technical University of Denmark, 1987 Description 23 p. : il. ; 21 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Afternotes goes to graduate school : lectures on advanced numerical analysis / G. W. Stewart Monografia Publication Philadelphia : SIAM, cop. 1998 Description XII, 245 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 509 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Mastering Mathematica : programming methods and applications / John Gray Produtos Computador Publication San Diego : Academic Press, cop. 1998 Description XX, 629 p. : il. ; 24 cm + CD-ROM LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)