|
|
1. |
Principles of knowledge representation and reasoning : 4. International conference, Bonn, Germany, May 24-27, 1994 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1994
. XII, 655 p. ;
28 cm.
Date:1994
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
2. |
Principles of knowledge representation and reasoning : 3. international conference KR'92 : proceedings /
Publication:
San Mateo : Morgan Kaufmann Publishers, 1992
. XV, 791 p. ;
28 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
3. |
Planning and control /
by Dean, Thomas L.
Publication:
San Mateo : Morgan Kaufmann Publishers, 1991
. XV, 486 p. ;
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
4. |
Readings in planning /
Publication:
San Mateo : Morgan Kaufmann, 1990
. XII, 746 p. ;
28 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
5. |
Reasoning about plans /
Publication:
San Mateo : Morgan Kaufmann, 1991
. XII, 300 p. ;
24 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
6. |
Solid and geometric modeling : an introduction /
by Hoffmann, Cristoph Martin
Publication:
San Mateo : Morgan Kaufmann, 1989
. XIX, 338 p. ;
23 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
7. |
Readings in object-oriented database systems /
Publication:
San Mateo : Morgan Kaufmann Publ. 1990
. X, 629 p. :
28 cm.
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
8. |
Making them move : mechanism, control, and animation of articulated figures /
Publication:
San Matteo : Morgan Kaufmann Publishers, 1991
. XIV, 348 p. ;
23 cm.
Date:1991
Availability:
Copies available:
Centro studi per ricerche di fonetica
(1),
Actions:
|
|
|
9. |
Principles of knowledge representation and reasoning : 8. International conference, Toulouse, France, April 2-25 2002 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 2002
. XII, 633 p. ;
28 cm.
Date:2002
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
10. |
Principles of knowledge representation and reasoning : 6. International conference, Trento, Italy 2-5, 1998 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1998
. XIII, 656 p. ;
28 cm.
Date:1998
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
11. |
Principles of knowledge representation and reasoning : 5. International conference : Cambridge, Massachusetts, November 5-8, 1996 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1996
. XIII, 671 p. ;
28 cm.
Date:1996
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
12. |
Probabilistic reasoning in intelligent systems : networks of plausible inference /
by Pearl, Judea
Publication:
San Francisco : Morgan Kaufmann, 1991
. XIX, 552 p. :
23 cm.
Date:1991
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
13. |
Principles of radiation protection : a textbook of health physics /
Publication:
New York : Robert E. Krieger Publishing Company, 1973
. XIX, 622 p. :
24 cm.
Date:1973
Availability:
Copies available:
Ufficio sicurezza e prevenzione
(1),
Actions:
|
|
|
14. |
Heat Pumps /
by McMullan, J. T.
Publication:
Bristol : Adam Hilger, 1981
. VIII, 156 p. :
24 cm.
Date:1981
Availability:
Copies available:
Istituto per la tecnica del freddo
(1),
Actions:
|
|
|
15. |
Vol. 2: Practices and applications /
by Arsdel, Wallace B. Van
Publication:
Westport : The Avi Publishing Company, 1973
. XI, 529 p. :
24 cm.
Date:1973
Availability:
Copies available:
Istituto per la tecnica del freddo
(1),
Actions:
|
|
|
16. |
Vol. 1: Drying methods and phenomena /
by Arsdel, Wallace B. Van
Publication:
Westport : The Avi Publishing Company, 1973
. XI, 347 p. :
24 cm.
Date:1973
Availability:
Copies available:
Istituto per la tecnica del freddo
(1),
Actions:
|
|
|
17. |
Vol. 2: Numerical methods in thermal problems /
Publication:
Swansea : Pineridge, 1981
. 1313 p. :
, Proceedings of the second international Conference held in V enice, Italy on 7th-10th July, 1981
24 cm.
Date:1981
Availability:
Copies available:
Istituto per la tecnica del freddo
(1),
Actions:
|
|
|
18. |
Treat : a new and efficient match algorithm for AI production systems /
by Miranker, Daniel
Publication:
London : Pitman ; San Mateo, 1988
. XIII, 144 p. ;
24 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
19. |
Analysis of quantal response data /
by Morgan, Byron J. T.
Publication:
London ; New York : Chapman & Hall, 1992
. XX, 511 p. :
23 cm.
Date:1992
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
20. |
Blackboard systems /
Publication:
Wokinghan : Addison-Wesley, 1988
. XVIII, 602 p. ;
24 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|