|
|
341. |
Nervous system theory : an introductory study /
by Leibovic, K. N.
Publication:
New York : Academic Press, 1972
. XI, 294 p. ;
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
342. |
Measurement and control in bioprocessing /
Publication:
London ; New York : Elsevier Applied Science, 1991
. 259 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
343. |
Ecole d'ete' de probabilites de Saint Flour X 1980 /
Publication:
Berlin : Springer, 1982
. VI, 313 p. ;
25 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
344. |
Integration of robots into CIM /
Publication:
London : Chapman and Hall, 1992
. XIV, 349 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
345. |
Modeling and parameter estimation in respiratory control /
Publication:
New York ; London : Plenum Press, 1989
. X, 208 p. ;
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
346. |
Neural net applications and products /
by Miller, Richard K.
Publication:
Madison, [Ga.] : SEAI Technical Publications ; Amherst, 1990
. 347 p. :
28 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
347. |
Artificial neural systems : foundations, paradigms, applications, and implementations /
by Simpson, Patrick K.
Publication:
New York : Pergamon Press, 1989
. XIV, 210 p. ;
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
348. |
Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /
Publication:
Berlin : Springer Verlag, 1990
. VIII, 307 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
349. |
Introduction to random differential equations and their applications /
by Srinivasan, S. Kidambi
Publication:
New York : American Elsevier Pub. Co., 1971
. XII, 166 p. :
24 cm.
Date:1971
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
350. |
Multivariable control : an introduction /
by Sinha, Pradip K.
Publication:
New York : M. Dekker, 1984
. XXI, 688 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
351. |
Il linguaggio come semiotica sociale : un'interpretazione sociale del liguaggio e del significato /
by Halliday, Michael Alexander Kirkwood
Publication:
Bologna : Zanichelli, 1983
. IV, 282 p. :
21 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
352. |
Tutorial on robotics /
by Lee, C. S. G.
Publication:
Washington : IEEE Computer Society Press, 1986
. XII, 731 p. ;
28 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
353. |
The design and implementation of the 4.3 BDS Unix Operating System /
by Leffler, Samuel
Publication:
Reading, (Ma) : Addison-Wesley, 1989
. XII, 471 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
354. |
Foundations of software technology and theoretical computer science : eight conference, Pune, India, december 21-23, 1988 /
Publication:
Berlin : Springer Verlag, 1988
. IX, 519 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
355. |
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:
|
|
|
356. |
Ballistocardiography : research and computer diagnosis /
Publication:
Basel : S. Karger, 1973
. VI, 121 p. ;
25 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
357. |
Essays in logical semantics /
by Benthem, John A. K. van
Publication:
Dordrecht ; Boston : D. Reidel Pub. Co., 1986
. XI, 225 p. ;
23 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
358. |
Automated theorem-proving in non-classical ligics /
by Thistlewaite, Paul B.
Publication:
London : Pitman ; New York : Wiley, 1988
. 154 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
359. |
Programming with sets : an introduction to SETL /
Publication:
New York : Springer-Verlag, 1986
. XV, 493 p :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
360. |
Machine intelligence and knowledge engineering for robotic applications /
Publication:
Berlin ; New York : Springer-Verlag, 1987
. XIV, 486 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|