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

Unhighlight Highlight
61. Program flow analysis : theory and applications / by Muchnick, Stephen S. Publication: Englewood Cliffs : Prentice-Hall, 1981 . XVII, 418 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
62. Programming methodology : a collection of articles by members of IFIP WG2.3 /   Publication: New York : Springer-Verlag, 1978 . XIV, 437 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
63. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /   Publication: Berlin : Springer-Verlag, 1980 . XI, 566 p. : 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
64. Lectures on the logic of computer programming / by Manna, Zohar Publication: Philadelphia, [Pa.] : Society for Industrial and Applied Mathematics, 1980 . IV, 49 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
65. An introduction to data structures with applications / by Tremblay, Jean-Paul Publication: New York : McGraw-Hill, 1984 . XVIII, 861 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
66. Computer science : a mathematical introduction / by Lew, Art Publication: Englewood Cliffs : Prentice-Hall International, 1985 . XXVI, 421 p. : 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
67. Dynamic, genetic, and chaotic programming : the sixth-generation / by Soucek, Branko Publication: New York : John Wiley & Sons, 1992 . XV, 568 p. : 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
68. Studies in automatic programming logic / by Manna, Zohar Publication: New York : North-Holland, 1977 . VIII, 192 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
69. 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:
70. Language hierarchies and interfaces : international summer school / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1976 . X, 423 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
71. Logic for problem solving / by Kowalski, Robert Publication: New York : Elsevier North Holland, 1979 . 287 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
72. Software engineering / by Jensen, Randall W. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1979 . XI, 580 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
73. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /   Publication: Berlin : Springer-Verlag, 1979 . VIII, 629 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
74. Principles of software engineering and design / by Zelkowitz, Marvin V. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1979 . XII, 338 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
75. Computers and intractability : a guide to the theory of NP-completness / by Garey, Michael Publication: San Francisco : W. H. Freeman, 1979 . X, 338 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
76. Program construction : international summer school /   Publication: Berlin : Springer-Verlag, 1979 . VII, 651 p. ; , The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf .. and was sponsored by the NATA Scientific Affairs Division under the 1978 Advanced Study Institutes programme 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
77. Algorithms + data structures = programs / by Wirth, Niklaus Publication: Englewood Cliffs : Prentice-Hall, 1976 . XVII, 366 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
78. The design of well-structured and correct programs / by Alagic, Suad Publication: New York : Springer-Verlag, 1978 . X, 292 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
79. Mathematical foundation of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /   Publication: Berlin : Springer-Verlag, 1978 . IX, 551 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
80. A discipline of programming / by Dijkstra, Edsger Wybe Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1976 . XVII, 217 p. ; 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 Next >>