|
|
321. |
Concurrent program structures /
by Bustard, David
Publication:
New York : Prentice Hall, 1988
. XI, 321 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
322. |
Constraint programming languages : their specification and generation /
by Leler, William
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. VI, 202 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
323. |
Prolog programming in depth /
by Covington, Michael A.
Publication:
Glenview : Scott, 1988
. XIV, 506 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
324. |
HyperTalk programming /
by Shafer, Dan
Publication:
Indianapolis : Hayden Books, 1988
. XXV, 546 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
325. |
Human communication : a unified view /
Publication:
New York : McGraw-Hill, 1972
. XVII, 458 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
326. |
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:
|
|
|
327. |
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:
|
|
|
328. |
Programming with sets : an introduction to SETL /
Publication:
New York : Springer-Verlag, 1986
. XV, 493 p :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
329. |
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:
|
|
|
330. |
Pasro : Pascal and C for robots /
by Blume, Christian
Publication:
Berlin ; New York : Springer-Verlag, 1987
. 257 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
331. |
Programming expert systems in Modula-2 /
by Sawyer, Brian
Publication:
New York : Wiley, 1986
. XII, 201 p. :
26 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
332. |
Heuristics : intelligent search strategies for computer problem solving /
by Pearl, Judea
Publication:
Reading : Addison-Wesley Publishing Company, 1984
. XVII, 382 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
333. |
The Scheme programming language /
by Dybvig, R. Kent
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1987
. XI, 242 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
334. |
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:
|
|
|
335. |
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:
|
|
|
336. |
Communicating sequential processes /
by Hoare, Charles Antony Richard
Publication:
Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985
. VIII, 256 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
337. |
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:
|
|
|
338. |
Programmare in Prolog /
by Clocksin, W. F.
Publication:
Milano : Franco Angeli, 1986
. 285 p. ;
22 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
339. |
Prolog programming for artificial intelligence /
by Bratko, Ivan
Publication:
Wokingham : Addison Wesley, 1986
. XVII, 423 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
340. |
Foundations of programming with Pascal /
by Moore, Lawrie
Publication:
Chichester : Ellis Horwood, 1980
. 238 p. ;
23 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|