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 : 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:
3. 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:
4. 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:
5. 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:
6. 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:
7. 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:
8. 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:
9. 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:
10. 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:
11. 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:
12. 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:
13. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
14. ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /   Publication: Berlin : Springer-Verlag, 1988 . VI, 370 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
15. Language hierarchies and interfaces : international summer school / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1976 . X, 423 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
16. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . 368 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
17. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /   Publication: Berlin : Springer-Verlag, 1977 . X, 496 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
18. 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: