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

Unhighlight Highlight
1. Research and development in expert systems IV : proceedings of Expert Systems '87, the seventh annual technical conference of the British Computer Society group on Expert Systems, Brighton, 14-17 december 1987 /   Publication: Cambridge : Cambridge University Group ; The british computer society, 1988 . 345 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
2. Data compression : methods and theory / by Storer, James A. Publication: Rockville : Computer Science Press, 1988 . X, 413 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
3. Introduction to computer organization and data structures, PDP-11 edition / by Stone, Harold S. Publication: New York : McGraw-Hill, 1975 . XIV, 368 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
4. Computer networks /   Publication: Englewood Cliff : Prentice-Hall, 1972 . 205 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
5. The implementation of Prolog / by Boizumault, Patrice Publication: Princeton : Princeton University Press, 1993 . XII, 299 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
6. Information randomness and incompleteness : papers on algorithmic information theory / by Chaitin, G. J. Publication: Singapore : World Scientific, 1990 . V, 319 p. ; 27 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
7. Structure and interpretation of computer programs / by Abelson, Harold Publication: Cambridge : The MIT Press ; New York : McGraw-Hill, 1985 . XX, 542 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
8. Type theory and functional programming / by Thompson, Simon Publication: Workingham, [England] : Addison-Wesley Publishing Company, 1991 . XV, 372 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (2), Actions:
9. Neural networks in robotics /   Publication: Boston : Kluwer Academic Publishers, 1993 . XI, 563 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
10. An introduction to functional programming through lambda calculus / by Michaelson, Greg, Publication: Wokingham : Addison Wesley, 1989 . XV, 320 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (2), Actions:
11. Image reconstruction from projections : the foundamentals of computerized tomography / by Herman, Gabor T. Publication: New York : Academic Press, 1980 . XIV, 316 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
12. Verifiable programming / by Dahl, Ole-Johan Publication: New York : Prentice Hall, 1992 . IX, 269 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
13. Computer-aided mechanical assembly planning /   Publication: Boston : Kluwer Academic Publishers, 1991 . XI, 446 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
14. Introduction to simulation : programming techniques and methods of analysis / by Payne, Andrew Publication: New York : McGraw-Hill, 1988 . XII, 324 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
15. An introduction to functional programming / by Bird, Richard J. Publication: New York : Prentice, 1988 . XV, 293 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
16. Solid and geometric modeling : an introduction / by Hoffmann, Cristoph Martin Publication: San Mateo : Morgan Kaufmann, 1989 . XIX, 338 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
17. Programming in Martin Lof' s type theory : an introduction / by Nordstrom, Bengt Publication: Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
18. COMMON LISP / by Hennessey, Wade L. Publication: New York : McGraw-Hill, 1989 . XV, 395 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
19. Common LISP programming for artificial intelligence. / by Hasemer, Tony Publication: Wokingham, [England] : Addison-Wesley, 1989 . XIII, 444 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
20. The foundations of program verification / by Loeckx, Jacques Publication: Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984 . IX, 230 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 6 7 8 9 10 Next >>