该研究档案提供了对过去问题发表的所有研究文章的访问。
数百万计算机最终用户需要在大型电子表格数据上执行任务,但缺乏自动执行此类任务的编程知识。我们提出了一种方法,允许最终用户自动化此类重复性任务......
计算机科学家长期以来,该软件用一种基本的方式与物理系统不同:虽然后者具有连续动态,前者不。在本文中,我们认为连续性的概念......
随着信息技术渗透我们的社会,更广泛的用户已经开发了需要更复杂的数据操纵和处理。以下文件侧重于重要的新兴区域......
证明程序的正确性通常是全无或无关的游戏。