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

601. Reasoning from incomplete knowledge in a procedural deduction system / by Moore, Robert C. Publication: New York : Garland Pub., 1980 . 112 p. : , Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. 21 cm. Date:1980 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
602. Matrix eigensystem routines : EISPACK guide extension /   Publication: Berlin : Springer-Verlag, 1977 . VIII, 343 p. ; 25 cm. Date:1977 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
603. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 527 p. : 25 cm. Date:1984 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
604. Multiobjective decision making : theory and methodology / by Chankong, Vira Publication: New York : North-Holland, 1983 . XVII, 406 p. ; 24 cm. Date:1983 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
605. Knowledge-based systems in artificial intelligence / by Davis, Randall Publication: New York : McGraw-Hill International Book Co., 1982 . XXI, 490 p. ; 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
606. Syntactic pattern recognition and applications / by Fu, King Sun Publication: Englewood Cliffs : Prentice-Hall, 1982 . VIII, 596 p. : 23 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
607. Decision models in stochastic programming : operational methods of decision making under uncertainty / by Sengupta, Jati K. Publication: New York : North-Holland, 1982 . VIII, 189 p. ; 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
608. The UNIX system / by Bourne, S. R. Publication: London ; Reading (Mass.) : Addison-Wesley, 1982 . XIII, 351 p. ; 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
609. Multiobjective programming and planning / by Cohon, Jared L. Publication: New York : Academic Press, 1978 . XIV, 333 p. : 24 cm. Date:1978 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
610. Realms of the unconscious : the enchanted frontier / by Nalimov, Vasilii Vasil'evich Publication: Philadelphia : ISI Press, 1982 . XVII, 320 p. : , This volume is a logical exte nsion of the two previous works of V.V. Nalimov: In the labyrinths of language : amathematician's journey, and Faces of science. 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
611. Inside computer understanding : five programs plus miniatures /   Publication: New Haven : Yale University, 1981 . XII, 386 p. : 24 cm. Date:1981 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
612. Dynamic optimization and mathematical economics /   Publication: New York ; London : Plenum Press, 1980 . X, 269 p. : 24 cm. Date:1980 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
613. Claude Bernard : scienza, letteratura e filosofia /   Publication: Verona : Bertani, 1982 . 412 p. ; , Atti del convegno "C. Bernard tra scienza, letteratura e filosofia, organizzato dall'Universita' di Bari dal 9 all'11 novembre 1978 23 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
614. Algorithmic language and program development / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1982 . XVI, 497 p. : 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
615. Control, identification, and input optimization / by Kalaba, Robert E. Publication: New York : Plenum Press, 1982 . XI, 431 p. : , . 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
616. Optimisation and control of dynamic operational research models /   Publication: Amsterdam ; New York : North-Holland Pub. Co. ; New York : Elsevier Science Pub. Co., 1982 . XXII, 437 p. : 23 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
617. Computer-aided modelling and simulation / by Spriet, Jan A. Publication: London ; New York : Academic Press, 1982 . X, 490 p. : 24 cm. Date:1982 Availability: Copies available: Istituto per la tecnica del freddo (1), Actions:
618. Polydiacetylenes /   Publication: Berlin : Springer-Verlag, 1984 . VIII, 149 p. : 25 cm. Date:1984 Availability: Copies available: Istituto di polarografia ed elettrochimica preparativa (1), Actions:
619. Introduction to Pascal / by Welsh, Jim Publication: Englewood Cliffs : Prentice-Hall International, 1982 . XXI, 307 p. : 23 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
620. Programming in ADA / by Barnes, John Gilbert Presslie Publication: London ; Reading (Mass.) : Addison-Wesley Pub. Co., 1982 . X, 340 p. ; 24 cm. Date:1982 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions: