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

1. Solving the frame problem : a mathematical investigation of the common sense law of inertia / by Shanahan, Murray Publication: Cambridge : The Mit Press, 1997 . XXXIV, 407 p. : 24 cm. Date:1997 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
2. Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /   Publication: Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm. Date:1975 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
3. Advanced calculus / by Loomis, Lynn H. Publication: Reading : Addison-Wesley Pub. Co., 1968 . 580 p. : 24 cm. Date:1968 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
4. An introduction to functional programming through lambda calculus / by Michaelson, Greg, Publication: Wokingham : Addison Wesley, 1989 . XV, 320 p. ; 23 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (2), Actions:
5. Dynamic optimization : the calculus of variations and optimal control in economics and management / by Kamien, Morton I. Publication: New York : North-Holland, 1981 . XI, 331 p. : 24 cm. Date:1981 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
6. The calculus of variations and optimal control : an introduction / by Leitmann, George Publication: New York : Plenum Press, 1981 . XVI, 311 p. : 24 cm. Date:1981 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
8. Variational calculus in science and engineering / by Forray, Marvin J. Publication: New York : McGraw-Hill, 1968 . XI, 221 p. : 23 cm. Date:1968 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
9. Vol. 3: Analisi 2 by Apostol, Tom Mike Publication: Torino : Bollati Boringhieri, 1978 . IX, 475 p. : 24 cm. Date:1978 Availability: Copies available: Istituto di chimica e tecnologie inorganiche e dei materiali avanzati (1), Actions:
10. Computational learning and probabilistic reasoning /   Publication: Chichester : Wiley, 1996 . XII, 312 p. : 25 cm. Date:1996 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
11. Vol. 2: Ito calculus by Rogers, L. C. G. Publication: Chichester : Wiley, 1987 . XIII, 475 p. : 24 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
12. Linear differential operators / by Lanczos, Cornelius Publication: Philadelphia : SIAM, 1996 . XVII, 564 p. ; 23 cm. Date:1996 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
13. The Mallavin calculus and related topics / by Nualart, David Publication: New York : Springer-Verlag, 1995 . XI, 266 p. : 24 cm. Date:1995 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
14. Variational methods in economics / by Hadley, George F. Publication: Amsterdam ; North-Holland Pub. Co., 1971 . IX, 378 p. ; 23 cm. Date:1971 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
15. Stochastic calculus and stochastic models / by McShane, Edward James Publication: New York : Academic Press, 1974 . X, 239 p. ; 24 cm. Date:1974 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
16. Variational analysis : critical extremals and Sturmian extensions / by Morse, Marston Publication: New York : J. Wiley, 1973 . XI, 260 p. ; 24 cm. Date:1973 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
17. Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus / by Goodstein, R. L. Publication: Amsterdam : Nort-Holland, 1964 . XII, 190 p. ; 21 cm. Date:1964 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
18. Methods of intermediate problems for eigenvalues : theory and ramifications / by Weinstein, Alexander Publication: New York : Academic Press, 1972 . XI, 236 p. ; 24 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
19. Mathematical foundations of the calculus of probability / by Neveu, Jacques Publication: San Francisco : Holden-Day, 1965 . XIII, 223 p. ; 24 cm. Date:1965 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
20. Elements of queueing theory : Palm-Martingale calculus and stochastic recurrences / by Baccelli, Francois Publication: Berlin ; New York : Springer-Verlag, 1994 . IX, 256 p. : 24 cm. Date:1994 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1 2 3 Next >>