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

1. Symposium on semantics of algorithmic languages /   Publication: Berlin ; New York : Springer-Verlag, 1971 . 372 p. ; 26 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
2. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . IX, 684 p. : , One contribution in French. 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
3. 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:
4. 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:
5. Automata, languages and programming : proceedings of the 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 526 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
6. History of programming languages /   Publication: New York : Academic Press, 1981 . XXIII, 758 p. ; , Proceedings of the History of Programming Languages Conference, Los Angeles, Calif., June 1-3, 1978. 27 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
7. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1981 . XXVI, 431 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
8. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /   Publication: Berlin ; New York : Springer-Verlag, 1975 . VIII, 292 p. : 25 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
9. 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:
10. Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /   Publication: Berlin ; New York : Springer-Verlag, 1989 . VI, 299 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
11. 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:
12. 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:
13. Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France,July 3-7, 1972 /   Publication: Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1973 . 638 p. ; 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
14. 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:
15. 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:
16. Advanced course on software engineering : an advanced course / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1973 . XII, 545 p. : , The advanced course took place February 21-March 3, 1972, organized by the Mathematical Institute of the Technical Uni versity of Munich and the Leibni[t]z Computing Centerof the Bavarian Academy of Sciences, in cooperation with the European Communities, sponsored by the Ministry of Education and Science of the Federal Republic of Germany 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
17. 3. Fachtagung uber Programmiersprachen : Kiel, 5-7 Marz 1974 /   Publication: Berlin ; New York : Springer-Verlag, . VI, 225 p. ; 24 cm. Availability: No items available: Checked out (1), Actions:
18. 1 Fachtagung uber Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973 /   Publication: Berlin : Springer-Verlag, 1973 . VII, 322 p. ; 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
19. Theory of machines and computations /   Publication: New York : Academic Press, 1971 . XIII, 416 p. : , Proceedings of an International Symposium on the Theory of Machines and Computations, held at Technion in Haifa, Israel on August 16-19, 1971 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
20. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions: