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