|
|
|
41. |
Ontic : a knowledge representation system for mathematics /
by McAllester, David A.
Publication:
Cambridge : The MIT Press, 1989
. XIV, 158 p. :
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
42. |
Logic based knowledge representation /
by Jackson, Peter
Publication:
Cambridge : The MIT Press, 1989
. XV, 255 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
43. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1988
. XX, 858 p. :
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
44. |
Research directions in object-oriented programming /
Publication:
Cambridge : The MIT Press, 1987
. 585 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
45. |
Reasoning about change : time and causation from the standpoint of artificial intelligence /
by Shoham, Yoav
Publication:
Cambridge : The MIT Press, 1988
. 200 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
46. |
Control system synthesis : a factorization approach /
by Vidyasagar, Mathukumalli
Publication:
Cambridge : The MIT Press, 1985
. 436 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
47. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1987
. XIV, 555 p. :
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
48. |
Object-oriented concurrent programming /
Publication:
Cambridge, (Mass.) : The MIT Press, 1987
. 282 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
49. |
Vol. 2: Cellular systems
Publication:
New York : Academic Press, 1972
. 3 v. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
50. |
The art of Prolog : advanced programming techniques /
by Sterling, Leon
Publication:
Cambridge : The MIT Press, 1986
. XXVIII, 437 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
51. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
52. |
Issues in the implementation of digital feedback compensators /
by Moroney, Paul
Publication:
Cambridge (Mass.) : The MIT Press, 1983
. XII, 218 p. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
53. |
Active inductorless filters /
Publication:
New York : Institute of Electrical and Electronics Engineers ; IEEE Press, 1971
. VII, 224 p. :
28 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
54. |
Tools and notions for program construction : an advances course /
Publication:
Cambridge ; New York : Cambridge University Press, 1982
. XIII, 399 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
55. |
Stability and robustness of multivariable feedback systems /
by Safonov, Michael George
Publication:
Cambridge : MIT Press, 1980
. XI, 171 p. :
, Based on the author's thesis, Massachusett Institute of Technology, 1977, presented under the title "Robusteness and stability aspects of stochastic multivariable feedback systems design".
24 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
56. |
Computers in endocrinology /
Publication:
New York : Raven Press, 1984
. XII, 349 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
57. |
Recent advances in obesity and diabetes research /
Publication:
New York : Raven Press, 1984
. XXVIII, 414 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
58. |
Theory and practice of recursive identification /
by Ljung, Lennart
Publication:
Cambridge : The MIT Press, 1983
. XIX, 529 p. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
59. |
Artificial systems for insulin delivery /
Publication:
New York : Raven Press, 1983
. XXXIV, 605 p. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
60. |
Functional programming and its applications : an advanced course /
Publication:
Cambridge ; New York : Cambridge University Press, 1982
. 306 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
