|
|
|
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:
|
|
