|
|
Parallel processing of discrete optimization problems : DIMACS Workshop April 28-29, 1994 / ed. Panos M. Pardalos, Mauricio G. C. Resende, K. G. Ramakrishnan
Monografia
Publication
[Washington] : American Mathematical Society, cop. 1995
Description
XIV, 374 p. :
il. gráficos ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Fourier transforms : an introduction for engineers / Robert M. Gray, Joseph W. Goodman
Monografia
Publication
Boston : Kluwer, cop. 1995
Description
XX, 361 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Computation and reasoning : a type theory for computer science / Zhaohui Luo
Monografia
Publication
Oxford : Clarendon Press, 1994
Description
XI, 228 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Subbans and wavelet transforms : design and applications / ed. Ali Akansu, Mark J. T. Smith ; foreword James F. Kaiser
Monografia
Publication
Boston : Kluwer Academic Press, cop. 1996
Description
XVI, 451 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Co-synthesis of hardware and software for digital embedded systems / Rajesh Kumar Gupta
Monografia
Publication
Boston : Kluwer, cop. 1995
Description
266 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Input-output in parallel and distributed computer systems / ed. Ravi Jain, John Werth, James C. Browne
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1996
Description
XIV, 395 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Sol-gel optics : processing and applications / ed. Lisa C. Klein
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1994
Description
VI, 592 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Parallel algorithm derivation and program transformation / ed. Robert Paige, John Reif, Ralph Wachter
Monografia
Publication
Boston : Kluwer Academic, cop. 1993
Description
XX, 228 p. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Multidimensional filter banks and wavelets : basic theory and cosine modulated filter banks / ed. Sankar Basu, Bernard Levy
Monografia
Publication
Boston : Kluwer, cop. 1996
Description
143 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Connectionist speech recognition : a hybrid approach / Hervé A. Bourlard, Nelson Morgan ; forew. Richard Lippmann
Monografia
Publication
Boston : Kluwer, cop. 1994
Description
XXVIII, 312 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Planning and architectural design of integrated services digital networks : civil and military applications / A. Nejat Ince, Dag Wilhelmsen, Bülent Sankur
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1995
Description
XI, 491 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algorithmic and register-transfer level synthesis : the system architect's workbench / D. E. Thomas ... [et al.]
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1990
Description
IX, 305 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
Monografia
Publication
Cambridge, Mas. : The MIT Press, imp. 1997
Description
XVII, 1028 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
Monografia
Publication
Cambridge, Mas. : The MIT Press, imp. 1999
Description
XVII, 1028 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Automatic programming applied to VLSI CAD software : a case study / Dorothy E. Setliff, Rob A. Rutenbar
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1990
Description
XVII, 234 p. :
il. gráficos ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Cad frameworks : principles and architecture / Pieter van der Wolf
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1994
Description
IX, 225 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software architectures and component technology / ed. Mehmet Aksit
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 2002
Description
XIII, 385 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Partial order methods in verification / DIMACS Workshop ; ed. Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann
Monografia
Publication
[Procidence] : American Mathematical Society, cop. 1997
Description
XIV, 403 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Elements of finite model theoy / Leonid Libkin
Monografia
Publication
Berlin : Springer, cop.2004
Description
XIV, 315 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Multimedia signals and systems / Mrinal Kr. Mandal
Produtos Computador
Publication
Boston : Kluwer Academic Publishers, cop. 2003
Description
XIV, 375 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|