Your search returned 285 results. Subscribe to this search

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