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

Unhighlight Highlight
21. 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:
22. 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:
23. 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:
24. 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:
25. 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:
26. 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:
27. 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:
28. 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:
29. Algorithmic information theory / by Chaitin, Gregory J. Publication: Cambridge : Cambridge Univ. Press, 1990 . VIII, 178 p. ; 27 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
30. Programming language concepts and paradigms / by Watt, David A. Publication: New York : Prentice Hall, 1990 . XVI, 322 p. : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
31. Programming for artificial intelligence : methods, tools, and applications / by Kreutzer, Wolfgang, Publication: Sydney ; Reading : Addison-Wesley Pub. Co., 1990 . XIV, 682 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
32. Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 /   Publication: Amsterdam : North-Holland Pub. Co., 1974 . 647 p. : , "Held by the European Chapters of the Association for Computing Machinery". 27 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
33. Category theory and computer science : proceedings, Manchester, UK, September 5-8, 1989 /   Publication: Berlin : Springer-Verlag, 1989 . VI, 365 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
34. Temporal logics and their applications /   Publication: London ; San Diego : Academic Press, 1987 . XII, 244 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
35. ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /   Publication: Berlin : Springer-Verlag, 1988 . VI, 370 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
36. Automated reasoning : 33 basic research problems / by Wos, Larry Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1988 . XIII, 319 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
37. Principles of functional programming / by Glaser, Hugh Publication: Englewood Cliffs, (N.J.) : Prentice/Hall International, 1984 . XI, 251 p. : , QA76.6.G558 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
38. Catalogue of artificial intelligence tools /   Publication: Berlin ; New York : Springer-Verlag, 1986 . 168 p. ; 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
39. The elements of friendly software design / by Heckel, Paul Publication: New York : Warner Books, 1984 . XVI, 205 p. : 21 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
40. Communicating sequential processes / by Hoare, Charles Antony Richard Publication: Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985 . VIII, 256 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 Next >>