|
|
Principles of artificial intelligence / Nils J. Nilsson
Monografia
Publication
Berlin : Springer-Verlag, 1982
Description
XV, 476 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Computer graphics programming : GKS - the graphics standard / G. Enderle, K. Kansy, G. Pfaff
Monografia
Publication
Berlin : Springer-Verlag, 1984
Description
XVI, 542 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of logic programming / J. W. Lloyd
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
XII, 212 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Prolog by example : how to learn, teach and use it / Helder Coelho, José C. Cotta
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
X, 382 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Computer aided design : fundamentals and system architectures / José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XII, 432 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Product data interfaces in CAD-CAM applications : design, implementation and experiences / ed. J. Encarnação, R. Schuster, E. Voge
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
XIV, 254 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Engineering databases : connecting islands of automation through databases / ed. José L. Encarnação, Peter C. Lockemann
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XII, 229 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Foundations of logic programming / J. W. Lloyd
Monografia
Publication
Berlin : Springer-Verlag, imp. 1993
Description
XII, 212 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Numerical solutions for partial differential equations : problem solving using Mathematica / Victor G. Ganzha, Evgenii V. Vorozhtsov
Produtos Computador
Publication
Boca Raton : CRC Press, cop. 1996
Description
[14], 347 p. :
il. gráficos ;
24 cm +
1 disquete 3.5
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
Reference (2).
|
|
|
Conservative finite-difference methods on general grids / Mikhail Shashkov ; ed. Stanly Steinberg
Produtos Computador
Publication
Boca Raton : CRC Press, cop. 1996
Description
359 p. :
il. ;
24 cm +
1 disquete
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
Reference (1).
|
|
|
Linear algebra with Mathematica / Eugene W. Johnson
Monografia
Publication
Pacific Grove : Brooks-Cole Publishing Company, cop. 1995
Description
XI, 174 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Quantifier elimination and cylindrical algebraic decomposition / ed. B. F. Caviness, J. R. Johnson
Monografia
Publication
Wien : Springer, cop. 1998
Description
XIX, 431 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Polynomial algorithms in computer algebra / F. Winkler
Monografia
Publication
Wien : Springer, 1996
Description
VIII, 270 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|