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

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: