|
|
The art of computer programming / Donald E. Knuth
Monografia
Publication
Boston : Addison-Wesley, 1997-2001
Description
3 v. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (4).
Reference (2).
|
|
|
Constructing predictable real time systems / Wolfgang A. Halang, Alexander D. Stoyenko
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1991
Description
XXIX, 311 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Real-time system : design principles for distributed embedded applications / Hermann Kopetz
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1997
Description
XIV, 338 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Directed sonar sensing for mobile robot navigation / John J. Leonard, Hugh F. Durrant-Whyte
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1992
Description
XIX, 183 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Advances in computational complexity theory / ed. Jin-Yi Cai
Monografia
Publication
[Providence] : American Mathematical Society, cop. 1993
Description
XI, 209 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Climate and environmental database systems / ed. Michael Lautenschlager and Manfred Reinke
Monografia
Publication
Boston : Kluwer Academic Publishers, 1997
Description
IX, 197 p. :
il. ;
24 cm
LocationBiblioteca da Unidade de Arqueologia
Availability
Reference (1).
|
|
|
Survivable networks : algorithms for diverse routing / Ramesh Bhandari
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1999
Description
XII, 200 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Satisfiability problem : theory and applications : DIMACS Workshop March 11-13, 1996 / ed. Dingzhu Du, Jun Gu, Panos M. Pardalos
Monografia
Publication
[Washington] : American Mathematical Society, cop. 1997
Description
XV, 724 :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Proof complexity and feasible arithmetics / ed. Paul W. Beame, Samuel R. Buss
Monografia
Publication
[Washington] : American Mathematical Society, cop. 1998
Description
XII, 320 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Turbo codes : principles and applications / Branka Vucetic, Jinhong Yuan
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 2000
Description
XXVI, 312 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Modelling distributed systems / Wan Fokkink
Monografia
Publication
Berlin : Springer, cop. 2007
Description
VIII, 151 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Application specific processors / ed. Earl E. Swartzlander Jr
Monografia
Publication
Boston : Kluwer, cop. 1997
Description
XIV, 253 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa
Monografia
Publication
New York : Prentice Hall, 1994
Description
XVI, 197 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Materials for optoelectronics / ed. Maurice Quillec
Monografia
Publication
Boston : Kluwer Academic, cop. 1996
Description
XII, 377 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems / Mark H. Klein...[et al.]
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1993
Description
XIII, 678 p. pag. var. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Communication and concurrency / Robin Milner
Monografia
Publication
New York : Prentice-Hall, cop. 1989
Description
XI, 260 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Systematic software development using VDM / Cliff B. Jones
Monografia
Publication
New York : Prentice-Hall, cop. 1990
Description
XIV, 333 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Distributed systems and computer networks / Morris Sloman, Jeff Kramer
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1987
Description
XVI, 336 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Thinking with models : mathematical models in physical, biological, and social sciences / Thomas L. Saaty, Joyce M. Alexander
Monografia
Publication
Oxford : Pergamon Press, 1981
Description
XI, 181 p. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Computer science : a modern introduction / Les Goldschlager, Andrew Lister
Monografia
Publication
New York : Prentice-Hall, 1988
Description
XIII, 330 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|