|
|
|
1. |
Category theory and computer science : proceedings ; Paris, France 3-6, 1991 /
Publication:
Berlin : Springer-Verlag, 1991
. 301 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
Publication:
Berlin : Springer-Verlag, 1984
. XI, 581 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Logic, methodology and philosophy of science : proceedings of the 1964 international congress /
Publication:
Amsterdam : North-Holland, 1972
. VIII, 440 p. :
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
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:
|
|
|
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. |
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:
|
|
|
7. |
Human and machine vision /
Publication:
New York : Academic Press, 1983
. XI, 567 p. :
, "Proceedings of the Conference on Human and Machine Vision held in Denver, Colorado, in August 1981, sponsored by theNational Science Foundation"--Verso of t.p.
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1982
. XIV, 856 p. ;
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Part I
Publication:
Berlin ; New York : Springer-Verlag, 1974
. X, 497 p. ;
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Stochastic differential systems : filtering and control : proceedings of the IFIP-WG 7 /
Publication:
Berlin ; New York : Springer-Verlag, 1985
. VIII, 322 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Publication:
Berlin : Springer Verlag, 1977
. 542 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
12. |
Part II
Publication:
Berlin ; New York : Springer-Verlag, 1974
. X, 497 p. ;
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
