大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

0
索取号:TP3-53/E996/1997
作者:
出版社:Berlin ; New York : Springer, c1997.

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

0
索取号:TP301-532/E991/4
作者:LFCS ʼ97 (4th : 1997 : Yaroslavĺ、 Russia (City))、Ad︠i︡an、 S. I.、Nerode、 Anil、 1932-、
出版社:Berlin : Springer, c1997.

Representation theory and algebraic geometry

0
索取号:O187/E994
作者:
出版社:London ; New York : Cambridge University Press, 1997.

A course in large sample theory

0
索取号:O212.2/E991
作者:
出版社:London ; New York : Chapman & Hall, 1996.

Virtual Reality Annual International Symposium '95 : proceedings, March 11-15, 1995, Research Triangle Park, North Carolina

0
索取号:TP391.4-532/E9919/1995
作者:
出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1995.

Proceedings of the 12th Symposium on Computer Arithmetic : July 19-21, 1995, Bath, England

0
索取号:TP3-53/E997/12
作者:Symposium on Computer Arithmetic (12th : 1995 : Bath、 England)、Knowles、 Simon.、McAllister、 William H.、IEEE Computer Society. Technical Committee on VLSI.、
出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1995.

Lexico-logical form : a radically minimalist theory

0
索取号:H04/E996
作者:
出版社:Cambridge, Mass. : MIT Press, c1995.

Shakespeare's theory of drama

0
索取号:I561.073/E994
作者:
出版社:Cambridge ; New York : Cambridge University Press, 1996.

The theory of value, capital, and interest : a new approach

0
索取号:F014.3/E994
作者:
出版社:Aldershot, Hants, England ; Brookfield, Vt., USA : Edward Elgar, c1995.

Neural network models : theory and projects

0
索取号:TP18/E9914.2
作者:
出版社:London ; New York : Springer, c1997.

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

0
索取号:TP311.52-532/E20021/1996
作者:
出版社:Berlin ; New York : Springer, 1996.

Low-dimensional models in statistical physics and quantum field theory : proceedings of the 34. Internationale UniversiẗАtswochen f̈Уr Kern- und Teilchenphysik, Schladming, Austria, March 4-11, 1995

0
索取号:O414.2-532/E992
作者:
出版社:Berlin ; New York : Springer, 1996.

Cognitive behaviour therapy for psychosis : theory and practice

0
索取号:R749.05/E994
作者:
出版社:Chichester ; New York : Wiley, c1995.

Qualitative problems for differential equations and control theory

0
索取号:O175.12/E991
作者:
出版社:Singapore ; River Edge, NJ : World Scientific, c1995.

Broadcasting enters the marketplace : proceedings of the 24th University of Manchester Broadcasting Symposium

0
索取号:G229.561/E992
作者:University of Manchester. Broadcasting Symposium (24th : 1993)、Miller、 Nod.、Allen、 Rod、 1943-、
出版社:London : Libbey, c1994.

The economics of European integration : theory, practice, policy

0
索取号:F116.7/E998
作者:
出版社:Aldershot, Hants, England ; Brookfield USA : Dartmouth Pub. Co., c1990.
最近添加的分类