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

7861. Theoretical aspects of computer software : proceedings of the International Conference TACS '91, Sendai, Japan, September 24-27, 1991 /   Publication: Berlin : Springer-Verlag, 1991 . X, 770 p. ; 25 cm. Date:1991 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7862. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7863. Structure and interpretation of computer programs / by Abelson, Harold Publication: Cambridge : The MIT Press ; New York : McGraw-Hill, 1985 . XX, 542 p. : 24 cm. Date:1985 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7864. Random walk in random and non-random environments / by Revesz, Pal Publication: Singapore : World Scientific Publishing, 1990 . XIV, 332 p. ; 24 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7865. Digital signal processing / by Roberts, Richard A. Publication: Reading : Addison-Wesley Publishing Company, 1987 . XIV, 578 p. ; 24 cm. Date:1987 Availability: Copies available: Istituto per la tecnica del freddo (1), Actions:
7866. Inequalities : theory of majorization and its applications / by Marshall, Albert W. Publication: San Diego : Academic Press, 1979 . XX, 569 p. ; 24 cm. Date:1979 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7867. Differential geometry and statistics / by Murray, Michael K. Publication: London ; New York : Chapman & Hall, 1993 . XIII, 272 p. : 23 cm. Date:1993 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7868. Pharmacokinetics for the pharmaceutical scientist / by Wagner, John G. Publication: Lancaster : Technometric Publishing, 1993 . XVII, 316 p. ; 24 cm. Date:1993 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7869. Agricoltura, energia e sistemi integrati / by Pellizzi, Giuseppe Publication: Padova : Franco Muzzio Editore, 1984 . 141 p. : 24 cm. Date:1984 Availability: Copies available: Istituto per la tecnica del freddo (1), Actions:
7870. Type theory and functional programming / by Thompson, Simon Publication: Workingham, [England] : Addison-Wesley Publishing Company, 1991 . XV, 372 p. ; 24 cm. Date:1991 Availability: Copies available: Istituto di Ingegneria Biomedica (2), Actions:
7871. Proceedings of the 3. annual symposium on Computational Geometry : Waterloo, Ontario, Canada, June 8-10, 1987   Publication: New York : ACM, 1987 . IV, 354 p. ; 27 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7872. Practical neural network recipes in C++ / by Masters, Timothy Publication: Boston : Academic Press, 1993 . XVII, 493 p. : 24 cm. Date:1993 Availability: Copies available: Centro studi per ricerche di fonetica (1), Actions:
7873. Advanced methods in neural computing / by Wasserman, Philip D. Publication: New York : Van Nostrand Reinhold, 1993 . VIII, 255 p. ; 25 cm. Date:1993 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7874. Hybrid architectures for intelligent systems /   Publication: Boca Raton : CRC Press, 1992 . [14], 420 p. ; 27 cm. Date:1992 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7875. Integrated design of a fermentation plant : the production of Baker's yeast /   Publication: Weinheim : VCH, 1994 . XIV, 86 p. : 24 cm. + diskette Date:1994 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7876. Meta-programming in logic : third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XII, 351 p. ; 25 cm. Date:1992 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7877. Nonmonotonic logic : context-dependent reasoning / by Marek, Wiktor V. Publication: Berlin : Springer-Verlag, 1992 . XII, 417 p. ; 24 cm. Date:1992 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7878. Parametrizations in control, estimation and filtering problems : accuracy aspects / by Gevers, Michel Publication: London : Springer-Verlag, 1993 . XV, 373 p. ; 24 cm. Date:1993 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7879. Group theoretical methods in image processing / by Lenz, Reiner Publication: Berlin : Springer-Verlag, 1990 . VIII, 138 p. ; 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7880. Statistica : ed elaborazione statistica delle informazioni / by Ricci, Fausto Publication: Bologna : Zanichelli, 1975 . X, 373 p. : 22 cm. Date:1975 Availability: Copies available: Istituto di ricerca per la protezione idrogeologica nei bacini dell'Italia nord- (1), Actions: