首页> 外文OA文献 >Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2005. Lecture Notes in Computer Science 3441

【2h】

Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2005. Lecture Notes in Computer Science 3441

机译：软件科学与计算结构基础会议论文集，FossaCs 2005.计算机科学讲义3441

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种 {"code":"de","name":"German","id":7}
中图分类

相似文献

外文文献
中文文献
专利

1. Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover. [J] . Rob Hierons Reviews Editor for STVR Software Testing, Verification and Reliability . 2001,第3期

机译：旋转模型检查和软件验证：2000年8月30日至9月1日，在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集，作者：克劳斯·哈夫伦（Klaus Havelund），约翰·佩尼克斯（John Penix）和威廉·维瑟（Willem Visser）（编辑）。《计算机科学讲义》，第1885卷，由施普林格出版社出版，德国柏林，2000年。ISBN：3-540-41030-9，343页。价格：31.00英镑，62.00美元，德国90.00马克，软封面。
2. Business process management: 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008, Proceedings (Lecture Notes in Computer Science 5240) [J] . Christoph F. Strnadl Computing reviews . 2010,第7期

机译：业务流程管理：第六届国际会议，BPM 2008，意大利米兰，2008年9月2-4日，会议记录（计算机科学讲义5240）
3. The semantic Web: research and applications: Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29-June 1, 2005, Proceedings (Lecture Notes in Computer Science 3532) [J] . R. M. Malyankar Computing reviews . 2007,第11期

机译：语义网：研究与应用：第二届欧洲语义网会议，ESWC 2005，伊拉克利翁，克里特岛，希腊，2005年5月29日至6月1日，会议记录（计算机科学3532的注释）
4. Lecture Notes in Computer Science: An effective index to learn Software Engineering by using ITSS [C] . Rasha El-Agamy, Chikako Morimoto, Kazuhiko Tsuda Annual KES conference . 2012

机译：计算机科学讲座笔记：使用ITSS学习软件工程的有效索引
5. Computational Basis for Phylogenetics and Artificial Intelligence in Fossil Evaluation: The Current and Future Role of Computer Sciences to Paleontology and Evolutionary Sciences. [D] . Safir, Ruben. 2017

机译：化石评估中系统发育学和人工智能的计算基础：计算机科学在古生物学和进化科学中的当前和未来作用。
6. The art and science of selecting graduate students in the biomedical sciences: Performance in doctoral study of the foundational sciences [O] . Hee-Young Park, Oren Berkowitz, Karen Symes, -1

机译：生物医学科学选拔研究生的艺术和科学：基础科学博士研究的表现
7. Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005 [O] . Sassone Vladimiro 2008

机译：软件科学和计算结构的基础：选自FOSSACS 2005的论文
8. Lecture Notes on Foundations for Computer Science [R] . Friedman, J. 1968

机译：计算机科学基础讲义

Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2005. Lecture Notes in Computer Science 3441

著录项

引文网络

相似文献

相关主题

期刊订阅