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

501. Design for a brain : the origin of adaptive behaviour / by Ashby, W. Ross Publication: London : Chapman and Hall, 1960 . IX, 286 p. : 22 cm. Date:1960 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
502. Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 386 p. ; 24 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
503. Database systems of the 90s : International symposium, Muggelsee, Berlin, FRG, November 5-7, 1990, proceedings / by Blaser, A. Publication: Berlin : Springer-Verlag, 1990 . VIII, 334 p. : 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
504. 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:
505. CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 536 p. : , "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started onSeptember 1, 1989 ... The conference CONCUR '90, hosted byCWI with the help of the University of Amsterdam, marksthe end of the first year of CONCUR"--Pref. 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
506. Temporal representation and inference /   Publication: London : Academic Press, 1989 . XXI, 365 p. : 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
507. Constrained global optimization : algorithms and applications / by Pardalos, Panos M. Publication: Berlin : Springer-Verlag, 1987 . VII, 143 p. ; 25 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
508. Concrete mathematics : a foundation for computer science / by Graham, Ronald L. Publication: Reading : Addison-Wesley, 1989 . XIII, 625 p. : 25 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
509. Artificial intelligence : a knowledge-based approach / by Firebaugh, Morris W. Publication: Boston : PWS-KENT Publishing Company, 1989 . XXIV, 740 p. : 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
510. Natural language understanding / by Allen, James Publication: Menlo Park : Benjamin/Cummings Pub. Co., 1987 . XV, 574 p. : 25 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
511. Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings /   Publication: New York : Springer-Verlag, 1990 . VII, 466 p. : 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
512. First-order logic and automated theorem proving / by Fitting, Melvin Publication: New York : Springer-Verlag, 1990 . XIII, 242 p. : 24 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
513. Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A. Publication: Berlin ; New York : Springer-Verlag, 1990 . XIII, 493 p. : 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
514. 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:
515. Object-oriented software construction / by Meyer, Bertrand Publication: New York : Prentice Hall, 1988 . XVIII, 534 p. : 24 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
516. Computer Vision - ECCV 90 : proceedings of the first European conference on computer vision : Antibes, France, April 23-27, 1990 /   Publication: Berlin : Springer-Verlag, 1990 . XII, 618 p. : 25 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
517. Ignorance and uncertainty : emerging paradigms / by Smithson, Michael Publication: New York : Springer-Verlag, 1988 . 200 p. ; 23 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
518. Stochastic complexity in statistical inquiry / by Rissanen, Jorma Publication: Singapore ; Teaneck, N.J. : World Scientific, 1989 . III, 177 p. ; 22 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
519. COMMON LISP / by Hennessey, Wade L. Publication: New York : McGraw-Hill, 1989 . XV, 395 p. : 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
520. Introduction to random differential equations and their applications / by Srinivasan, S. Kidambi Publication: New York : American Elsevier Pub. Co., 1971 . XII, 166 p. : 24 cm. Date:1971 Availability: Copies available: Istituto di Ingegneria Biomedica (2), Actions: