热门站点| 世界资料网 | 专利资料网 | 世界资料网论坛
收藏本站| 设为首页| 首页

A UNIFIED FORMAL SPECIFICATION AND ANALYSIS OF THE NEW JAVA MEMORY MODELS

作者:科技文献资料网 时间:2018-10-19 21:03:32  浏览:9850   来源:科技文献资料网
下载地址: 点击此处下载
[唯一标识符]:CDSTIC.ISTP.216162
[文献来源]:科学技术会议录索引(ISTP)
[文献类型]:科技会议
[标题]:A UNIFIED FORMAL SPECIFICATION AND ANALYSIS OF THE NEW JAVA MEMORY MODELS
[作者]:V AWHAD;C WALLACE
[出版单位]:SPRINGER-VERLAG BERLINBERLIN
[ISSN_ISBN]:3-540-00624-9
[会议名称]:10th International Workshop on Abstract State Machines,TAORMINA, ITALY,March 3-7, 2003
[来源]:ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS,pp 166-185
[系列名称]:LECTURE NOTES IN COMPUTER SCIENCE
[编辑者]:EE Borger;A Gargantini;E Riccobene
[主办单位]:Microsoft Res;Proteo SpA;Univ Catania;Univ Pisa
[地址]:V AWHAD,MICHIGAN_TECHNOL_UNIV, DEPT COMP SCI, HOUGHTON, MI 49931 USA
[专业领域]:COMPUTER SCIENCE, THEORY & METHODS
下载地址: 点击此处下载
[文献类型]:科技报告
[标题]:Full Steam Ahead for the New NATO Invitees.
[作者]:N. W. Behner;
[机构]:Air Command and Staff Coll., Maxwell AFB, AL.
[关键词]:nato,international politics,economics,poland,czech republic,hungary,government(foreign), military forces(foreign), democracy,
[出版年份]:2002
[报告号]:AU/ACSC/010/1999-04
[报告时间]:Apr 1999,
[页码]:39p
[馆藏索取号]:AD-A395159MF
[总页数]:39


[文献类型]:科技报告
[标题]:Vortex Dynamics.
[作者]:zabusky, n. j.
[机构]:Pittsburgh Univ.,PA. Dept. of Mathematics and Statistics.*Army Research Office,Research Triangle Park,NC.
[关键词]:vortices,equations of motion,axisymmetric,synergism,boundaries,evolution(general),steady state,rotation,modulation,mathematical models,two dimensional,modulation,tangents,algorithms,contours,dynamics,euler equations,computational synergetics,ntisdodxa,ntisdoda
[出版年份]:1985
[报告时间]:15Dec 84,
[页码]:9p
[馆藏索取号]:AD-A151278
[总页数]:9



版权声明:所有资料均为作者提供或网友推荐收集整理而来,仅供爱好者学习和研究使用,版权归原作者所有。
如本站内容有侵犯您的合法权益,请和我们取得联系,我们将立即改正或删除。
信息产业部备案号:京ICP备09025792号