|
|
|
941. |
Vol. 1: Logical foundations /
Publication:
Oxford : Oxford University Press, 1974
. XV, 511 p. ;
24 cm.
Date:1974
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
942. |
Nonholonomic motion planning /
Publication:
Boston : Kluwer Academic Publishers, 1993
. XV, 448 p. ;
24 cm.
Date:1993
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
943. |
Information randomness & incompleteness: papers on algorithmic information theory /
by Chaitin, Gregory J.
Publication:
Singapore : World Scientific, 1987
. X, 272 p. ;
22 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
944. |
An introduction to the mathematics of medicine and biology /
by Defares, J. G.
Publication:
Chicago : Year Medical Publishers, 1973
. XV, 675 p. :
23 cm.
Date:1973
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
945. |
Seminaire de probabilites XXIV 1988-89 /
Publication:
Berlin : Springer-Verlag, 1990
. V, 490 p. ;
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
946. |
Seminaire de probabilites XXVI /
Publication:
Berlin : Springer-Verlag, 1992
. X, 632 p. ;
24 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
947. |
Seminaire de probabilites XXV /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 440 p. ;
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
948. |
Ecole d'ete de probabilites de Saint-Flour XX, 1990 /
Publication:
Berlin : Springer-Verlag, 1992
. 244 p. ;
24 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
949. |
Methionine metabolism : molecular mechanism and clinical implications : proceedings of a workshop held at the Sierra Nevada (Granada) on April 15-19, 1992 /
Publication:
Madrid : Consejo Superior de Investigaciones Cientificas, 1992
. 232 p. ;
24 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
950. |
Advanced database systems : 10th British national conference on databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. X, 260 p. ;
23 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
951. |
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 723 p. ;
24 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
952. |
Mathematical models in biology and medicine : proceedings of the IFIP-TC4 Working Conference on Mathematical Modellin Biology and Medicine, Varna, 6-11 September 1972 /
Publication:
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974
. IX, 152 p. ;
23 cm.
Date:1974
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
953. |
Pascal: an introduction to the art and science of programming /
by Savitch, Walter J.
Publication:
Redwood City : The Benjamin/Cummings Publishing Company, 1991
. XXV, 671 p. ;
23 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
954. |
Biological reaction engineering : principles, applications and modelling with PC simulation /
Publication:
Weinheim : VCH, 1992
. XVIII, 438 p. ;
24 cm. + diskette
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
955. |
Robot analysis and control /
by Asada, Haruhiko
Publication:
New York : John Wiley and Sons, 1986
. XI, 266 p. ;
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
956. |
An introduction to functional programming systems using Haskell /
by Davie, Antony J. T.
Publication:
Cambridge : Cambridge University Press, 1991
. XIV, 290 p. :
23 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
957. |
Deduction /
by Johnson-Laird, Philip Nicholas
Publication:
Hove ; London : L. Erlbaum Associates, 1991
. 224 p. :
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
958. |
Autonomous robot vehicles /
Publication:
New York : Springer-Verlag, 1990
. XXVI, 462 p. ;
29 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
959. |
Logic and information /
by Devlin, Keith J.
Publication:
New York : Cambridge University Press, 1991
. XII, 320 p. ;
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
960. |
Vol. 1
Publication:
Oxford : New York : Pergamon Press, 1979
. XVII, 610 p. :
24 cm.
Date:1979
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
