用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第401-410项 搜索用时 45 毫秒
[首页] « 上一页 [36] [37] [38] [39] [40] 41 [42] [43] [44] [45] [46] 下一页 » 末  页»
401.
宏基电脑与美国商业机器（IBM）公司近期完成谈判，双方签订了技术交工授权协定，内容为相互授权对方使用彼此在全世界之专利技术，这是继今年初，宏基电脑与中央处理器厂商Ined公司签订技术交在授权协定后，再次与重量级大公司所达成的交互授权协议。而宏基也是台湾第一家与IBM签订专利技术相… …   相似文献
402.
全球著名的存储管理软件的供应商，美国夏思电脑软件公司宣布，它的InocuLAN产品已得到北京市公安局计算机监察处的审核批准。ITlocl－－－ra．an是一个功能强大的防病毒解决方案，非常适合企业使用于Nenyare和WindOWNT的网络环境。它的WindOWS界面，实时扫描及… …   相似文献
403.
H匕京1996年6月25日讯．．J继6月7日在全国八大主要城市成功发布IBMPC100P75系列台式机之后，从今天开始到8月底，IBM又在全国其他十八个大中城市举办巡回展示会。今天，IBMPC首先在云南省昆明市拉开了18城市巡回展的序幕。中国地域广阔，行业众多，因此完善的代理经销… …   相似文献
404.
无论是帧交换，还是ATM交换，BayNetworks都是独领风骚。这是人们听完BayNetworks“迎接交换式互连网的新时代”大型技术报告会后的体会。这次报告会的讲题包括交换技术的现状分析、交换与路由器的演变、管理交换式网络、交换产品及应用以及交换技术的未来等广泛内容，美国专家… …   相似文献
405.
本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是有穷的，部分演绎必定终止，耐用Ｐ’带有抽象解释估算出的关行其运行性质的信息，便于对Ｐ’作进一步优化… …   相似文献
刘椿年 《软件学报》1994,5(11):31-37
406.
本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化和左线性递归计算算法一样，本提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则，算法的有效性也在本作简略讨论。  相似文献
范明 《软件学报》1994,5(1):56-61
407.
本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。  相似文献
408.
1994年2月25日，国际商业机器中国有限公司与中国长城计算机集团公司正式在北京宣布组建一家合资企业。该企业将生产、销售个人计算机并提供全面的服务。命名为深圳长城国际信息产品有限公司的合资企业，初期将生产IBMPS／ValuePoint系列产品和长城系列微机。随着企业的发展，今后… …   相似文献
409.
1994年5月6日IBM用户协会和中国IBM公司联合召开了用户需求研讨会．此次会议主要目的是了解用户在IBM计算机系统应用中存在的各种需求，例如，系统软件更新、维修服务支持、另配件等方面的需求。与会代表发言踊跃，就以下方面提出了各种意见和要求：·有些使用IBM大型机系统的用户很关… …   相似文献
410.
CISCO系统公司已推出一种新的联网结构，为把目前以路由选择为基础的网络与正在出现的诸如异步转移模式（ATM）、局域网（LAM）交换和虚拟LAN等交换技术为一体而描绘出一幅蓝图。CiscoFusinn使用智能多层交换来支持一个用户矩阵，从那些共用传统中心的以太网用户转为那些希望专… …   相似文献
[首页] « 上一页 [36] [37] [38] [39] [40] 41 [42] [43] [44] [45] [46] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持