简介：作为老板的秘书，应该养成随时用Outlook的日历记录老板日程安排的习惯。通常使用日历安排约会，都是安排自己的事务，如果帮老板进行安排，可以在创建约会时，在窗口左下角的联系人中输入或选择老板的姓名，这样日程安排就与老板挂钩了。
简介：
简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.
简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。
简介：随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。
简介：信息化与工业化融合发展是当前中国经济发展的核心问题。如果首先实现部门融合。将有助于促进信息化与工业化融合。但要真正实现二者的融合发展，还需要在产业层面打破垄断。成立于1998年的信息产业部今年有了一个全新的名字：工业和信息化部。
文秘 及时掌握老板未来的活动安排
有计划就不怕变化——用Outlook管理工作计划和日程安排
协议形式化描述与一致性验证研究
欧洲高校计算机专业的形式化方法课程教学
面向考古的形式领域本体及其在知识获取和分析中的应用
加速实现信息化与工业化融合步伐，促进企业发展和天津经济腾飞——2007年全市工业企业信息化工作总结和2008年工作安排
