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

Unhighlight Highlight
41. Systematic programming : an introduction / by Wirth, Niklaus Publication: Englewood Cliffs : Prentice-Hall, 1973 . XIV, 149 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
42. Artificial intelligence and heuristic programming / by Findler, N. V. Publication: Edinburgh : Edinburgh University Press, 1971 . 327 p. : , Proceedings of NATO Advanced Study Institute, Menaggio, Italy, in August 1970 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
43. Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /   Publication: London ; New York : Academic Press, 1972 . XII, 390 p. ; , Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect. 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
44. Design and optimization of compilers /   Publication: Englewood Cliff : Prentice-Hall, 1972 . 141 p. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
45. Implementing software for non-numeric applications / by Waite, William McCastline Publication: Englewood Cliffs, 1973 . XV, 510 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
46. Symposium on semantics of algorithmic languages /   Publication: Berlin ; New York : Springer-Verlag, 1971 . 372 p. ; 26 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
47. Formal semantics of programming languages /   Publication: Englewood ; Cliffs, [N.J.] : Prentice-Hall, 1972 . 248 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
48. Systems programming / by Donovan, John J. Publication: New York : McGraw-Hill, 1972 . XVIII, 488 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
49. Introduction to statistical procedures : with computer exercises / by Lohnes, Paul R. Publication: New York : Wiley, 1968 . XV, 280 p. : 24 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
50. Computer structures: readings and examples / by Bell, C. Gordon, Publication: New York : McGraw-Hill, 1971 . XIX, 668 p. : 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
51. The logic of partial information / by Nait Abdallah, Areski Publication: Berlin ; New York : Springer-Verlag, 1995 . XXV, 715 p. ; 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
52. Temporal logic : mathematical foundations and computational aspects / by Gabbay, Dov M. Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1994 . XIV, 653 p. : 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
53. An introduction to parallel algorithms / by Jaja, Joseph Publication: Reading : Addison-Wesley Publishing Company, 1992 . X, 566 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
54. Representation and meaning : experiments with information processing systems /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . XVIII, 440 p. ill. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
55. Computational category theory / by Rydeheard, David E. Publication: New York ; London : Prentice-Hall, 1988 . XIV, 257 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
56. Methods of programming : selected papers on the CIP-Project / by Broy, Manfred Publication: Berlin : Springer-Verlag, 1991 . XII, 268 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
57. CONCUR '91 : 2nd International conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . IX, 540 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
58. 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:
59. Introduction to algorithms / by Cormen, Thomas Publication: Cambridge (Mass.) : The Mit Press ; New York : McGraw-Hill Book Company, 1990 . XVII, 1028 p. ; 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
60. Pascal: an introduction to the art and science of programming / by Savitch, Walter J. Publication: Redwood City : The Benjamin/Cummings Publishing Company, 1991 . XXV, 671 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>