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

1. Graph theory and computing /   Publication: New York : Academic Press, 1972 . XIV, 329 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
2. Modern spectral estimation : theory and application / by Kay, Steven M. Publication: Englewood Cliffs, [N.J.] : Prentice Hall, 1988 . XV, 543 p. : , + 1 computer disk (5 1/4 in.) Disk in pocket. System requirements for computer disk: IBM PC, XT, AT, or PC compatibles; MS-DOS 2.1 or higher. 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
3. Factorization methods for discrete sequential estimation / by Bierman, Gerald J. Publication: New York : Academic Press, 1977 . XVI, 241 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
4. Chemometrics : theory and applications : a symposium sponsored by the Division of Computers in Chemistry at the 172nd Meeting of the American Chemical Society, San Francisco, Calif., Sept. 2, 1976 /   Publication: Washington : American Chemical Society, 1977 . VIII, 288 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
5. Data structure and management / by Flores, Ivan Publication: Englewood Cliffs : Prentice-Hall, 1970 . X, 390 p. : 24 cm. Date:1970 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. Vector quantization and signal compression / by Gersho, Allen Publication: Boston : Kluwer Academic Publishers, 1992 . XXII, 732 p. : 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
8. Computational category theory / by Rydeheard, David E. Publication: New York ; London : Prentice-Hall, 1988 . XIV, 257 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
9. Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . VIII, 723 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
10. Artificial intelligence, culture and language: on education and work /   Publication: London ; New York : Springer-Verlag, 1990 . XXV, 226 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
11. Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /   Publication: New York : Springer-Verlag, 1989 . XI, 493 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
12. Discrete mathematical structures with applications to computer science / by Tremblay, Jean Paul Publication: New York : McGraw-Hill, 1975 . XVI, 606 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
13. Artificial intelligence and tutoring systems : computational and cognitive approaches to the communication of knowledge / by Wenger, Etienne Publication: Los Altos : Morgan Kaufmann Publishers, 1987 . XXIII, 486 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
14. Possibility theory : an approach to computerized processing of uncertainty / by Dubois, Didier Publication: New York : Plenum Press, 1988 . XVI, 263 p. : 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
15. 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:
16. The knowledge frontier : essays in the representation of knowledge /   Publication: New York : Springer-Verlag, 1987 . XXXV, 512 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
17. Solid modeling by computers : from theory to applications /   Publication: New York : Plenum Press, 1984 . IX, 382 p. : , Proceedings of a symposium held Sept 25-27, 1983, at the General Motors Research Laboratoires, Warren, Mitch. 26 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
18. Associative networks : representation and use of knowledge by computers / by Findler, Nicholas V. Publication: New York : Academic Press, 1979 . XVII, 462 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
19. Computer controlled systems : theory and design / by Astrom, Karl J. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1984 . XV, 430 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
20. The interpretation of visual motion / by Ullman, Shimon Publication: Cambridge : The MIT Press, 1979 . 229 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions: