首页> 美国政府科技报告 >Proceedings of the First International Conference on Algebraic Methodology and Software Technology, May 22-24, 1989, The University of Iowa, Iowa City, Iowa.

【24h】

Proceedings of the First International Conference on Algebraic Methodology and Software Technology, May 22-24, 1989, The University of Iowa, Iowa City, Iowa.

机译：1989年5月22日至24日在爱荷华州爱荷华市爱荷华大学举行的第一届代数方法和软件技术国际会议论文集。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Partial contents include: (1) Minimal Finite Transition Systems, (2) Algebra of Communicating Processes, (3) Display of Graphics and their Applications, as Exemplified by 2- Categories and Hegelian Taco, (4) The Stratified Loose Semantics: An Attempt to Provide an Adequate Algebraic Model of Modularity, (5) Algebraic Concepts for the Evolution of Module Families, (6) An Algebraic Approach to the Early Stages of Language Design, (7) Algebraic Methods in Programming Language Theory, (8) Dynamic Extension of Programming Language Semantics, (9) Modeling Distributed Systems as Distributed Data Types, (10) A formal Mathematical Model for Detecting the Subroutine Dependencies: A Logic Programming Approach, (11) The CCS Interface Equation - An Example of Specification Construction Using Rigorous Techniques, (12) Polymorphism and A- Calculus, (13) Implementing Mathematics as an Approach for Formal Reasoning, (14) Pairings on Lambda Algebras, and (15) Constructor Models as Abstract Data Types.

著录项

作者
Fleck, A.; Kirk, W. A.;
展开▼
作者单位

展开▼
年度 1989
页码 1-199
总页数 199
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Mathematical models; Software engineering; Meetings; Distributed data processing; Computer logic; Computer programming; Programming languages; Semantics; Mathematical logic; Parallel processing; Subroutines; Automata; CCS(Calculus of Communicating Systems);

机译：数学模型;软件工程;会议;分布式数据处理;计算机逻辑;计算机编程;编程语言;语义学;数学逻辑;并行处理;子程序;自动机; CCs（通信系统微积分）;

相似文献

外文文献
中文文献

1. Atlas of Anatomy and Surgical Approaches in Orthopaedic Surgery. Volume Two—Lower Extremity. By Rodolfo Cosentino, M.D., Assistant Professor in Orthopaedic Surgery, University of La Plata, Argentina; Research Associate, Department of Orthopaedic Surgery, State University of Iowa, Iowa City. With a Preface by Carroll B. Larson, M.D., Professor and Head, Department of Orthopaedic Surgery, State University of Iowa. 11? x 9 in. Pp. xii + 264, with 139 figures, 1960. Springfield, Illinois: Charles C. Thomas, Publisher. Oxford: Blackwell Scientific Publications Ltd. Toronto: The Ryerson Press. Price ￡5, 12s [J] . J. I. P. James The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1961,第4期

机译：骨外科的解剖学和手术方法图集。第二卷-下肢。阿根廷拉普拉塔大学骨科外科助理教授Rodolfo Cosentino，医学博士;爱荷华州立大学爱荷华州立大学整形外科系研究员。爱荷华州立大学骨科外科系教授兼系主任Carroll B. Larson博士作序。 11？ x 9英寸Pp。 xii + 264，含139个数字，1960年。伊利诺伊州斯普林菲尔德：查尔斯·托马斯（Charles C. Thomas），出版商。牛津：布莱克威尔科学出版有限公司。多伦多：瑞尔森出版社。价钱￡ 5，12s
2. The Care of Minor Hand Injuries. By Adrian E. Flatt, M.A., M.D., F.R.C.S., F.A.C.S., Associate Professor of Orthopedic Surgery, University of Iowa, Iowa City, Iowa. With forewords by Carroll B. Larson and Sir Reginald Watson-Jones. Second edition. 10x7 in. Pp. 274, with 120 figures. Index. 1963. Saint Louis: The C. V. Mosby Company. London: Henry Kimpton. Price 78s. 6d [J] . Ronald Furlong The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1964,第1期

机译：轻微手部受伤的护理。美国爱荷华州爱荷华州爱荷华大学骨科外科副教授Adrian E.Flatt，M.A.，M.D.，F.R.C.S.，F.A.C.S.摘自Carroll B. Larson和Reginald Watson-Jones爵士的序言。第二版。 10x7英寸Pp。 274个，有120个数字。指数。 1963年。圣路易斯：C。V. Mosby公司。伦敦：亨利·金普顿。价格78s。 6天
3. Lectures on the Interpretation of Pain in Orthopaedic Practice. By Arthur Steindler, M.D., (Hon.) F.R.C.S.(Eng.), F.A.C.S., (Hon.) F.I.C.S., Professor Emeritus, Orthopaedic Surgery, State University of Iowa Medical School, Iowa City, Iowa. With Anatomical Dissections by Dr Rodolfo Cosentino, La Plata, Argentina. 10? x 7 in. Pp. xvii+733, with many figures. Index. 1959. Springfield, Illinois: Charles C. Thomas, Publisher. Oxford: Blackwell Scientific Publications Ltd. Price ￡7, 8s [J] . Norman Capener The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1960,第2期

机译：骨科实践中的疼痛解释讲座。医学博士Arthur Steindler，医学博士（荣誉）F.R.C.S.（工程学），F.A.C.S.，（荣誉）F.I.C.S.，爱荷华州立大学爱荷华医学院医学院名誉教授，爱荷华州爱荷华州。阿根廷拉普拉塔的Rodolfo Cosentino博士进行解剖解剖。 10个？ x 7英寸Pp。 xvii + 733，有很多数字。指数。 1959年。伊利诺伊州斯普林菲尔德：查尔斯·托马斯（Charles C. Thomas），出版商。牛津：Blackwell Scientific Publications Ltd.价格￡ 7，8s
4. Department of Computer Science, University of Iowa, Iowa City, IA 52242, USA [C] . P. Flocchini, L. Pagli, G. Prencipe, International Conference on Principles of Distributed Systems . 2005

机译：爱荷华州爱荷华大学计算机科学系，IA 52242，美国
5. Using policy analysis to examine the conflict between technology diffusion and budget cutbacks in the California State University system and the university systems of Georgia and Iowa. [D] . Nadel, Jeffrey. 2004

机译：使用策略分析来检查加利福尼亚州立大学系统以及乔治亚州和爱荷华州大学系统中技术传播与预算削减之间的冲突。
6. Cost-effective health information systems: user-driven internal development at the University of Iowa. [O] . J. R. Flanagan, J. D. Olson, J. R. Wagner, 1995

机译：经济高效的健康信息系统：爱荷华大学以用户为导向的内部开发。
7. Algebraic Methodology and Software Technology (AMAST’93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 [O] . 1993

机译：代数方法和软件技术（amasT'93）：1993年6月21日至25日荷兰恩斯赫德特文特大学第三届代数方法和软件技术国际会议论文集

Proceedings of the First International Conference on Algebraic Methodology and Software Technology, May 22-24, 1989, The University of Iowa, Iowa City, Iowa.

摘要

著录项

相似文献

相关主题

期刊订阅