|
|
|
1581. |
Mirrors of minds : patterns of experience in educational computing : papers from the Center for Children and Technology, Bank Street College /
Publication:
Norwood, [N.J.] : Ablex Pub. Corp., 1987
. XVII, 329 p. :
24 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1582. |
Functional integration and partial differential equations /
by Freidlin, Mark Iosifovich
Publication:
Princeton , [N.J.] : Princeton, 1985
. IX, 545 p. ;
25 cm.
Date:1985
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1583. |
Automated reasoning : 33 basic research problems /
by Wos, Larry
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1988
. XIII, 319 p. ;
23 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1584. |
Programming with sets : an introduction to SETL /
Publication:
New York : Springer-Verlag, 1986
. XV, 493 p :
25 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1585. |
Quantum physics /
by Glimm, James
Publication:
New York : Springer-Verlag, 1987
. XXII, 535 p. :
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1586. |
The dynamics of physiologically structured population /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. XII, 511 p. :
25 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1587. |
Nonlinear oscillations, dynamical systems, and bifurcations of vector field /
by Guckenheimer, John
Publication:
New York : Springer-Verlag, 1983
. XVI, 453 p. :
24 cm.
Date:1983
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1588. |
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse /
by Benthem, John F. A. van
Publication:
Dordrecht ; Boston : Reidel Pub. Co., 1983
. XVI, 260 p. :
23 cm.
Date:1983
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1589. |
The Scheme programming language /
by Dybvig, R. Kent
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1987
. XI, 242 p. ;
24 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1590. |
AIME 87 : European Conference on Artificial Intelligence in Medicine, Marseilles, 31 August, 3 September1987, proceedings /
Publication:
Berlin : Springer, 1987
. IX, 255 p. :
24 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1591. |
Principles of functional programming /
by Glaser, Hugh
Publication:
Englewood Cliffs, (N.J.) : Prentice/Hall International, 1984
. XI, 251 p. :
, QA76.6.G558
24 cm.
Date:1984
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1592. |
Control dynamics of robotic manipulators /
by Skowronski, Janislaw M.
Publication:
Orlando : Academic Press, 1986
. IX, 268 p. :
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1593. |
Communicating sequential processes /
by Hoare, Charles Antony Richard
Publication:
Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985
. VIII, 256 p. :
24 cm.
Date:1985
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1594. |
Program construction and verification /
by Backhouse, Roland C.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall International, 1986
. XI, 281 p. :
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1595. |
Physiology of man in space /
Publication:
New York : Academic Press, 1963
. 348 p. :
24 cm.
Date:1963
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1596. |
Current trends in concurrency : overviews and tutorials /
Publication:
Berlin : Springer-Verlag, 1986
. XII, 716 p. :
25 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1597. |
Handbook of industrial robotics /
by Nof, Shimon Y.
Publication:
New York : J. Wiley, 1985
. XVII, 1358 p. :
25 cm.
Date:1985
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1598. |
Introduction to robotics : mechanics & control /
by Craig, John
Publication:
Reading : Addison-Wesley Pub. Co., 1986
. VIII, 303 p. :
24 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1599. |
Automated reasoning : introduction and applications /
Publication:
Englewood Cliffs, (N.J) : Prentice-Hall, 1984
. XIV, 482 p. :
24 cm.
Date:1984
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
1600. |
Approximation and weak convergence methods for random processes, with applications to stochastic systems theory /
by Kushner, Harold Joseph
Publication:
Cambridge : The MIT Press, 1984
. XVII, 269 p. ;
24 cm.
Date:1984
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
