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

Unhighlight Highlight
21. Programming in Martin Lof' s type theory : an introduction / by Nordstrom, Bengt Publication: Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
22. 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:
23. 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:
24. 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:
25. CAD Based Programming for Sensory Robots /   Publication: Berlin : Springer-Verlag, 1988 . IX, 565 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
26. 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:
27. 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:
28. 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:
29. 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:
30. 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:
31. Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1988 . IV, 218 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
32. 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:
33. MetaSoft primer : towards a metalanguage for applied denotational semantics / by Blikle, Andrzej Publication: Berlin : Springer-Verlag, 1987 . XII, 140 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
34. 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:
35. 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:
36. Object-oriented concurrent programming /   Publication: Cambridge, (Mass.) : The MIT Press, 1987 . 282 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
37. Languages for sensor-based control in robotics /   Publication: Berlin ; New York : Springer-Verlag, 1987 . IX, 625 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
38. 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:
39. Design of an interactive manipulator programming environment / by Goldman, Ron Publication: Ann Arbor : UMI Research Press, 1985 . VIII, 146 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
40. 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:
1 2 3 4 5 6 7 8 9 10 Next >>