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

Unhighlight Highlight
1. 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:
2. GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20-22.3.1974 : Hrsg. im Auftrag der GI und der NYG von H.-O. Leilich   Publication: Berlin ; New York : Springer, 1974 . VI, 340 p. : 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
3. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
4. 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:
5. 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:
6. 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:
7. 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:
8. Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 /   Publication: Berlin : Springer-Verlag, 1974 . 310 p. ; 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
9. 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:
10. Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / by Handler, Wolfgang Publication: Berlin ; New York : Springer-Verlag, 1974 . 333 p. : , Conference sponsored jointly by the Gesellschaft fur Informatik and the Nachrichtentechnische Gesellschaft 25 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
11. 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:
12. Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /   Publication: London ; New York : Academic Press, 1972 . XII, 390 p. ; , Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect. 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
13. Design and optimization of compilers /   Publication: Englewood Cliff : Prentice-Hall, 1972 . 141 p. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
14. 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:
15. CONCUR '91 : 2nd International conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . IX, 540 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
16. 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:
17. Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 /   Publication: Amsterdam : North-Holland Pub. Co., 1974 . 647 p. : , "Held by the European Chapters of the Association for Computing Machinery". 27 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
18. Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /   Publication: Berlin : Springer Verlag, 1990 . VIII, 307 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
19. 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:
20. 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:
1 2 Next >>