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

Unhighlight Highlight
1. Vol. 2 by McCarthy, Gregory J. Publication: New York : Plenum Press, 1980 . XXIII, 647 p. : , in frontespizio: proceedings of the 14th rare earth research conference held at North Dakota State University, Fargo, North Dakota, june 25-28, 1979 26 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
2. Category theory and computer science : proceedings ; Paris, France 3-6, 1991 /   Publication: Berlin : Springer-Verlag, 1991 . 301 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
3. 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:
4. 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:
5. Part I   Publication: Berlin ; New York : Springer-Verlag, 1974 . X, 497 p. ; 25 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
6. Neural networks in robotics /   Publication: Boston : Kluwer Academic Publishers, 1993 . XI, 563 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
7. Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /   Publication: Berlin : Springer Verlag, 1992 . VIII, 428 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
8. Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 372 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
9. CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /   Publication: Berlin : Springer-Verlag, 1989 . VI, 399 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
10. 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:
11. Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings /   Publication: Berlin : Springer-Verlag, 1989 . VII, 457 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
12. Artificial intelligence and cognitive sciences /   Publication: Manchester : Manchester University Press, 1988 . XIII, 407 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
13. Foundations of software technology and theoretical computer science : 4th conference, Bangalore, India, Dec. 13-15,1984 : proceedings /   Publication: Berlin : Springer-Verlag, 1984 . VIII, 468 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
14. Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /   Publication: Berlin : Springer-Verlag, 1984 . XI, 581 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
15. Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1982 . XIV, 856 p. ; 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
16. Mathematical foundations of computer science, 1977 : proceedings, 6th symposium, Tatranska Lomnica, September 5-9, 1977 /   Publication: Berlin : Springer-Verlag, 1977 . X, 595 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
17. Part II   Publication: Berlin ; New York : Springer-Verlag, 1974 . X, 497 p. ; 25 cm. Date:1974 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:
19. Mathematical foundations of computer science 1975 : 4th symposium, Marianske Lazne, September 1-5, 1975 /   Publication: Berlin ; New York : Springer-Verlag, 1975 . X, 476 p. ; 25 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
20. 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:
1 2 3 4 5 6 7 8 Next >>