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

141. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1981 . XXVI, 431 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
142. An introduction to computer programming and data structures using MACRO-11 / by Lewis, Harry R. Publication: Reston, [Va] : Reston Pub. Co., 1981 . XII, 241 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
143. Real time programming : neglected topics / by Foster, Caxton C. Publication: Reading : Addison-Wesley Pub. Co., 1981 . XV, 190 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
144. Software engineering : analysis and verification / by Lewis, Theodore Gyle Publication: Reston : Reston Pub. Co., 1982 . X, 470 p. : 25 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
145. Programming in ADA / by Barnes, John Gilbert Presslie Publication: London ; Reading (Mass.) : Addison-Wesley Pub. Co., 1982 . X, 340 p. ; 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
146. Mathematical methods of game and economic theory / by Aubin, Jean-Pierre Publication: Amsterdam : North Holland Pub. Co., 1979 . XXXII, 619 p. : 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
147. Vol. 1   Publication: Amsterdam ; New York : North-Holland Pub. Co, 1980 . XIV, 748 p. : , Partecipants edition 27 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
148. Multivariate methods in ecological work /   Publication: Fairland, [Md.] : International Co-operative Pub. House, 1979 . XXIII, 550 p. : 24 cm. Date:1979 Availability: No items available: Checked out (2), Actions:
149. The chemistry of radiopharmaceuticals   Publication: New York: Masson Pub. USA 1978 . X, 294 p.: , This volume is an introductory text based a Symposium held April 23 - 24, 1976 at Hahnermann Medical College, with coverage of the leterature to december 1977 24 cm Date:1978 Availability: No items available: Checked out (1), Actions:
150. Qualitative analysis and econometric estimation of continuous time dynamic models / by Gandolfo, Giancarlo Publication: Amsterdam : North-Holland Pub. Com., 1981 . XIV, 253 p. ; 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
151. NMR Spectra of simple heterocycles by Batterham T. J. Publication: Malabar, Florida : Robert E. Krieger Pub., 1982 . XVII, 540 p. : 24 cm Date:1982 Availability: No items available: Checked out (1), Actions:
152. Vol. 6: Statistical methods of econometrics / by Malinvaud, Edmond Publication: Amsterdam : North-Holland Pub. Comp., 1980 . XVI, 769 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
153. The lambda calculus : its syntax and semantics / by Barendregt, Hendrik Pieter Publication: Amsterdam : North-Holland Pub. Co., 1981 . XIV, 615 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
154. The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, USA /   Publication: Amsterdam : North-Holland Pub. Co., 1980 . XX, 425 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
155. LISP / by Winston, Patrick Henry Publication: Reading : Addison-Wesley Pub. Co., 1981 . XII, 430 p. ; 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
156. Pattern recognition in practice : proceedings of an international workshop held in Amsterdam, May 21-23, 1980 /   Publication: Amsterdam : North-Holland Pub. Comp., 1980 . XII, 552 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
157. Probabilities and potential / by Dellacherie, Claude Publication: Paris : Hermann ; Amsterdam ; New York : North-Holland Pub. Co., 1978 . 567 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
158. Advanced manufacturing technology : programming research and operations logistics /   Publication: Amsterdam ; New York : North-Holland Pub., 1980 . XIII, 479 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
159. Vol. A   Publication: Amsterdam : North-Holland Pub. Co., 1977 . XII, 383 p. ; 23 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
160. Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1979 . X, 434 o. ; 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions: