Your search returned 285 results. Subscribe to this search

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