|
|
|
361. |
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse /
by Benthem, John F. A. van
Publication:
Dordrecht ; Boston : Reidel Pub. Co., 1983
. XVI, 260 p. :
23 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
362. |
Vol. 1: Abstracts , extended abstracts
Publication:
Amsterdam : Elsevier, 1987
. XXV, 554 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
363. |
Electronic digital systems /
by Richards, Richard Kohler
Publication:
New York : Wiley, 1966
. IX, 637 p. :
24 cm.
Date:1966
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
364. |
Vol. 2
by Chung, Edward K.
Publication:
Baltimore : Williams & Wilkins, 1982
. XI, 450 p. :
16x23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
365. |
Logic programming /
Publication:
London ; New York : Academic Press, 1982
. XVII, 366 p. :
, Based on the proceedings of the first International Workshop on Logic Programming, held in Debrecen, Hungaryin 1980.
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
366. |
Complex arrhythmias : self assessment /
by Chung, Edward K.
Publication:
Basel : Karger, 1985
. XIII, 308 p. ;
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
367. |
Control systems /
by Sinha, Naresh Kumar
Publication:
New York : Holt, 1986
. XIII, 493 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
368. |
New stochastic methods in physics /
Publication:
Amsterdam : North-Holland, 1981
. 259 p. ;
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
369. |
Phonetic symbol guide /
by Pullum, Geoffrey K.
Publication:
Chicago : The University of Chicago Press, 1986
. XXX, 266 p. :
21 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
370. |
Treatise on the shift operator : spectral function theory /
by Nikolskii, Nikolai K.
Publication:
Berlin ; New York : Springer-Verlag, 1986
. XI, 491 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
371. |
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:
|
|
|
372. |
Probability theory and mathematical statistics : proceedings of the fourth USSR-Japan Symposium, held at Tbilisi, USSR, August 23-29, 1982 /
Publication:
Berlin : Springer-Verlag, 1983
. VIII, 746 p. ;
25 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
373. |
Spaces of analytic functions : seminar held at Kristiansand, Norway, June 9-14, 1975 /
Publication:
Berlin : Springer-Verlag, 1976
. VIII, 204 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
374. |
Lectures on stochastic processes : notes by K. Muralidhara Rao /
by Ito, Kiyosi
Publication:
Berlin : Springer-Verlag, 1984
. III, 233 p. ;
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
375. |
Robot technology and applications : proceedings of the 1st Robotics Europe Conference, Brussels, June 27-28 , 1984 /
Publication:
Berlin ; New York : Springer-Verlag, 1985
. X, 199 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
376. |
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:
|
|
|
377. |
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:
|
|
|
378. |
Catastrophe theory /
by Arnold, Vladimir Igorevich
Publication:
Berlin ; New York : Springer-Verlag, 1984
. 78 p. :
21 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
379. |
Diabete mellito : attualita' in clinica e terapia /
Publication:
Roma : Il Pensiero Scientifico, 1983
. 410 p. ;
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
380. |
Syntactic pattern recognition and applications /
by Fu, King Sun
Publication:
Englewood Cliffs : Prentice-Hall, 1982
. VIII, 596 p. :
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
