大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Meeting on Mathematical Aspects of Finite Element Methods 的图书(共4761本)

Numerical methods : a software approach

0
索取号:TP31/E90190
作者:Johnston、 R. L. (Robert L.)、
出版社:New York : Wiley, 1982.

Software prototyping, formal methods, and VDM

0
索取号:TP31/E90193
作者:Hekmatpour、 Sharam、 1961-、Ince、 D. (Darrel)、
出版社:Wokingham, Eng. ; Reading, MA : Addison-Wesley, 1988.

Structured methods through COBOL

0
索取号:TP31/E9068
作者:Grauer、 Robert T.、 1945-、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1983.

Mathematical analysis for modeling

0
索取号:O17/E995
作者:Rosenblatt、 Judah I. (Judah Isser)、 1931-、Bell、 Stoughton、 1923-、
出版社:Boca Raton, Fla. : CRC Press, c1999.

Manual of immunological methods

0
索取号:Q939.91/E992
作者:
出版社:Boca Raton, FL : CRC Press, c1999.

Formal methods of program verification and specification

0
索取号:TP31/E9076
作者:
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1982.

Mathematical foundations of programming

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

Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977

0
索取号:TP31/E8041/3
作者:John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、
出版社:New York : Academic Press, 1977.

Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980

0
索取号:TP302-53/E803/16
作者:Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、
出版社:Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.

Mathematical computer performance and reliability : proceedings of the International Workshop, Pisa, Italy, September 26-30, 1983

0
索取号:TP302-53/E901
作者:
出版社:Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.

Mathematical models for the study of the reliability of systems

0
索取号:TP302/E808
作者:Kaufmann、 A. (Arnold)、 1911-、Grouchko、 Daniel、 joint author.、Cruon、 R.、 joint author.、
出版社:New York : Academic Press, 1977.

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.
最近添加的分类