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

Unhighlight Highlight
1. Natural language at the computer : Scientific symposium on syntax and semantics for text processing and man-machine-communication, held on the occasion of the 20th anniversary of the Science Center Heildelberg, FRG, february 25, 1988 : proceedings /   Publication: Berlin ; Springer-Verlag, 1988 . 176 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
2. Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 666 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
3. Mathematical foundation of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /   Publication: Berlin : Springer-Verlag, 1978 . IX, 551 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
4. Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /   Publication: Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
5. Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /   Publication: Berlin ; New York : Springer-Verlag, 1975 . VII, 484 p. ; 25 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
6. 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:
7. Foundations of object-oriented languages : proceedings of the REX School /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 442 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
8. 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:
9. 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:
10. 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:
11. 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:
12. 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:
13. 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:
14. 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:
15. Programming languages : a grand tour /   Publication: Rockville, [Md.] : Computer Science Press, 1983 . VIII, 664 p. : 29 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
16. A PROLOG database system / by Li, Deyi Publication: Letchworth : Research Studies Press ; New York : Wiley, 1984 . XI, 207 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
17. Towards a formal description of Ada /   Publication: Berlin : Springer-Verlag, 1980 . XII, 630 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
18. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / by Jones, Neil D. Publication: Berlin : Springer-Verlag, 1978 . IX, 118 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
19. The design of well-structured and correct programs / by Alagic, Suad Publication: New York : Springer-Verlag, 1978 . X, 292 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
20. Complementary definitions of programming language semantics / by Donahue, James Edward Publication: Berlin ; New York : Springer-Verlag, 1976 . 172 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
1 2 3 4 Next >>