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

1301. Foundations of object-oriented languages : proceedings of the REX School /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 442 p. ; 25 cm. Date:1991 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1302. Mathematical foudations of programming semantics : proceedings of the 5th International conference, Tulane University, New Orleans, Lousiana, USA, March 29-April 1, 1989 /   Publication: Berlin : Springer-Verlag, 1990 . VI, 439 p. ; 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1303. Geotechnical engineering in Italy : an overview, 1985 /   Publication: Roma : Associazione geotecnica italiana, 1985 . 435 p. : , Seguono appendici. - Published on the occasion of the ISSMFE Golden Jubilee 30 cm. Date:1985 Availability: Copies available: Istituto di ricerca per la protezione idrogeologica nei bacini dell'Italia nord- (1), Actions:
1304. L'antica madre. 2. ed. A cura di G. Pugliese Carratelli.   Publication: Milano, 1985 . (Collana di studi l'Italia antica) Date:1985 Availability: No items available: Actions:
1305. Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /   Publication: Berlin : Springer Verlag, 1990 . VI, 338 p. ; 24 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1306. Principi e tecniche di progettazione del software /   Publication: Milano : Franco Angeli, 1987 . 308 p. ; 23 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1307. Empirical model-building and response surfaces / by Box, George E. P. Publication: New York : Wiley, 1987 . XIV, 669 p. : 24 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1308. La specola dell'Universita di Padova / by Bozzolato, Giampiero Publication: Brugine : Edizioni 1+1, 1986 . 377 p. : 29 cm. Date:1986 Availability: Copies available: Istituto di chimica e tecnologie inorganiche e dei materiali avanzati (1), Actions:
1309. Automata languages and programming : proceedings of the 16th International Colloquium, Stresa, Italy, July 11-15, 1989 /   Publication: Berlin : Springer-Verlag, 1989 . XI, 788 p. ; 25 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1310. The foundations of program verification / by Loeckx, Jacques Publication: Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984 . IX, 230 p. : 24 cm. Date:1984 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1311. Pascal programming for the Apple / by Lewis, Theodore Gyle Publication: Reston, (Va.) : Reston Pub. Co., 1981 . VI, 234 p. : 24 cm. Date:1981 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1312. Heat transfer / by Holman, Jack P. Publication: New York : McGraw-Hill Book Company, 1986 . XX, 676 p. : 24 cm. Date:1986 Availability: Copies available: Istituto per la tecnica del freddo (1), Actions:
1313. Cardiac arrhythmias: recent progress in investigation and management /   Publication: Amsterdam : Elsevier, 1988 . XIII, 385 p. : 27 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1314. Introduction to ergodic theory / by Sinai, Iakov Grigor'evich Publication: Princeton : Princeton University Press, 1976 . 144 p. ; 24 cm. Date:1976 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1315. Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1988 . IV, 218 p. : 25 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1316. Probability and analysis : lectures given at the 1st 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Varenna, Como, Italy, May 31-June 8,1985 /   Publication: Berlin : Springer-Verlag, 1986 . VIII, 283 p. : 25 cm. Date:1986 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1317. Webster's collegiate thesaurus by Webster, John G. Publication: Springfield : Merriam Webster, 1976 . 32, 944 p. ; 26 cm. Date:1976 Availability: Copies available: Istituto di Ingegneria Biomedica (2), Actions:
1318. Current trends in concurrency : overviews and tutorials /   Publication: Berlin : Springer-Verlag, 1986 . XII, 716 p. : 25 cm. Date:1986 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1319. General system theory : foundations, development, applications / by Bertalanffy, Ludwig von Publication: New York : G. Braziller, 1968 . XV, 289 p. : 22 cm. Date:1968 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1320. Bioelectric phenomena / by Plonsey, Robert Publication: New York : McGraw-Hill, 1969 . XIV, 380 p. : 23 cm. Date:1969 Availability: Copies available: Istituto di Ingegneria Biomedica (2), Actions: