首页> 外文OA文献 >International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006

【2h】

International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006

机译：国际自动机，语言和规划学术讨论会：“计算机科学逻辑方法”序言，ICaLp 2006特刊

代理获取

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

页面导航

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

摘要

Preface to the 'Logical Methods in Computer Science', special issue dedicated to ICALP 2006, Track B: Logic, Semantics and Theory of Programming

机译：“计算机科学中的逻辑方法”的前言，专门针对ICALP 2006，专刊B：逻辑，语义和编程理论

著录项

作者
Bugliesi Michele; Sassone Vladimiro;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan [J] . Halldorsson Magnus M., Kobayashi Naoki, Speckmann Bettina Information and computation . 2018,第PTa2期

机译：第42届国际自动机，语言和编程学术讨论会特刊，ICALP 2015，日本京都
2. 46th International Colloquium on Automata, Languages and Programming (ICALP 2019) - Track C: Foundations of networks and multi-agent systems [J] . Paola Flocchini Journal of computer and system sciences . 2021,第May期

机译：第46届国际自动机，语言和编程（ICALP 2019） - 轨道C：网络和多功能系统的基础
3. The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届自动机，语言和程序设计国际学术研讨会（ICALP2005），第二届安全协议分析自动推理研讨会（ARSPA2005）参加报告
4. Status and issues in international accreditation of computer science and engineering programs [C] . King, W.K. . 1997

机译：国际计算机科学与工程程序认证中的现状与问题
5. Perceptions of females in undergraduate computer science/technology programs toward the field of computer science: A mixed methods study. [D] . Smith, Martha. 2012

机译：女性对计算机科学/技术专业本科课程的认识：混合方法研究。
6. Canadian Colloquium on Computer-Assisted Interpretation of Electrocardiograms. IV. Suggested minimal performance requirements and methods of performance evaluation for computer ECG analysis programs. [O] . R. R. Helppi, V. Unite, H. K. Wolf 1973

机译：关于计算机辅助心电图解释的加拿大学术讨论会。 IV。建议的最低性能要求和计算机ECG分析程序的性能评估方法。
7. 8th international colloquium on automata, languages and programming (ICALP 81) July, 13–17, 1981 at Technion, Haifa, Israel (Sponsored by EATCS-the European association for theoretical computer science.) [O] . 1980

机译：第八届自动机，语言和编程国际学术讨论会（ICALP 81）1981年7月13日至17日在以色列海法Technion（由欧洲理论计算机科学协会EATCS赞助。）
8. Automata. Languages and Programming - 24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings. [R] . Degano, P., Gorrieri, R., Marchetti-Spacc, A. 1997

机译：自动机。语言和编程 - 第24届国际学术讨论会，ICaLp '97，意大利博洛尼亚，1997年7月。会议录。

International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅