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. 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:
3. 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:
4. 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:
5. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
6. 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:
7. 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:
8. 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:
9. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 527 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
10. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /   Publication: Berlin : Springer-Verlag, 1980 . XI, 566 p. : 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
11. Real time programming, 1977 : proceedings of the IFAC /   Publication: Oxford ; New York : IFAC, 1978 . XIV, 237 p. : 31 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
12. 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:
13. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /   Publication: Berlin : Springer-Verlag, 1979 . VIII, 629 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
14. 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:
15. ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 /   Publication: Berlin : Springer-Verlag, 1976 . VIII, 322 p. ; 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
16. Programming symposium : proceedings, colloque sur la programmation : April 9-11, Paris, 1974 /   Publication: Berlin : Springer Verlag, 1974 . 425 p. ; 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
17. 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: