首页> 外文OA文献 >Graphtheretic concepts in computer science Hartmut Novtemeier, editor, Proceedings of the international workshop WG 80, Bad Honnef, June 1980, Lecture Notes in computer Science, Vol. 100 (Springer-Verlag, Berlin-Heidelberg-New York, 1981). 403 pp.

【2h】

Graphtheretic concepts in computer science Hartmut Novtemeier, editor, Proceedings of the international workshop WG 80, Bad Honnef, June 1980, Lecture Notes in computer Science, Vol. 100 (Springer-Verlag, Berlin-Heidelberg-New York, 1981). 403 pp.

机译：计算机科学中的图形热学概念Hartmut Novtemeier，1980年6月在Bad Honnef召开的国际工作组WG 80研讨会论文集，计算机科学讲座，第1卷。 100（施普林格出版社，柏林-海德堡-纽约，1981年）。 403页。

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

展开▼
年度 1982
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献

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. 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的注释）
3. 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）
4. Graph theory and algorithms N. Saito and T. Nishizeki, editors, Proceedings of the 17th symposium of research institute of electrical communication, Tohoku University, Sendai, Jap October 24-25, 1980, Lecture Notes in Computer Science, Vol. 108 (Springer-Verlag, Berlin-Heidelberg-New York, 1981) 216 pp. [O] . 1982

机译：图论和算法N. Saito和T. Nishizeki，编辑，东北大学电气通信研究所第17届学术会议论文集，仙台，1980年10月24日至25日，计算机科学讲义，第1卷。 108（施普林格出版社，柏林-海德堡-纽约，1981年）216页。
5. Lecture Notes in Computer Science 960. Logic and Computational Complexity.International Workshop Held in Indianapolis, Indiana on October 1994. Selected Papers [R] . Leivant, D., Goos, G., Hermanis, J., 1994

机译：计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文

Graphtheretic concepts in computer science Hartmut Novtemeier, editor, Proceedings of the international workshop WG 80, Bad Honnef, June 1980, Lecture Notes in computer Science, Vol. 100 (Springer-Verlag, Berlin-Heidelberg-New York, 1981). 403 pp.

著录项

引文网络

相似文献

相关主题

期刊订阅