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

Unhighlight Highlight
41. An introduction to functional programming systems using Haskell / by Davie, Antony J. T. Publication: Cambridge : Cambridge University Press, 1991 . XIV, 290 p. : 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
42. Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /   Publication: Berlin : Springer Verlag, 1992 . VIII, 428 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
43. Constructivity in computer science : summer symposium, San Antonio, TX, june 19-22 1991, proceedings /   Publication: Berlin : Springer Verlag, 1992 . X, 246 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
44. Computer-aided mechanical assembly planning /   Publication: Boston : Kluwer Academic Publishers, 1991 . XI, 446 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
45. Mathematical foundations of computer science 1990, Banska Bystrica, Czechoslovakia, August 27-31, 1990, proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VIII, 544 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
46. Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings /   Publication: New York : Springer-Verlag, 1990 . VII, 466 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
47. Parallel lisp: languages and systems : proceedings of the US /   Publication: Berlin : Springer Verlag, 1990 . 214 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
48. CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /   Publication: Berlin : Springer-Verlag, 1989 . VI, 399 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
49. 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:
50. Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings /   Publication: Berlin : Springer-Verlag, 1989 . VII, 457 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
51. Foundations of software technology and theoretical computer science : eight conference, Pune, India, december 21-23, 1988 /   Publication: Berlin : Springer Verlag, 1988 . IX, 519 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
52. Memory performance of prolog architectures / by Tick, Evan Publication: Boston : Kluwer Academic Publishers, 1988 . XVIII, 213 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
53. Functional programming using standard ML / by Wikstrom, Ake Publication: London : Prentice Hall, 1987 . XVII, 446 p. ; 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
54. Computer graphics : a programming approach / by Harrington, Steve Publication: New York : McGraw-Hill Book Company, 1987 . IX, 466 p. ; 21 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
55. Research directions in object-oriented programming /   Publication: Cambridge : The MIT Press, 1987 . 585 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
56. Functional programming languages and computer architecture : Portland, Oregon, Usa, September 14-16, 1987, proceedings /   Publication: Berlin : Springer-Verlag, 1987 . VI, 470 p. ; 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
57. Model-based computer vision / by Brooks, Rodney Allen Publication: Ann Arbor : UMI Research Press, 1984 . XII, 150 p. : , A revision of the author's thesis, Stanford University, 1981 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
58. Vol. 1: Deductive reasoning by Manna, Zohar Publication: Reading : Addison-Wesley, 1985 . XII, 618 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
59. Functional programming languages and computer architecture : Nancy, France, September 1985 /   Publication: Berlin ; New York : Springer-Verlag, 1985 . VI, 413 p. : 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
60. Research and development in expert systems : proceedings of the fourth technical conference of the British Computer Society Specialist Group on Expert Systems: December 18-20, 1984 /   Publication: Cambridge : Cambridge University Press, 1985 . 228 p. ; 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>