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

521. Approximate methods in optimization problems / by Demyanov, Vladimir Fedorovich Publication: New York : American Elsevier Pub. Co., 1970 . IX, 256 p. : 24 cm. Date:1970 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
522. Automaton theory and modeling of biological systems / by Tsetlin, Mikhail L'vovich Publication: New York : Academic Press, 1973 . XVI, 288 p. : 24 cm. Date:1973 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
523. Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /   Publication: New York : Springer-Verlag, 1989 . XI, 493 p. : 25 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
524. 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:
525. Common LISP programming for artificial intelligence. / by Hasemer, Tony Publication: Wokingham, [England] : Addison-Wesley, 1989 . XIII, 444 p. ; 23 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
526. Three decades of mathematical system theory : a collection of surveys at the occasin of the 50th birthday of Jan C. Willems /   Publication: Berlin : Springer-Verlag, 1989 . VI, 562 p. ; 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
527. Horizons of biochemical engineering /   Publication: Oxford : Oxford University Press, 1987 . X, 374 p. ; 26 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
528. Software engineering education : proceedings of the SEI Conference 1989, Pittsburgh, Pennsylvania, USA, july 1989 /   Publication: Berlin : Springer-Verlag, 1989 . VII, 312 p. ; 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
529. Handbook of pattern recognition and image processing /   Publication: Orlando : Academic Press, 1986 . X, 705 p. ; 24 cm. Date:1986 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
530. The nature of irreversibility : a study of its dynamics and physical origins / by Hollinger, Henry B. Publication: Dordrecht : D. Reidel, 1985 . XI, 340 p. ; 23 cm. Date:1985 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
531. Three-dimensional machine vision /   Publication: Boston : Kluwer, 1987 . IX, 609 p. ; 24 cm. Date:1987 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
532. 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:
533. CAD Based Programming for Sensory Robots /   Publication: Berlin : Springer-Verlag, 1988 . IX, 565 p. ; 24 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
534. Readings in cognitive science : a perspective from psychology and artificial intelligence /   Publication: San Mateo : M. Kaufmann Publishers, 1988 . IX, 661 p. : 28 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
535. Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /   Publication: Berlin ; New York : Springer-Verlag, 1989 . VI, 299 p. : 25 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
536. High level language and their compilers / by Watson, Des Publication: Wokingham : Addison-Wesley, 1989 . XII, 337 p. ; 24 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
537. Computers, brains and minds : essays in cognitive science /   Publication: Dordrecht : Kluwer Academic Publishers, 1989 . X, 225 p. ; 23 cm. Date:1989 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
538. Robotics and artificial intelligence : proceedings of the NATO Advanced Study Institute on held at Castelvecchio Pascoli, Barga, Italy, June 26 - July, 1983 /   Publication: New York : Springer-Verlag, 1984 . XVII, 693 p. : 25 cm. Date:1984 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
539. Computational geometry and its applications : CG'88, International workshop on computational geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /   Publication: Berlin : Springer-Verlag, 1988 . VI, 252 p. : 25 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
540. An introduction to mathematical logic and type theory : to truth through proof / by Andrews, Peter Bruce Publication: Orlando : Academic Press, 1986 . XV, 304 p. ; 24 cm. Date:1986 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions: