|
|
|
81. |
Temporal logics and their applications /
Publication:
London ; San Diego : Academic Press, 1987
. XII, 244 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
82. |
Comparative programming languages /
by Wilson, Leslie B.
Publication:
Wokingham ; Reading : Addison-Wesley, 1988
. XIII, 379 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
83. |
Parallel computation and computers for artificial intelligence /
Publication:
Boston : Kluwer Academic Publishers, 1988
. XXV, 219 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
84. |
Automated reasoning : 33 basic research problems /
by Wos, Larry
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1988
. XIII, 319 p. ;
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
85. |
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:
|
|
|
86. |
Meta-level architectures and reflection /
Publication:
Amsterdam ; New York : North-Holland ; New York, 1988
. 124 p. ;
, Papers presented at the Workshop Meta-level Architectures and Reflection, held in Alghero, Italy, during October 27-10 1986 sponsored by the Cost-13 Project n. 21
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
87. |
Principles of functional programming /
by Glaser, Hugh
Publication:
Englewood Cliffs, (N.J.) : Prentice/Hall International, 1984
. XI, 251 p. :
, QA76.6.G558
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
88. |
Catalogue of artificial intelligence tools /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. 168 p. ;
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
89. |
Programming languages for industrial robots /
by Blume, Christian
Publication:
Berlin ; New York : Springer-Verlag, 1986
. XIII, 376 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
90. |
The elements of friendly software design /
by Heckel, Paul
Publication:
New York : Warner Books, 1984
. XVI, 205 p. :
21 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
91. |
Program construction and verification /
by Backhouse, Roland C.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall International, 1986
. XI, 281 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
92. |
Introduction to logic programming /
by Hogger, Christopher John
Publication:
London ; Orlando : Academic Press, 1984
. XII, 278 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
93. |
Current trends in concurrency : overviews and tutorials /
Publication:
Berlin : Springer-Verlag, 1986
. XII, 716 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
94. |
Automated reasoning : introduction and applications /
Publication:
Englewood Cliffs, (N.J) : Prentice-Hall, 1984
. XIV, 482 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
95. |
Programming expert systems in OPS5 : an introduction to rule-based programming /
Publication:
Reading (Mass.) : Addison-Wesley, 1985
. XVIII, 471 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
96. |
Vol. 1: Deductive reasoning
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1985
. XII, 618 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
97. |
Lucid, the dataflow programming language /
by Wadge, William W.
Publication:
London ; New York : Academic Press, 1985
. XIII, 311 p. ;
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
98. |
The role of programming in teaching informatics : proceedings of the IFIP TC3 Working Conference on Teaching Programming, Paris, France, 7-9 May 1984 /
Publication:
Amsterdam : North-Holland, 1985
. X, 212 p. :
, Organised by IFIP Technical Committee, Education, International Federation for Information Processing.
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
99. |
Programming languages : a grand tour /
Publication:
Rockville, [Md.] : Computer Science Press, 1983
. VIII, 664 p. :
29 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
100. |
Foundations of software technology and theoretical computer science : 4th conference, Bangalore, India, Dec. 13-15,1984 : proceedings /
Publication:
Berlin : Springer-Verlag, 1984
. VIII, 468 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
