|
|
|
1. |
Symposium on semantics of algorithmic languages /
Publication:
Berlin ; New York : Springer-Verlag, 1971
. 372 p. ;
26 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Computer semantics : studies of algorithms, processors, and languages /
by Lee, John A. N.
Publication:
New York : Van Nostrand Reinhold, 1972
. XVI, 397 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Formal semantics of programming languages /
Publication:
Englewood ; Cliffs, [N.J.] : Prentice-Hall, 1972
. 248 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Formal specification of programming languages : a panoramic primer /
by Pagan, Frank G.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall, 1981
. X, 245 p. ;
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
The logic of partial information /
by Nait Abdallah, Areski
Publication:
Berlin ; New York : Springer-Verlag, 1995
. XXV, 715 p. ;
24 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
6. |
Natural language understanding /
by Allen, James
Publication:
Menlo Park : Benjamin/Cummings Pub. Co., 1987
. XV, 574 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Algebraic approaches to program semantics /
by Manes, Ernest G.
Publication:
New York : Springer-Verlag, 1986
. XIII, 351 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Natural language at the computer : Scientific symposium on syntax and semantics for text processing and man-machine-communication, held on the occasion of the 20th anniversary of the Science Center Heildelberg, FRG, february 25, 1988 : proceedings /
Publication:
Berlin ; Springer-Verlag, 1988
. 176 p. ;
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
MetaSoft primer : towards a metalanguage for applied denotational semantics /
by Blikle, Andrzej
Publication:
Berlin : Springer-Verlag, 1987
. XII, 140 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Foundations of logic programming /
by Lloyd, John Wylie
Publication:
Berlin ; New York : Springer-Verlag, 1984
. X, 124 p. ;
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
Towards a formal description of Ada /
Publication:
Berlin : Springer-Verlag, 1980
. XII, 630 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
12. |
Denotational semantics : the Scott-Strachey approach to programming language theory /
by Stoy, Joseph
Publication:
Cambridge : The MIT Press, 1977
. XXX, 414 p. :
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 /
Publication:
Berlin : Springer-Verlag, 1979
. 368 p. :
25 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
14. |
Part a: Indices and appendices, fundamental concepts, mathematical foundations
by Milne, Robert
Publication:
London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976
. 368 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Complementary definitions of programming language semantics /
by Donahue, James Edward
Publication:
Berlin ; New York : Springer-Verlag, 1976
. 172 p. ;
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
Part b: Standard semantics, store semantics, stack semantics
by Milne, Robert
Publication:
London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976
. 368 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
