|
|
|
501. |
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:
|
|
|
502. |
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:
|
|
|
503. |
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:
|
|
|
504. |
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:
|
|
|
505. |
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:
|
|
|
506. |
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:
|
|
|
507. |
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:
|
|
|
508. |
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:
|
|
|
509. |
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:
|
|
|
510. |
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:
|
|
|
511. |
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:
|
|
|
512. |
Introduction to stochastic integration /
by Chung, Kai Lai
Publication:
Boston : Birkhauser, 1983
. XIII, 191. :
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
513. |
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:
|
|
|
514. |
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:
|
|
|
515. |
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:
|
|
|
516. |
La formalizzazione della dialettica : Hegel, Marx e la logica contemporanea /
Publication:
Torino : Rosenberg & Sellier, 1979
. 474 p. ;
21 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
517. |
Simula begin /
Publication:
New York : Petrocelli / Charter, 1973
. 391 p. ;
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
518. |
17. EuroCVD 17 / CVD 17
Publication:
Pennington N.J.: The electrochemical inc; 2009
. XXIII, 638 p.:
, Copertina rigida
23 cm
Date:2009
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
519. |
Laboratory Methodsh
by Fuhrhop Jurgen - Hinrich
Publication:
Amsterdam : Elsevier, 1975
. XIV, 243 p. :
24 cm
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
520. |
Inorganic Chemistry
by Purcell Keith F.
Publication:
Philadelphia : W. B. Saunders Company, 1977
. XIX, 1116 p. :
26 cm
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
