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

Unhighlight Highlight
41. ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /   Publication: Berlin : Springer-Verlag, 1988 . VI, 370 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
42. Parallel logic programming in parlog : the language and its implementation / by Gregory, Steve Publication: Workingham : Addison-Wesley, 1987 . 217 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
43. Logic programming /   Publication: London ; New York : Academic Press, 1982 . XVII, 366 p. : , Based on the proceedings of the first International Workshop on Logic Programming, held in Debrecen, Hungaryin 1980. 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
44. The art of Prolog : advanced programming techniques / by Sterling, Leon Publication: Cambridge : The MIT Press, 1986 . XXVIII, 437 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
45. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /   Publication: Berlin ; New York : Springer-Verlag, 1986 . IX, 311 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
46. Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /   Publication: Berlin : Springer-Verlag, 1986 . IX, 720 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
47. Programming expert systems in OPS5 : an introduction to rule-based programming /   Publication: Reading (Mass.) : Addison-Wesley, 1985 . XVIII, 471 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
48. Vol. 1: Deductive reasoning by Manna, Zohar Publication: Reading : Addison-Wesley, 1985 . XII, 618 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
49. Foundations of logic programming / by Lloyd, John Wylie Publication: Berlin ; New York : Springer-Verlag, 1984 . X, 124 p. ; 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
50. Introduction to stochastic dynamic programming / by Ross, Sheldon Publication: New York : Academic Press, 1983 . XI, 164 p. ; 24 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
51. Vol. 1 by Whittle, Peter Publication: Chichester ; New York : Wiley, 1982 . XI, 317 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
52. Integer programming / by Salkin, Harvey M. Publication: Reading : Addison-Wesley Co., 1975 . XX, 537 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
53. History of programming languages /   Publication: New York : Academic Press, 1981 . XXIII, 758 p. ; , Proceedings of the History of Programming Languages Conference, Los Angeles, Calif., June 1-3, 1978. 27 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
54. Real time programming : neglected topics / by Foster, Caxton C. Publication: Reading : Addison-Wesley Pub. Co., 1981 . XV, 190 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
55. Formal specification of programming languages : a panoramic primer / by Pagan, Frank G. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1981 . X, 245 p. ; 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
56. Programming languages structures / by Organick, Elliott Irving Publication: New York : Academic Press, 1978 . XVII, 659 p. : 27 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
57. Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, Canada, August 1-5, 1977 /   Publication: Amsterdam : North-Holland, 1978 . XVIII, 648 p. : 23 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
58. 370 / by Stern, Nancy B. Publication: New York : Wiley, 1979 . XII, 516 p. : 28 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
59. Programming the IBM 1130 and 1800 / by Louden, Robert K. Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1967 . XII, 433 p. : 26 cm. Date:1967 Availability: No items available: Checked out (2), Actions:
60. Real time programming, 1977 : proceedings of the IFAC /   Publication: Oxford ; New York : IFAC, 1978 . XIV, 237 p. : 31 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>