|
|
|
1261. |
Solving geometric constraint system : a case study in kinematics /
by Kramer, Glenn A.
Publication:
Cambridge ; London : The MIT Press, 1992
. XI, 277 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1262. |
Essentials of programming languages /
by Friedman, Daniel
Publication:
Cambridge ; London : The MIT Press, 1992
. 536 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1263. |
Constraint satisfaction in logic programming /
by Van Hentenryck, Pascal
Publication:
Cambridge ; London : The MIT Press, 1989
. XVI, 224 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1264. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
1265. |
Compiling with continuations /
by Appel, Andrew W.
Publication:
Cambridge : Cambridge University Press, 1992
. X, 262 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1266. |
Nonmonotonic reasoning : logical foundations of commonsense /
by Brewka, Gerhard
Publication:
Cambridge : Cambridge University Press, 1991
. XI, 168 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1267. |
Proceedings of the symposium on modern network syntesis, New York, April 16,17,18, 1952 /
Publication:
Brooklyn : Polytechnic Press of the Polytechnic Institute of Brooklyn, 1952
. XII, 342 p. ;
22 cm.
Date:1952
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1268. |
Intensional logics for programming /
by Farinas Del Cerro, Luis
Publication:
Oxford : Clarendon Press, 1992
. IX, 228 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1269. |
Logic and information /
by Devlin, Keith J.
Publication:
New York : Cambridge University Press, 1991
. XII, 320 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1270. |
Understanding CLOS : the common lisp object system /
by Lawless, Jo A.
Publication:
Bedford : Digital press, 1991
. IX, 192 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1271. |
Tracking and data association /
by Bar-Shalom, Yaakov
Publication:
New York : Academic Press, 1988
. XIII, 353 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1272. |
Vol. 1
Publication:
Oxford : New York : Pergamon Press, 1979
. XVII, 610 p. :
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1273. |
The Ai workbench Babylon : an open and portable development environment for expert systems /
Publication:
London : Academic Press, 1992
. VII, 474 ;
23 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1274. |
Vol. 1
Publication:
Boca Raton : CRC Press, 1987
. 166 p. :
26 cm.
Date:1987
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
1275. |
Spectral analysis and time series /
by Priestley, M.B.
Publication:
London : Academic Press, 1981
. XVII, 890 p. ;
, Vol. 1: Multivariate series. - Vol. 2: Multivariate series, prediction and control
23 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1276. |
Non-linear and non-stationary time series analysis /
by Priestley, Maurice Bertram
Publication:
London ; San Diego : Academic Press, 1988
. VIII, 237 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1277. |
Optimization of stochastic systems : topics in discrete-time dynamics /
by Aoki, Masanao
Publication:
Boston : Academic Press Inc., 1989
. X, 417 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1278. |
Robustness of statistical tests /
by Kariya, Takeaki
Publication:
Boston : Academic Press, 1989
. XVI, 189 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1279. |
Recent advances in qualitative physics /
Publication:
Cambridge : The MIT Press, 1992
. XII, 453 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
1280. |
Interval methods for systems of equations /
by Neumaier, Arnold
Publication:
Cambridge : Cambridge University Press, 1990
. XVI, 255 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
