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

Unhighlight Highlight
41. 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:
42. Introduction to logic programming / by Hogger, Christopher John Publication: London ; Orlando : Academic Press, 1984 . XII, 278 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
43. Automated reasoning : introduction and applications /   Publication: Englewood Cliffs, (N.J) : Prentice-Hall, 1984 . XIV, 482 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
44. 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:
45. Lucid, the dataflow programming language / by Wadge, William W. Publication: London ; New York : Academic Press, 1985 . XIII, 311 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
46. 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:
47. An introduction to data structures with applications / by Tremblay, Jean-Paul Publication: New York : McGraw-Hill, 1976 . XVI, 704 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
48. Tools and notions for program construction : an advances course /   Publication: Cambridge ; New York : Cambridge University Press, 1982 . XIII, 399 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
49. On conceptual modelling : perspectives from artificial intelligence, databases, and programming languages /   Publication: New York : Springer-Verlag, 1984 . XI, 510 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
50. The UNIX programming environment / by Kernighan, Brian Publication: Englewood Cliffs : Prentice-Hall, 1984 . X, 357 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
51. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 527 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
52. Functional programming and its applications : an advanced course /   Publication: Cambridge ; New York : Cambridge University Press, 1982 . 306 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
53. Tutorial, automated tools for software engineering : initially presented at COMPSAC # 79 /   Publication: New York : IEEE Computer Society : Institute of Electrical and Electronics Engineers, 1979 . VII, 262 p. : 28 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
54. The craft of programming / by Reynolds, John C. Publication: Englewood Cliffs : Prentice-Hall, 1981 . 345 p. ; 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
55. Algorithmic language and program development / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1982 . XVI, 497 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
56. An introduction to computer programming and data structures using MACRO-11 / by Lewis, Harry R. Publication: Reston, [Va] : Reston Pub. Co., 1981 . XII, 241 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
57. 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:
58. Software engineering : analysis and verification / by Lewis, Theodore Gyle Publication: Reston : Reston Pub. Co., 1982 . X, 470 p. : 25 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
59. The science of programming / by Gries, David Publication: New York : Springer-Verlag, 1981 . XIII, 366 p. ; 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
60. Induction, recursion, and programming / by Wand, Mitchell Publication: New York : North Holland, 1980 . XII, 202 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 Next >>