>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-13 共查到学术机构 Computation相关记录13条 . 查询时间(0.215 秒)
JSAT is a peer reviewed Journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publicat...
1960. 4/yr. 310pp. 18k. 230.00/USD American Mathematical Society ,P. O. Box 6248 ,Providence ,RI 02940 ,USA. TEL : 401-455-4000. FAX :401-331-3824. INDEXED IN :Math. R. ,Abstr. Bull. Inst. Pap. Chem. ...
The goal of the Applied Mathematics and Scientific Computation (AMSC) Program is to promote training in interdisciplinary research. AMSC offers Ph.D. and Master’s degrees with concentrations in either...
The primary goal of the Center for Scientific Computation and Mathematical Modeling is to foster research activity that highlights the interplay between novel computational algorithms and mathematical...
Center for Computation and VisualizationCCV) was established in 1999 with funding from an award from the 1997 NSF MRI program, additional support from Brown University and equipment donations from IB...
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria. Research: Theorema: automatic reasoning in natural style; Numerical and Symbolic Scientific Computing; Syst...
The Research Institute for Symbolic Computationis an institute of the Johannes Kepler University Linz, Austria.Symbolic Computation is for us:algorithmic solutions of mathematical problems, realizatio...
Dr. Franz Winkler, Full Professor, Chairman of the Research Institute for Symbolic Computation at the Johannes Kepler University Linz, Austria. Research Interests: Symbolic and algebraic computation (...
The Center for Computational Mathematics and Scientific Computation (CCMSC) at the University of Haifa was first proposed on March 13, 2001.After deliberations in the Scientific Council of the Researc...
The LMS Journal of Computation and Mathematics, ISSN 1461-1570, an electronic journal published by the London Mathematical Society.The LMS JCM is an open access journal; anyone may browse the online a...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics. Mathematics and computer scien...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...