|
|
|
|
1. |
Digital simulation of continuous systems /
by Chu, Yaohan
Publication:
New York : McGraw-Hill, 1969
. 423p :
24cm
Date:1969
Availability:
No items available:
Actions:
|
|
|
|
2. |
The McGraw-Hill computer handbook /
Publication:
New York : McGraw-Hill, 1983
Date:1983
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
3. |
Programming systems and languages
Publication:
New York McGraw-Hill 1967
. xv, 734 p.
23 cm.
Date:1967
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
|
|
|
4. |
The complete C++ primer /
by Weiskamp, Keith
Publication:
Boston : Academic Press, 1990
. xvii,524p :
24cm
Date:1990
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
5. |
History of programming languages :
Publication:
New York : Academic Press, 1981
. xxiii,758p :
27cm
Date:1981
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Mecânica
(1),
Actions:
|
|
|
|
6. |
The anatomy of programming languages /
by Fischer, Alice E.
Publication:
Englewood Cliffs, NJ : Prentice-Hall International, 1993
. xxviii, 557 p. :
25 cm
Date:1993
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
7. |
A compiler generator /
by McKeeman, William Marshall
Publication:
Englewood Cliffs : Prentice-Hall, 1970
. xi,527p :
, Illus. on lining paper
25cm
Date:1970
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
8. |
Formal specification and software development /
by Bjørner, Dines,
Publication:
Englewood Cliffs : Prentice-Hall, 1982
. x,501p :
25cm
Date:1982
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
9. |
Formal specification of programming languages :
by Pagan, Frank G.
Publication:
Englewood Cliffs : Prentice-Hall, 1981
. x,245p :
24cm
Date:1981
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
10. |
Formal semantics of programming languages :
Publication:
Englewood Cliffs : Prentice-Hall, 1972
. [15],249p :
24cm
Date:1972
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
11. |
Introduction to programming languages /
by Peterson, William Wesley
Publication:
Englewood Cliffs : Prentice-Hall, 1974
. 358p ;
24cm
Date:1974
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
12. |
Introduction to the theory of programming languages /
by Meyer, Bertrand
Publication:
London : Prentice Hall, 1990
. xvi,447p :
23cm
Date:1990
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
13. |
Programming languages
by Pratt, Terrence W.
Publication:
Upper Saddle River Prentice Hall 1999
Date:1999
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
14. |
Principles of programming languages
by Tennent, R. D.
Publication:
New York Prentice-Hall 1981
. xiv,271p
24cm
Date:1981
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
15. |
Programming Language Processors /
by Watt, David A.
Publication:
Prentice-Hall, 1992
. 350p ;
23cm
Date:1992
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
16. |
Programming language syntax and semantics /
by Watt, David A.
Publication:
New York : Prentice-Hall, 1991
. xvi,389p :
24cm
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca do Tagus Park
(1),
Actions:
|
|
|
|
17. |
Programming language concepts and paradigms /
by Watt, David A.
Publication:
New York : Prentice-Hall International, 1990
. xvi,322p :
24cm
Date:1990
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
18. |
Programming languages :
by Pratt, Terrence W,
Publication:
Englewood Cliffs : Prentice-Hall, 1984
. xix,604p :
, Previous ed.: 1975
25cm
Date:1984
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
IST - Biblioteca de Mecânica
(1),
Actions:
|
|
|
|
19. |
Semantics of programming languages /
by Tennent, R. D.
Publication:
New York : Prentice Hall, 1991
. xxi,236p :
24cm
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
20. |
Syntax of programming languages :
by Backhouse, Roland C
Publication:
Englewood Cliffs, N.J. : Prentice-Hall, 1979
. xv,301p
Date:1979
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
21. |
Data abstraction in programming languages /
by Bishop, Judy
Publication:
Wokingham : Addison-Wesley, 1986
. x,166p ;
24cm
Date:1986
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
22. |
The structure and design of programming languages /
by Nicholls, John Edward
Publication:
Reading, Mass. : Addison-Wesley, 1975
. iii-xxi,572p :
25cm
Date:1975
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
23. |
Real-time systems and their programming languages /
by Burns, Alan,
Publication:
Wokingham : Addison-Wesley, 1995
. xv, 575 p. :
, First printed 1989.
25 cm
Date:1995
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
24. |
History of programming languages-II /
Publication:
Reading, Mass. : Addison-Wesley, 1996
Date:1996
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
25. |
Denotational semantics :
by Schmidt, David A,
Publication:
Boston, Mass. : Allyn and Bacon, 1986
. xiii,331p ;
25cm
Date:1986
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
26. |
Categories, types, and structures :
by Asperti, Andrea
Publication:
London : MIT Press, 1991
. xi, 306p :
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
27. |
Programming linguistics /
by Gelernter, David
Publication:
Cambridge, Mass. : MIT Press, 1990
. xx,411p :
24cm
Date:1990
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
28. |
Algebraic semantics of imperative programs /
by Goguen, Joseph A.
Publication:
Cambridge : MIT Press, 1996
Date:1996
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
29. |
Realistic compiler generation /
by Lee, Peter,
Publication:
Cambridge, Mass. : MIT Press, 1989
. ix,246p :
24cm
Date:1989
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
30. |
Topics in advanced language implementation /
Publication:
Cambridge, Mass. : MIT Press, 1991
. x,402p ;
24cm
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
31. |
Full abstraction and semantic equivalence /
by Mulmuley, Ketan
Publication:
Cambridge, Mass. : MIT Press, 1987
. 198p :
24cm
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
32. |
Foundations for programming languages /
by Mitchell, John C.
Publication:
Cambridge : The MIT Press, 1996
Date:1996
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
33. |
Generating language-based environments /
by Reps, Thomas W.
Publication:
Cambridge, Mass. : MIT Press, 1984
. 138 p. :
, , Originally presented as the author's thesis [Ph. D.]--Cornell University, 1983
24 cm
Date:1984
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
34. |
Constraint-based grammar formalisms :
by Shieber, Stuart M.
Publication:
Cambridge : The MIT Press, 1992
. xi, 183 p. :
, "A Bradford book"
24 cm
Date:1992
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
Actions:
|
|
|
|
35. |
The formal semantics of programming languages
by Winskel, Glynn
Publication:
Cambridge The MIT Press 1993
, Includes bibliographical references and index
Date:1993
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
36. |
Denotational semantics :
by Stoy, Joseph E
Publication:
Cambridge, Mass. : MIT Press, 1981
. xxx,414p :
Date:1981
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
37. |
Advances in languages and compilers for parallel processing /
Publication:
London : Pitman, 1991
Date:1991
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
38. |
Design and implementation of programming languages :
Publication:
Berlin : Springer-Verlag, 1977
. x, 496 p ;
24 cm
Date:1977
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
39. |
TEMPO :
by Jones, Neil D.
Publication:
Berlin : Springer-Verlag, 1978
. ix, 118 p :
24 cm
Date:1978
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
40. |
Algorithmic language and program development /
by Bauer, F.L.,
Publication:
Berlin : Springer-Verlag, 1982
. xvi,497 p.
Date:1982
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
41. |
Foundations of logic programming /
by Lloyd, J. W,
Publication:
Berlin : Springer-Verlag, 1984
. x, 124 p
Date:1984
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
42. |
Concepts in user interfaces :
Publication:
Berlin : Springer, 1986
. x,115p ;
25cm
Date:1986
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
43. |
Mathematical foundations of programming semantics :
Publication:
Berlin : Springer, 1986
. vi,395p ;
25cm
Date:1986
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
44. |
PARLE :
Publication:
Berlin : Springer, 1987
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
45. |
PARLE :
Publication:
Berlin : Springer, 1987
. xii, 463 p
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
46. |
A connotational theory of program structure /
by Royer, James S.
Publication:
Berlin : Springer, 1987
. [5],186p ;
25cm
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
47. |
Functional programming languages and computer architecture :
Publication:
Berlin : Springer, 1987
. vi, 470 p
, Contains papers from the 3rd Conference on Functional Programming Languages and Computer Architecture
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
48. |
Embedded systems :
Publication:
Berlin : Springer, 1987
. v, 207 p.
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
49. |
MetaSoft primer
by Blikle, Andrzej
Publication:
Berlin Springer 1987
. xii, 140 p.
Date:1987
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
|
|
50. |
Data types and persistence /
Publication:
Berlin : Springer-Verlag, 1988
. xviii,292p
Date:1988
Availability:
Copies available:
IST - Biblioteca de Elect.Comp. e Inf.
(1),
Actions:
|
|
