Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

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: