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

Unhighlight Highlight
21. Introduction to probabilistic automata / by Paz, Azaria Publication: New York : Academic Press, 1971 . XXV, 228 p. ; 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
22. Symbolic logic and mechanical theorem proving / by Chang, Chin-Liang Publication: New York : Academic Press, 1973 . XIII, 331 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
23. Control and modeling of cancer cell population /   Publication: Technical University Press : Zielona Gora, 1994 . 324 p. ; , Special issue "Applied mathematics and computer science" (1994, vol. 4, n. 2) 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
24. Networks and chaos : statistical and probabilistic aspects /   Publication: Lonodn : Chapman & Hall, 1993 . VII, 307 p. ; 22 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
25. Image reconstruction from projections : the foundamentals of computerized tomography / by Herman, Gabor T. Publication: New York : Academic Press, 1980 . XIV, 316 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
26. Mathematical logic and theoretical computer science /   Publication: New York : Dekker, 1987 . XVIII, 383 p. ; , Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985 26 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
27. Graph-based proof procedure for horn clauses / by Raatz, Stan Publication: Boston : Birkhauser, 1990 . 147 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
28. Recursive function theory and logic / by Yasuhara, Ann Publication: New York : Academic Press, 1971 . XV, 338 p. ; 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
29. An introduction to mathematical logic and type theory : to truth through proof / by Andrews, Peter Bruce Publication: Orlando : Academic Press, 1986 . XV, 304 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
30. The theory of matrices : with applications / by Lancaster, Peter Publication: Orlando : Academic Press, 1985 . XV, 570 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
31. Human and machine vision /   Publication: New York : Academic Press, 1983 . XI, 567 p. : , "Proceedings of the Conference on Human and Machine Vision held in Denver, Colorado, in August 1981, sponsored by theNational Science Foundation"--Verso of t.p. 24 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
32. Vol. 4: Life science models /   Publication: New York : Springer Verlag, 1976 . XX, 366 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
33. Functional analysis and approximation theory in numerical analysis / by Varga, R. S. Publication: Philadelphia : SIAM, 1971 . V, 76 p. ; 25 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
34. Thinking with models : mathematical models in the physical, biological, and social sciences / by Saaty, Thomas L. Publication: Oxford ; New York : Pergamon Press, 1981 . XI, 181 p. : 26 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
35. Proceedings vol. 1 : Plenary session, Chemical science, chemical education, chemistry and business, history and achivements of chemistry in russia, Moscow, 25 - 29 may 1998   Publication: . 403 p. : Availability: No items available: Checked out (1), Actions:
36. Introduction to numerical computations / by Vandergraft, James S. Publication: New York : Academic Press, 1978 . XI, 344 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
37. 14. International vacuum congress ( IVC - 14 ) , 10. international conference on solid surfaces ( ICSS - 10 ), 5. international conference on nanometre-scale science and technology ( NANO - 5 ), 10.international conference on quantitative surface analysis ( QSA - 10 ), Birmingham, UK, 31 august - 4 september 1988 /   Publication: North-Holland : Elsevier, 1999 . XXII, 747 p. : , in Applied surface science vol. 144 - 145, pp. 1-748 (1999) 26 cm. Date:1999 Availability: No items available: Checked out (1), Actions:
38. Communication systems and random process theory : proceedings of the NATO Advanced Study Institute on Communication Systems and Random Process Theory : August 8-20, 1977, Darlington, U.K. /   Publication: Alphen aan den Rijn : Sijthoff & Noordhoff, 1978 . XI, 991 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
39. Vol. 2 Properties of ceramics   Publication: London : Elsevier Applied Science, 1989 . XXIV, 2-651 p., 18 p. : , proceedings of the 1. european ceramic society conference, Maastricht 18 - 23 june 1989 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
40. Vol. 1 Processing of ceramics   Publication: London : Elsevier Applied Science, 1989 . XXIV, 1-623 p., 18 p. : , proceedings of the 1. european ceramic society conference, Maastricht 18 - 23 june 1989 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1 2 3 4 Next >>