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

Unhighlight Highlight
1. 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:
2. 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:
3. Natural language processing and speech technology : results of the 3rd KONVENS conference, Bielefeld, october 1996 /   Publication: Berlin : Mouton de Gruyter, 1996 . X, 403 p. : 23 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
4. Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 /   Publication: Berlin : Springer Verlag, 1975 . VI, 433 p. ; 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
5. Fachtung Prozessrechner 1974, Karlsruhe, 10-11, Juni 1974 /   Publication: Berlin : Springer-Verlag, 1974 . X, 620 p. : , Conference sponsored by the Gesellschaft fur Kernforschung, the Gesellschaft fur Informatik and the VDI/VDE-Gesellschaft Messund Regelungstechnik. 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
6. Proceedings of the First International Joint Conference of the North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference and The NASA Joint /   Publication: Piscataway : IEEE Press, 1994 . XIV, 476 p. : 28 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
7. Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993, proceedings /   Publication: Berlin : Springer-Verlag, 1994 . VI, 261 p. ; 25 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
8. 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:
9. Algotithms and computation : third international symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XI, 510 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
10. Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . VIII, 723 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
11. Distributed intelligence systems : selected papers from the IFAC Symposium : Arlington, Virginia, USA, 13-15 August 1991 /   Publication: Oxford : Pergamon Press, 1992 . IX, 256 p. ; 31 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
12. Processing declarative knowledge ; international workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991: proceedings /   Publication: Berlin : Springer-Verlag, 1991 . XII, 427 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
13. Natural language and logic : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1990 . 252 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
14. Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1991 . IX, 561 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
15. CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 536 p. : , "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started onSeptember 1, 1989 ... The conference CONCUR '90, hosted byCWI with the help of the University of Amsterdam, marksthe end of the first year of CONCUR"--Pref. 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
16. Artificial intelligence, culture and language: on education and work /   Publication: London ; New York : Springer-Verlag, 1990 . XXV, 226 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
17. Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /   Publication: New York : Springer-Verlag, 1989 . XI, 493 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
18. Computational geometry and its applications : CG'88, International workshop on computational geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /   Publication: Berlin : Springer-Verlag, 1988 . VI, 252 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
19. Expert systems and decision support in medicine : proceedings 33rd Annual Meeting of the GMDS, EFMI Special Topic Meeting, Peter L. Reichertz Memorial Conference, Hannover, September 26-29, 1988 /   Publication: Berlin ; New York : Springer-Verlag, 1988 . 245 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
20. Current trends in concurrency : overviews and tutorials /   Publication: Berlin : Springer-Verlag, 1986 . XII, 716 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
1 2 Next >>