|
|
341. |
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:
|
|
|
342. |
Computer graphics : corso di programmazione /
by Harrington, Steven
Publication:
Amburgo : McGraw-Hill, 1985
. 518 p. :
21 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
343. |
Programming in Prolog /
by Clockisin, W. F.
Publication:
Berlin : Springer-Verlag. 1984
. XV, 297 p. ;
24 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
344. |
Pasro : pascal for robots /
by Blume, Christian
Publication:
Berlin : Springer-Verlag, 1985
. VIII, 133 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
345. |
Heuristic reasoning about uncertainty : an artificial intelligence approach /
by Cohen, Paul R.
Publication:
Boston : Pitman Advanced Pub. Program, 1985
. 204 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
346. |
Programming in Modula-2 /
by Wirth, Niklaus
Publication:
Berlin ; New York : Springer-Verlag, 1983
. 176 p. :
25 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
347. |
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:
|
|
|
348. |
Rule-based expert systems : the MYCIN experiments of the Stanford Heuristic Programming Project /
Publication:
Reading : Addison-Wesley, 1984
. XIX, 748 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
349. |
Principles of concurrent programming /
by Ben-Ari, M.
Publication:
Englewood Cliffs : Prentice-Hall International, 1982
. XV, 172 p. :
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
350. |
An introduction to data structures with applications /
by Tremblay, Jean-Paul
Publication:
New York : McGraw-Hill, 1976
. XVI, 704 p. :
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
351. |
Tools and notions for program construction : an advances course /
Publication:
Cambridge ; New York : Cambridge University Press, 1982
. XIII, 399 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
352. |
A PROLOG database system /
by Li, Deyi
Publication:
Letchworth : Research Studies Press ; New York : Wiley, 1984
. XI, 207 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
353. |
Programming in Pascal /
by Grogono, Peter
Publication:
Reading : Addison-Wesley, 1984
. XI, 420 p. :
23 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
354. |
Micro-PROLOG : programming in logic /
by Clark, Keith L.
Publication:
Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984
. XI, 401 p. :
23 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
355. |
Introduction to programming with mathematica /
by Gaylord, Richard J.
Publication:
New York : Springer-Verlag, 1993
. XIX, 302 p. :
, Includes diskette
24 cm. + 1 diskette
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
356. |
Programmare in Basic /
by Gottfried, Byron S.
Publication:
Milano : ETAS Libri, 1980
. 282 p. :
27 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
357. |
A programming approach to computability /
by Kfoury, A. J.
Publication:
New York : Springer-Verlag, 1982
. VIII, 251 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
358. |
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 527 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
359. |
Multiobjective decision making : theory and methodology /
by Chankong, Vira
Publication:
New York : North-Holland, 1983
. XVII, 406 p. ;
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
360. |
Inside computer understanding : five programs plus miniatures /
Publication:
New Haven : Yale University, 1981
. XII, 386 p. :
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|