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

Unhighlight Highlight
21. 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:
22. 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:
23. Foundations of knowledge acquisition : cognitive models of complex learning /   Publication: Boston : Kluwer Academic Publishers, 1993 . X, 338 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
24. Pascal: an introduction to the art and science of programming / by Savitch, Walter J. Publication: Redwood City : The Benjamin/Cummings Publishing Company, 1991 . XXV, 671 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
25. 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:
26. Intelligent systems : state of the art and future directions / by Ras, Zbigniew Publication: New York : E. Horwood, 1990 . VII, 529 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
27. 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:
28. Robotics and artificial intelligence : proceedings of the NATO Advanced Study Institute on held at Castelvecchio Pascoli, Barga, Italy, June 26 - July, 1983 /   Publication: New York : Springer-Verlag, 1984 . XVII, 693 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
29. Vol. 1: Formal aspects of artificial intelligence / by Narayanan, Ajit Publication: Chichester : E. Horwood ; New York : Halsted Press, 1988 . 200 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
30. Memory performance of prolog architectures / by Tick, Evan Publication: Boston : Kluwer Academic Publishers, 1988 . XVIII, 213 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
31. Machine learning of robot assembly plans / by Segre, Alberto Maria Publication: Boston : Kluwer Academic Publushers, 1988 . XVI, 233 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
32. Languages and machines : an introduction to the theory of computer science / by Sudkamp, Thomas A. Publication: Reading : Addison-Wesley, 1988 . XV, 444 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
33. 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:
34. Smalltalk-80 : bits of history, words of advice /   Publication: Reading : Addison-Wesley Pub. Co., 1983 . VIII, 344 p. : 24 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
35. 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:
36. Principles of programming languages / by Tennent, R. D. Publication: Englewood Cliffs : Prentice / Hall International, 1981 . XIV, 271 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
37. Automatic speech recognition : the development of the sphinx system / by Lee, Kai-Fu Publication: Boston : Kluwer Academic Publishers, 1989 . XIV, 207 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
38. Emergent computing methods in engineering design : applications of genetic algorithms and neural networks /   Publication: Berlin : Springer, 1996 . 350 p. : 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
39. Software reliability / by Kopetz, Hermann Publication: London : Macmillan, 1979 . VI, 118 p. : , Rev. translation of Softwarezuverlassigkeit. 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
40. Syntax of programming languages : theory and practice / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1979 . XV, 301 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
1 2 3 Next >>