大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 foundations 的图书(共661本)

Critique of practical reason / Immanuel Kant ; edited and translated, with notes and introductions by Lewis White Beck. Foundations of the metaphysics of morals

0
索取号:B82/E991
作者:Kant、 Immanuel、 1724-1804.、Beck、 Lewis White.、
出版社:[Beijing] : China Social Sciences Publishing House, 1999.

Algebraic foundations of many-valued reasoning

0
索取号:O141/E20011
作者:Cignoli、 Roberto.、D'Ottaviano、 Itala M. L.、 1944-、Mundici、 Daniele、 1946-、
出版社:Boston : Kluwer Academic Publishers, 1999.

Foundations of economic analysis

0
索取号:F224.0/E993
作者:Samuelson、 Paul Anthony、 1915-、
出版社:Beijing : China Social Sciences Publishing House, 1999.

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

0
索取号:TP312/E9930
作者:REX School/Workshop (1990 : Noordwijkerhout、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Roever、 W.-P. de.、Rozenberg、 Grzegorz.、
出版社:Berlin ; New York : Springer-Verlag, 1991.

Research foundations in object-oriented and semantic database systems

0
索取号:TP311.13/E9918
作者:
出版社:Englewood Cliffs, NJ : Prentice Hall, 1990.

Modern software engineering : foundations and current perspectives

0
索取号:TP311/E9930
作者:
出版社:New York : Van Nostrand Reinhold, 1990.

Logical foundations of functional programming

0
索取号:TP311/E9918
作者:
出版社:Reading, Mass. : Addison-Wesley, 1990.

Mathematical foundations of programming

0
索取号:TP31/E902
作者:Beckman、 Frank S.、
出版社:Reading, MA : Addison-Wesley, 1980.

Foundations of programming

0
索取号:TP31/E9016
作者:Arsac、 Jacques.、
出版社:London ; Orlando : Academic Press, 1985.

Proceedings, the Sixth Annual IEEE Symposium on Logic in Computer Science [electronic resource] : July 15-18, 1991, Amsterdam, the Netherlands

0
索取号:TP301-53/E991/6
作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.

Proceedings

0
索取号:TP301-53/E991/1986
作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、
出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

0
索取号:O24-53/E803/13
作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、
出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.

Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

0
索取号:TP3-53/E8014/1978
作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、
出版社:Berlin ; New York : Springer-Verlag, 1978.

Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, TatransḱА Lomnica, September 5-9, 1977

0
索取号:TP3-53/E8014/1977
作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、
出版社:Berlin ; New York : Springer-Verlag, 1977.

Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 :proceedings

0
索取号:TP3-53/E8014/1991
作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (16th : 1991 : Kazimierz、 Puławy、 Poland)、Tarlecki、 Andrzej.、
出版社:Berlin ; New York : Springer-Verlag, c1991.

Mathematical foundations of computer science 1990 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1990

0
索取号:TP3-53/E8014/1990
作者:
出版社:Berlin ; New York : Springer-Verlag, 1990,c1986.
最近添加的分类