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

41. 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:
42. Research data management in the ecological sciences /   Publication: Columbia : University of South Carolina Press, 1986 . XIII, 426 p. : 26 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
43. Computer applications in chemistry : proceedings of the 6th international conference on computers in chemical research and education (ICCCRE), held in Washington, DC, july 11-16, 1982 / by Heller, Stephen R. Publication: Amsterdam : Elsevier, 1983 . XII, 394 p. : 25 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
44. Chemometrics : theory and applications : a symposium sponsored by the Division of Computers in Chemistry at the 172nd Meeting of the American Chemical Society, San Francisco, Calif., Sept. 2, 1976 /   Publication: Washington : American Chemical Society, 1977 . VIII, 288 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
45. Vol. 1   Publication: Amsterdam : North-Holland, 1986 . XLVI, 612 p. : 26 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
46. Computers in cardiology 1977 : september 29 -October 1, 1977, Rotterdam, The Netherlands   Publication: [S.l.] : IEEE, 1977 . XIII, 625 p. ; 28 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
47. Computers in cardiology 1976 : october, 7-9, 1976, St. Louis, Missouri   Publication: [S.l.] : IEEE, 1976 . XI, 458 p. ; 28 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
48. Interfaces with the process control computer : the operator, engineer, and management : proceedings of the symposiom held August 3-6, 1971, Lafayette, Indiana /   Publication: Pittsburgh : Distributed by Instrument Society of America, 1971 . 244 p. : 29 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
49. Digital computer applications to process control : proceedings of the third International conference   Publication: S.l. : IFAC, 1971 . 1 vol. (varie sequenze) : 28 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
50. 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:
51. 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:
52. Computer-assisted structure elucidation : a symposium sponsored by the division of chemical information at the 173rd meeting of the American Chemical Society, New Orleans, La., march 23, 1977 / by Smith, Dennis H. Publication: Washington : American Chemical Society, 1977 . VIII, 151 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
53. 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:
54. 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:
55. 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:
56. Constructive methods in computing science : international summer school directed by F. L. Bauer ...[et al.] / by Constructive Methods in Computing Science Publication: Berlin : Springer, 1989 . VIII, 478 p. ; , Proceedings of the NATO Advances Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Fe deral Republic of Germany, July 24 august 5, 1988 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
57. 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:
58. 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:
59. 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:
60. 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: