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

201. Inside computer understanding : five programs plus miniatures /   Publication: New Haven : Yale University, 1981 . XII, 386 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
202. 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:
203. 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:
204. 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:
205. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1981 . XXVI, 431 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
206. 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:
207. 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:
208. 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:
209. 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:
210. 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:
211. 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:
212. 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:
213. Programming language concepts / by Ghezzi, Carlo Publication: New York : Wiley, 1982 . XVI, 327 p. ; 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
214. 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:
215. Computers in cardiology 1981 : september 23-25, Florence, Italy   Publication: [S.l.] : IEEE, 1981 . XVI, 576 p. ; 28 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
216. Computers in cardiology 1980 : october, 22-24 1980, Williamsburg, Virginia   Publication: [S.l.] : IEEE, 1980 . XVI, 483 p. : 28 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
217. Computers in cardiology 1982 : october, 12-15, 1982, Seattle, Washington   Publication: [S.l.] : IEEE, 1982 . XVI, 522 p. ; 28 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
218. Computers in Mass spectrometry by Chapman J. R. Publication: London : Academic Press, 1978 . X, 265 p. : 24 cm Date:1978 Availability: No items available: Checked out (1), Actions:
219. Towards a formal description of Ada /   Publication: Berlin : Springer-Verlag, 1980 . XII, 630 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
220. 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: