|
|
|
501. |
Logic for computer science : foundations of automatic theorem proving /
by Gallier, Jean H.
Publication:
New York : Wiley, 1987
. XV, 511 p. ;
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
502. |
Topics in statistical information theory /
by Kullback, Solomon
Publication:
Berlin : Springer-Verlag, 1987
. IX, 158 p. ;
25 cm.
Date:1987
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
503. |
Lectures on stochastic flows and applications : lectures delivered at the Indian Institute of Science, Bangalore, under the T. I. F. R. - I. i. Sc. Programme in Applications of Mathematics /
by Kunita, H.
Publication:
Berlin : Springer-Verlag, 1986
. 121 p. ;
, Published by Tata Instituite Research, Bombay
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
504. |
The design of dynamic data structures /
by Overmars, Mark H.
Publication:
Berlin : Springer-Verlag, 1983
. VII, 181 p. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
505. |
Proceedings of the symposium held October 20-22, 1967 at Rancho Santa Fe, California /
Publication:
New York : American Elsevier, 1969
. XIV, 304 p. :
23 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
506. |
Statistical physics : invited lectures from the STATPHYS 16, the 16th International conference on thermodynamics and statistical mechanics, Boston University, August 11-15, 1986 /
Publication:
Amsterdam ; New York : North-Holland, 1986
. XVII, 432 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
507. |
Models of the structural-functional organization of certain biological systems /
Publication:
Cambridge (Mass) : The MIT Press, 1971
. XXXVIII, 405 p. :
24 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
508. |
Design theory for CAD : proceedings of the IFIP WG 5.2 Working Conference,Tokyo, Japan 1-3 October, 1985 /
Publication:
Amsterdam ; New York : North Holland, 1987
. IX, 463 p. :
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
509. |
Expertise transfer for expert system design /
by Boose, John H.
Publication:
Amsterdam : Elsevier, 1986
. VIII, 312 p. ;
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
510. |
Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984 /
Publication:
Berlin : Springer Verlag, 1985
. 202 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
511. |
Future goals of engineering in biology and medicine /
Publication:
New York : Academic Press, 1969
. XV, 359 p. :
24 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
512. |
Readings in medical artificial intelligence : the first decade /
Publication:
Reading (Mass.) : Addison Wesley, 1984
. XVI, 512 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
513. |
Fundamentals of display systems /
by Poole, Harry H.
Publication:
Washington : Spartan Books, 1966
. X, 403 p. :
24 cm.
Date:1966
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
514. |
Explanatory supplement to the astronomical almanac : a revision to the Explanatory supplement to the astronomical ephemeris and the American ephemeris and nautical almanac /
Publication:
Mill Valley : University Science Books, 1992
. XXVIII, 752 p. :
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
515. |
Stochastic modelling and control /
by Davis, M. H. A.
Publication:
London ; New York, 1985
. XII, 393 p. ;
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
516. |
Lectures on stochastic control and nonlinear filtering /
by Davis, M. H. A.
Publication:
Berlin : Springer-Verlag, 1984
. III, 109 p. ;
, Published for the Tata Institute of Fundamental Research
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
517. |
Ecole d'ete de probabilites de Saint-Flour XII, 1982 /
Publication:
Berlin : Springer-Verlag, 1984
. X, 396 p. ;
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
518. |
Knowledge representation for decision support systems : proceedings of the IFIP WG 8.3 Working Conference : Durham, U.K., 24-26 July 1984 /
Publication:
Amsterdam : North-Holland, 1985
. VIII, 267 p. :
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
519. |
Rule-based expert systems : the MYCIN experiments of the Stanford Heuristic Programming Project /
Publication:
Reading : Addison-Wesley, 1984
. XIX, 748 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
520. |
Micro-PROLOG : programming in logic /
by Clark, Keith L.
Publication:
Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984
. XI, 401 p. :
23 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
