|
|
|
8181. |
An introduction to functional programming through Lambda calculus
by Michaelson, Greg
Publication:
Wokingham : Addison-Wesley, 1989
. XV, 320 p. ;
24 cm.
Date:1989
Availability:
No items available:
Actions:
|
|
|
8182. |
Elements of the theory of computation /
by Lewis, Harry R.
Publication:
Englewood Cliffs : Prentice-Hall, 1981
. XIV, 466 p. ;
23 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8183. |
Epistemologia informatica /
Publication:
Ancona : Transeuropea, 1991
. 257 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8184. |
Processing declarative knowledge ; international workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991: proceedings /
Publication:
Berlin : Springer-Verlag, 1991
. XII, 427 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8185. |
Fisica tecnica : il benessere ambientale negli aspetti illuminotecnico, acustico, microclimatico /
by Sacchi, Alfredo
Publication:
Torino : UTET, 1990
. XI, 484 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8186. |
Seminaire de probabilites XVI, 1980 /
Publication:
New York : Springer, 1982
. 285 p. ;
25 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8187. |
Seminaire de probabilites XVI, 1980 /
Publication:
New York : Springer, 1982
. V, 623 p. ;
25 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8188. |
Seminaire de probabilites XVIII, 1982 /
Publication:
New York : Springer, 1984
. IV, 518 p. ;
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8189. |
Seminaire de probabilites XIV, 1978 /
Publication:
New York : Springer, 1980
. VII, 546 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8190. |
Seminaire de probabilites XIX, 1983 /
Publication:
New York : Springer, 1985
. 503 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8191. |
Codice comunitario delle sostanze pericolose : legislazione comunitaria annotata e coordinata con la legge italiana /
Publication:
Milano : Pirola, 1991
. XII, 1435 p. :
17 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8192. |
Il laboratorio chimico /
by Morassi, Roberto
Publication:
Padova, 1987
. 548 p. :
24 cm
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8193. |
Research directions in computer science : an MIT perspective /
Publication:
Cambridge : The MIT Press, 1991
. 490 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8194. |
La fotocamera /
by Adams, Ansel
Publication:
Bologna : Zanichelli, 1989
. XIII, 201 p. :
, Traduzione e revisione di Michele Marinucci
26 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8195. |
Algorithmic information theory /
by Chaitin, Gregory J.
Publication:
Cambridge : Cambridge Univ. Press, 1990
. VIII, 178 p. ;
27 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8196. |
Blackboard architectures and applications /
Publication:
Boston : Academic Press, 1989
. XXXIX, 525 p. ;
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8197. |
Vol. 1
Publication:
Menlo Park : AAAI Press/The MIT Press, 1991
. XVIII, 517 p. :
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8198. |
Proceedings of a meeting on electrical impedance tomography : Copenhagen 14th - 16th July 1991
Publication:
[S.l. : s.n.],
. VI, 284 p. ;
25 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8199. |
Vol. 33: Flow cytometry /
Publication:
San Diego : Academic Press, 1990
. XVII, 716 p. ;
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8200. |
Vol. 1: Chemical analysis
by Klein, Louis
Publication:
London : Butterworths, 1959
. IX, 206 p. :
22 cm.
Date:1959
Availability:
No items available:
Checked out (1),
Actions:
|
|
