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

101. 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:
102. Methionine metabolism : molecular mechanism and clinical implications : proceedings of a workshop held at the Sierra Nevada (Granada) on April 15-19, 1992 /   Publication: Madrid : Consejo Superior de Investigaciones Cientificas, 1992 . 232 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
103. Statistical analysis of reliability data /   Publication: London ; New York : Chapman and Hall, 1991 . XII, 250 : 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
104. The Riccati equation / by Bittanti, Sergio Publication: Berlin ; New York : Springer-Verlag, 1991 . X, 338 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
105. 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:
106. The dictionary of cell biology /   Publication: London : Academic Press, 1989 . 262 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
107. Three decades of mathematical system theory : a collection of surveys at the occasin of the 50th birthday of Jan C. Willems /   Publication: Berlin : Springer-Verlag, 1989 . VI, 562 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
108. Programming standard pascal / by Holt, Richard C Publication: Reston : Reston Publishing, 1980 . X, 381 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
109. 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:
110. Fermentation kinetics and modelling / by Sinclair, C. G. Publication: Milton Keynes [Buckinghamshire] : Open University Press ; New York : Taylor & Francis, 1987 . 113 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
111. Program construction and verification / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1986 . XI, 281 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
112. Learning to program in C / by Plum, Thomas Publication: Cardiff, [N.J.] : Plum Hall, 1983 . (paginazione varia) : 26 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
113. 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:
114. The craft of programming / by Reynolds, John C. Publication: Englewood Cliffs : Prentice-Hall, 1981 . 345 p. ; 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
115. The nature and causes of climate change : assessing the long-term future / by Goodess, C. M. Publication: London : Belhaven Press, 1992 . XIII, 248 p. : 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
116. Pattern recognition theory and applications : proceedings of the NATO Advanced Study Institute held at St. Anne's College, Oxford, March 29 April 10, 1981 /   Publication: Dordrecht ; Boston : D. Reidel, 1982 . IX, 76 p. : 25 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
117. An introduction to database systems / by Date, C. J. Publication: Reading : Addison-Wesley, 1981 . XXVIII, 574 p. ; 25 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
118. From mine to microscope   Publication: Oxford : Oxbow Books, 2009 . XVI, 230 p.: 29 cm Date:2009 Availability: No items available: Checked out (1), Actions:
119. TFDOM 2   Publication: Les Ulis: EDP Sciences 2001 , Journal de physique IV : volume 11, Pr11 ill.; Date:2001 Availability: No items available: Checked out (1), Actions:
120. Odour prevention and control of organic sludge and livestock farming   Publication: London : Elsevier Applied Sci., 1986 . XIII, 391 p. : , Proceedings of a seminar, Silsoe, UK, 15-19 April 1985 23 cm Date:1986 Availability: No items available: Checked out (1), Actions: