|
|
|
|
1. |
Real-time system design /
by Levi, Shem-Tov
Publication:
New York : McGraw-Hill, 1990
Date:1990
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
2. |
Real-time systems and their programming languages /
by Burns, Alan,
Publication:
Wokingham : Addison-Wesley, 1989
. xv,575p :
Date:1989
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
3. |
An embedded software primer /
by Simon, David E.
Publication:
Reading, Mas. : Addison-Wesley, 1999
Date:1999
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca do Tagus Park
(1),
IST - Biblioteca do Tagus Park
(1),
IST - Biblioteca do Tagus Park
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
4. |
Executive programs and operating systems /
Publication:
London : Macdonald, 1970
. [10],116p :
23cm
Date:1970
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
|
|
|
5. |
Verification and validation of real-time software /
Publication:
Berlin : Springer, 1985
. xi, 245 p. ;
, Inclui referências bibliográficas
25 cm
Date:1985
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
6. |
Formal techniques in real-time and fault-tolerant systems :
Publication:
Berlin : Springer, 1988
. vi,229p ;
25cm
Date:1988
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
7. |
Formal techniques in real-time and fault-tolerant systems :
Publication:
Berlin : Springer, 1991
. ix, 620 p
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
8. |
Complexity and real computation /
Publication:
New York : Springer, 1998
. XVI, 453 p. :
23 cm
Date:1998
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Mecânica
(1),
Actions:
|
|
|
|
9. |
Computer-aided experimentation :
by Finkel, Jules
Publication:
New York : Wiley-Interscience, 1975
. xix,422p :
24cm
Date:1975
Availability:
Copies available:
IST - Biblioteca de Mecânica
(1),
Actions:
|
|
|
|
10. |
Neural and concurrent real-time systems
by Soucek, Branko
Publication:
New York Wiley-Interscience 1989
. xviii,387p.
25cm
Date:1989
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
11. |
Microprocessors for engineers :
by Sinha, P.K.,
Publication:
Chichester : Ellis Horwood, 1987
. xiv,856p :
24cm
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
12. |
Real-time UNIX systems :
Publication:
Boston : Kluwer Academic Publishers, 1991
. xxiv, 316 p. :
25 cm
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
13. |
Real time languages :
by Young, Stephen J.,
Publication:
Chichester : Ellis Horwood, 1982
. 352p :
24cm
Date:1982
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
14. |
Strategies for real-time system specification /
by Hatley, Derek J.,
Publication:
New York : Dorset House, 1988
. xxii, 386 p
Date:1988
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
15. |
Specification and compositional verification of real-time systems /
by Hooman, J,
Publication:
Berlin : Springer-Verlag, 1991
. viii, 235p
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
16. |
Programming real-time computer systems /
by Martin, James,
Publication:
Englewood Cliffs, N.J : Prentice-Hall, 1965
. xii, 386 p :
24 cm
Date:1965
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
No cover image available
|
|
|
17. |
Real-time data-processing systems
by Stimler, Saul
Publication:
New York McGraw-Hill 1969
. x, 259 p
23 cm
Date:1969
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
No cover image available
|
|
|
18. |
Structured development for real-time systems /
by Ward, Paul T.
Publication:
Englewood Cliffs : Yourdon Press, 1985
Date:1985
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
19. |
Projecto e concretização de uma aplicação transaccional de tempo-real com técnicas de tolerância a faltas distribuída /
by Melro, Sérgio Marcos
Publication:
Lisboa : Instituto Superior Técinco, 1993
Date:1993
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
20. |
Real-time business systems /
by Head, Robert V.
Publication:
New York : Holt, Rinehart and Winston, 1966
. xiii, 368 p. :
, Data de cop.: 1964
22 cm
Date:1966
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
No cover image available
|
|
|
21. |
Real-time rendering /
by Akenine-Möller, Tomas
Publication:
Natick, Massachusetts : A K Peters, 2002
, Includes bibliography references and index
Date:2002
Availability:
Copies available:
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
22. |
Real-time systems and programming languages :
by Burns, Alan,
Publication:
London ; | New York : Addison-Wesley, 2001
. xvi, 738 p. :
, Rev. ed. of: Real-time systems and their programming languages. 1990.
24 cm.
Date:2001
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
No cover image available
|
|
|
23. |
Real time UML :
by Douglass, Bruce Powel.
Publication:
Boston : Addison-Wesley, 2004
. xlix, 694 p. :
24 cm.
Date:2004
Availability:
Copies available:
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
24. |
Semantic networks :
by Shastri, Lokendra.
Publication:
London : Pitman, 1988
. 222 p. :
25 cm.
Date:1988
Availability:
No items available:
Actions:
|
|
|
|
25. |
Real-time systems design and analysis /
by Laplante, Phillip A.
Publication:
Hoboken, N.J. : Wiley, 2004
. xxi, 505 p. :
24 cm.
Date:2004
Availability:
No items available:
Actions:
|
|
|
|
26. |
Handbook of real-time and embedded systems /
by Lee, Insup.
Publication:
Boca Raton : CRC Press, 2007
. p. cm.
Date:2007
Availability:
No items available:
Actions:
|
|
|
|
27. |
Sistemas de tiempo real en el proceso de datos =
by Desmonde, William Herbert,
Publication:
Bilbao : Deusto , 1970
. 205p. :
22cm
Date:1970
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
28. |
Real-time rendering /
by Akenine-Möller, Tomas
Publication:
Natick, Mass. : A.K. Peters, 2008
. xviii, 1027 p. :
24 cm
Date:2008
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
29. |
Real-time/parallel computing :
Publication:
New York : Plenum Press, 1981
. xviii, 397 p. :
, "Based on proceedings of part of the Japan-United States Seminar on Research Towards Real-Time Parallel Image Analysis and Recognition, held in Tokyo, Japan, October 31, 1978-November 4, 1978"
26 cm
Date:1981
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
|
|
|
30. |
Utilizacion y programacion de ordenadores en tiempo real /
by Martin, James,
Publication:
Barcelona : Editores Técnicos Asociados, 1971
. 416 p :
24 cm
Date:1971
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
No cover image available
|
|
|
31. |
Real-time data processing systems :
by Desmonde, William Herbert,
Publication:
Englewood Cliffs, N.J. : Prentice-Hall, 1964
. 186 p.
, Includes index
24 cm
Date:1964
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
No cover image available
|
|
|
32. |
Méthodes et techniques de traitement du signal et applications aux mesures physiques /
by Max, Jacques
Publication:
Paris : Masson, 1972
. v :
24 cm
Date:1972
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
No cover image available
|
|
|
33. |
The power of now
by Ranadivé, Vivek.
Publication:
New York McGraw-Hill 1999
. xvi, 214 p.
24 cm
Date:1999
Availability:
Copies available:
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
34. |
Real-time rendering
Publication:
Boca Raton, FL CRC Press
. xix, 1178 p.
24 cm
Availability:
Copies available:
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|