|
|
|
1. |
Vol. 2
Publication:
New York : Wiley-Interscience, 1969
. VI, 298 p. :
24 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Vol. 1
Publication:
New York : Wiley-Interscience, 1969
. VI, 260 p. :
24 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Nuove fonti energetiche : atomo, sole, acqua, terra, fuoco, vento... /
by Larsen, Egon
Publication:
Milano : SugarCo Edizioni, 1981
. 191 p. ;
21 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /
Publication:
Berlin : Springer Verlag, 1992
. VIII, 428 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
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:
|
|
|
6. |
Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 456 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Dense Gases for extraction and refining /
by Stahl, Egon
Publication:
Berlin : Springer-Verlag, 1988
. 237 p. :
, Traduzione di M.R.F. Ashworth
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
