|
|
|
61. |
Programming languages : an interpreter-based approach /
by Kamin, Samuel N.
Publication:
Reading : Addison-Wesley, 1990
. XII, 640 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
62. |
Algorithmic information theory /
by Chaitin, Gregory J.
Publication:
Cambridge : Cambridge Univ. Press, 1990
. VIII, 178 p. ;
27 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
63. |
Categories, types, and structures : an introduction to category theory for the working computer scientist /
by Asperti, Andrea
Publication:
Cambridge : The Mit Press, 1991
. XI, 307 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
64. |
Foundations of object-oriented languages : proceedings of the REX School /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 442 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
65. |
Decomposability : queueing and computer system applications /
by Courtois, Pierre Jacques
Publication:
New York : Academic Press, 1977
. XIII, 201 p. :
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
66. |
Topics in advanced language implementation /
Publication:
Cambridge ; London : The MIT Press, 1991
. X, 402 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
67. |
Programming for artificial intelligence : methods, tools, and applications /
by Kreutzer, Wolfgang,
Publication:
Sydney ; Reading : Addison-Wesley Pub. Co., 1990
. XIV, 682 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
68. |
Programming linguistics /
by Gelernter, David Hillel
Publication:
Cambridge : The MIT Press, 1990
. XX, 411 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
69. |
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:
|
|
|
70. |
Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 /
Publication:
Amsterdam : North-Holland Pub. Co., 1974
. 647 p. :
, "Held by the European Chapters of the Association for Computing Machinery".
27 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
71. |
Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /
Publication:
Berlin : Springer Verlag, 1990
. VIII, 307 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
72. |
Parallel processing and artificial intelligence /
Publication:
Chichester ; New York : Wiley, 1989
. XVI, 291 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
73. |
Computer architecture : a quantitative approach /
by Patterson, David A.
Publication:
San Mateo : Morgan Kaufman Publishers, 1990
. XXVIII, 594, [160] p. :
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
74. |
Computational aspects of an order-sorted logic with term declarations /
by Schmidt Schauss, M.
Publication:
Berlin : Springer Verlag, 1989
. VIII, 171 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
75. |
Category theory and computer science : proceedings, Manchester, UK, September 5-8, 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 365 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
76. |
Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. VI, 299 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
77. |
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:
|
|
|
78. |
An introduction to formal language theory /
by Moll, Robert N.
Publication:
New York : Springer-Verlag, 1988
. X,, 203 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
79. |
Fuzzy computing : theory, hardware, and applications /
Publication:
Amsterdam : North-Holland, 1988
. XIX, 499 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
80. |
Attribute grammars : definitions, systems, and bibliography /
by Deransart, Pierre
Publication:
Berlin : Springer-Verlag, 1988
. IX, 232 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
