|
|
|
621. |
Robust stabilization against structured perturbations /
by Bhattacharyya, Shankar P.
Publication:
Berlin : Springer-Verlag, 1987
. IX, 172 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
622. |
Discrete mathematics for computing /
by Munro, John E.
Publication:
London : Chapman & Hall, 1992
. IX, 306 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
623. |
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:
|
|
|
624. |
Constructivity in computer science : summer symposium, San Antonio, TX, june 19-22 1991, proceedings /
Publication:
Berlin : Springer Verlag, 1992
. X, 246 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
625. |
Generalized inverses of linear trasformations /
by Campbell, S. L.
Publication:
London ; San Francisco : Pitman, 1979
. VIII, 272 p. ;
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
626. |
Almost sure convergence William F. Stout
by Stout, William F.
Publication:
New York : Academic Press, 1974
. X, 381 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
627. |
Handbook of mathematical functions : with formulas, graphs, and mathematical tables /
Publication:
New York : Dover Publications, 1965
. XIV, 1046 p. :
27 cm.
Date:1965
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
628. |
Categories, types, and structures : an introduction to category theory for the working computer scientist /
by Asperti, Andrea
Publication:
Cambridge : The Mit Press, 1991
. XI, 307 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
629. |
Measurement error models /
by Fuller, Wayne A.
Publication:
New York : Wiley, 1987
. XXIII, 440 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
630. |
Numerical studies in nonlinear filtering /
by Yavin, Yaakov
Publication:
New York : Springer-Verlag, 1985
. VII, 273 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
631. |
Representation and reality /
by Putnam, Hilary
Publication:
Cambridge : The MIT Press, 1988
. XV, 136 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
632. |
Modern spectral estimation : theory and application /
by Kay, Steven M.
Publication:
Englewood Cliffs, [N.J.] : Prentice Hall, 1988
. XV, 543 p. :
, + 1 computer disk (5 1/4 in.) Disk in pocket. System requirements for computer disk: IBM PC, XT, AT, or PC compatibles; MS-DOS 2.1 or higher.
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
633. |
CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 399 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
634. |
Category theory and computer science : proceedings, Manchester, UK, September 5-8, 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 365 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
635. |
Vol. 1
Publication:
Cambridge : Cambridge University Press, 1986
. XX, 818 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
636. |
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:
|
|
|
637. |
Discrete mathematical structures with applications to computer science /
by Tremblay, Jean Paul
Publication:
New York : McGraw-Hill, 1975
. XVI, 606 p. :
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
638. |
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:
|
|
|
639. |
Martingales and stochastic integrals /
by Kopp, P. E.
Publication:
Cambridge ; New York : Cambridge University Press, 1984
. XI, 202 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
640. |
Brains, machines, and mathematics /
by Arbib, Michael A.
Publication:
New York : Springer-Verlag, 1987
. XVI, 202 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
