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

Unhighlight Highlight
1. Demos : a system for discrete event modelling on SIMULA / by Birtwistle, Graham M. Publication: London : Macmillan, 1979 . 214 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
2. Chess skill in man and machine /   Publication: New York : Springer-Verlag, 1978 . XI, 225 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
3. R graphics / by Murrell, Paul Publication: Boca Raton : Chapman & Hall / CRC - Taylor & Francis Group, 2006 . XIX, 301 p. : 24 cm. Date:2006 Availability: No items available: Checked out (1), Actions:
4. 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:
5. Matrix eigensystem routines : EISPACK guide / by Smith, Brian T. Publication: Berlin : New York : Springer-Verlag, 1974 . VII, 387 p. ; 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
6. The implementation of Prolog / by Boizumault, Patrice Publication: Princeton : Princeton University Press, 1993 . XII, 299 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
7. 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:
8. 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:
9. 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:
10. COMMON LISP / by Hennessey, Wade L. Publication: New York : McGraw-Hill, 1989 . XV, 395 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
11. Common LISP programming for artificial intelligence. / by Hasemer, Tony Publication: Wokingham, [England] : Addison-Wesley, 1989 . XIII, 444 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
12. 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:
13. 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:
14. Concurrent program structures / by Bustard, David Publication: New York : Prentice Hall, 1988 . XI, 321 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
15. Constraint programming languages : their specification and generation / by Leler, William Publication: Reading : Addison-Wesley Pub. Co., 1988 . VI, 202 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
16. 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:
17. Programming with sets : an introduction to SETL /   Publication: New York : Springer-Verlag, 1986 . XV, 493 p : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
18. Negation and control in PROLOG / by Naish, Lee Publication: Berlin ; New York : Springer-Verlag, 1986 . IX, 119 p. ; 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
19. Prolog /   Publication: Wokingham : Addison-Wesley Pub. Co., 1986 . XI, 260 p. : 23 cm. Date:1986 Availability: No items available: Checked out (2), Actions:
20. Prolog programming for artificial intelligence / by Bratko, Ivan Publication: Wokingham : Addison Wesley, 1986 . XVII, 423 p. : 24 cm. Date:1986 Availability: No items available: Checked out (2), Actions:
1 2 3 4 5 6 7 8 9 Next >>