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

Unhighlight Highlight
1. Vol. 2: Autoplotter, expansion, self-judgment, spectral, polarization, conductance, kinetic, and special iterative programs by Maine, Paul A. D. Publication: New York : Macmillan C., 1965 . XXVII, 493 p. ; 24 cm. Date:1965 Availability: No items available: Checked out (1), Actions:
2. Introduction to computer organization and data structures, PDP-11 edition / by Stone, Harold S. Publication: New York : McGraw-Hill, 1975 . XIV, 368 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
3. Theory of program structures : schemes, semantics, verification / by Greibach, Sheila A. Publication: Berlin ; New York : Springer-Verlag, 1975 . 1 vol. (varie sequenze) : Date:1975 Availability: No items available: Checked out (1), Actions:
4. Fortran computer programs : solutions to optimization problems arising in feedback control / by Merriam, Charles Wolcott III Publication: Lexington : Lexington books D. C. Heath and Company, 1978 . XIII, 350 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
5. 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:
6. Verifiable programming / by Dahl, Ole-Johan Publication: New York : Prentice Hall, 1992 . IX, 269 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
7. Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A. Publication: Berlin ; New York : Springer-Verlag, 1990 . XIII, 493 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
8. Blackboard systems /   Publication: Wokinghan : Addison-Wesley, 1988 . XVIII, 602 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
9. 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:
10. High level language and their compilers / by Watson, Des Publication: Wokingham : Addison-Wesley, 1989 . XII, 337 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
11. 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:
12. Mastering : Excel 2003 programming with VBS / by Hansen, Steven M. Publication: Alameda : Sybex, 2004 . XIX, 585 p. ; 23 cm. Date:2004 Availability: No items available: Checked out (1), Actions:
13. The LaTeX graphics companion : illustrating documents with TeX and PostScript /   Publication: Boston : Addison_Wesley, 1997 . XXV, 554 p. : 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions:
14. 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:
15. Computer programs for computational assistance in the study of linear control theory / by Melsa, James L. Publication: New York : McGraw-Hill, 1973 . IV, 198 p. : 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
16. The computer package STATCAT : source programs and user manual / by David, Hugh Publication: Amsterdam ; New York : North-Holland Pub. Co., 1982 . IX, 780 p. : 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
17. 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:
18. Formal methods of program verification and specification /   Publication: Englewood Cliffs : Prentice-Hall, 1982 . XIV, 207 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
19. Numerical recipes : the art of scientific computing (Fortrand version) /   Publication: Cambridge : Cambridge University Press, 1989 . XX, 702 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
20. Numerical recipes in C: the art of scientific computing /   Publication: Cambridge : Cambridge University Press, 1992 . XXVI, 994 p. : 26 cm. Date:1992 Availability: No items available: Checked out (2), Actions:
1 2 3 Next >>