扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
计算机科学与软件研究-李未院士七十华诞纪念文集 版权信息
- ISBN：9787030374738
- 条形码：9787030374738 ; 978-7-03-037473-8
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 所属分类：>
计算机科学与软件研究-李未院士七十华诞纪念文集 本书特色
《计算机科学与软件研究--李未院士七十华诞纪念文集(精)》由怀进鹏、徐宝文、许可主编，内容涉及国内外学者撰写的计算机科学与软件研究领域的论文49篇，涉及计算机基础与理论、计算机系统与结构、软件技术、网络与大数据、计算机应用技术等方面所取得的研究成果，可供从事计算机科学和软件研究的科研人员、工程技术人员参考，也可供相关学科的研究人员、大专院校师生阅读。
计算机科学与软件研究-李未院士七十华诞纪念文集 内容简介
为庆祝李未院士七十华诞，本书收录国内外学者撰写的计算机科学与软件研究领域的论文49篇，主要反映这些学者近年来在计算机基础与理论、计算机系统与结构、软件技术、网络与大数据、计算机应用技术等方面所取得的研究成果，以及对相关领域的综述与总结。
本书可供从事计算机科学和软件研究的科研人员、工程技术人员参考，也可供相关学科的研究人员、大专院校师生阅读。
计算机科学与软件研究-李未院士七十华诞纪念文集 目录
问学求道五则(代序)
综述
面向网络的软件技术:现状与趋势 梅宏,刘譞哲
人工智能发展趋势:混合智能研究 吴朝晖,潘纲,郑能干
smt及其扩展问题 马菲菲,张健
service-oriented development wang andy,zheng guangzhi
intelligent transportation systems for smart cities:a progress review xiong zhang,sheng hao,rong wenge,cooper dave e
浅谈跨学科计算思维教学的认识与实践 李晓明
基础与理论
new algorithmic techniques in parameterized computation chen jian?er
simultaneous maximal contractions and simultaneously maximally consistent subsets of theories sui yuefei,li wei
local search with edge weighting and configuration checking heuristics for minimum vertex cover cai shaowei,su kaile,sattar abdul
automata-based analysis of stage suspended boom systems he anping,wu jinzhao,zhou yongquan,yang shihan
一类异步连接的消息序列图规约的时间性质分析 潘敏学,李宣东
中介真值程度的度量及其应用的回顾 洪龙
on the decidability of open logic zhang wei
from quantum computing device to quantum software wu nan,hu haixing,song fangmin,zheng huimin,li xiangdong
formal semantics and verification of aadl modes in timed abstract state machine yang zhibin,hu kai,ma dianfu,pi lei,bodeveix jean-paul
安全苛刻系统自动化测试的形式化语义模型及性质 吕江花,马世龙,李先军
r-calculus without the cut rule luo jie,li wei
系统与结构
桌面虚拟化:探索与实现 廖小飞,金海,刘海坤,邓莉
using kernel coupling to predict the performance of parallel applications wu xingfu,taylor valerie,geisler jonathan,stevens rick
一种基于光谱空间几何特性的高光谱图像快速鲁棒解混方法 张艳宁,张海超,段锋
adaptive controller for dynamic power and performance management in the virtualized computing systems wen chengjian,long xiang,mu yifen
a flexible attribute based access control method for grid computing lang bo,foster ian,siebenlist frank,ananthakrishnan rachana,freeman tim
simulation of power consumption of cloud data centers luo liang,wu wenjun,tsai wei-tek,di dichen,zhang fei
软件技术
a tetrahedral data model for unstructured data management li wei,lang bo
internetware:a shift of software paradigm lv jian,ma xiaoxing,huang yu,cao chun,xu feng
starbus+:distributed object middleware practice for internet computing wang huaimin,wang yufeng,tang yangbin
xml语义定义语言 林作铨,刘升平,李未
crosstalk aware register reallocation method for green compiling chen yong,he yanxiang,xu chao,chen nian,wu wei,li qing’an
automated program debugging via multiple predicate switching liu yongmei,li bing
使用ptccs 的web 服务组合功能性和非功能性方面的统一建模 黄志球,肖芳雄
面向特征的软件分析与测试方法研究 刘超,晏海华,何智涛
examining the potentially confounding effect of class size on the associations between object-oriented metrics and change-proneness zhou yuming,leung hareton,xu baowen
a revisit of fault class hierarchies in general boolean specifications chen zhenyu,chen tsongyueh,xu baowen
网络与大数据
(ε,δ)-approximate aggregation algorithms in dynamic sensor networks li jianzhong,cheng siyao
graph pattern matching revised for social network analysis fan wenfei
the small-community phenomenon in networks li angsheng,peng pan
制造网格中的自动双赢服务协商模型 孟祥旭,潘丽
基于模型检测的无线传感网安全协议形式化分析与改进 陈铁明,何卡特,江颉
block compressive sensing in data gathering for large-scale wireless sensor networks liu yanlei,li huan
distributed graph pattern matching ma shuai,cao yang,huai jinpeng,wo tianyu
inconsistency between maximum information entropy and homophily in social networks zhao jichang,liang xiao,xu ke
应用技术
region-based rate-control for h.264/avc for low bit-rate applications hu haimiao,li bo,lin weiyao,li wei,sun mingting
a heuristic path-estimating algorithm for large-scale real-time traffic information calculating lv weifeng,zhu tongyu,wu dongdong,dai hong,huang jian
combining tensor space analysis and active appearance models for aging effect simulation on face images wang yunhong,zhang zhaoxiang,li weixin,jiang fangyuan
tl-tree:flash-optimized storage for time-series sensing data on sensor platforms li huan,liang dong,xie lihui,zhang gong,ramamritham krithi
three-dimensional deformable-model-based localization and recognition o
综述
面向网络的软件技术:现状与趋势 梅宏,刘譞哲
人工智能发展趋势:混合智能研究 吴朝晖,潘纲,郑能干
smt及其扩展问题 马菲菲,张健
service-oriented development wang andy,zheng guangzhi
intelligent transportation systems for smart cities:a progress review xiong zhang,sheng hao,rong wenge,cooper dave e
浅谈跨学科计算思维教学的认识与实践 李晓明
基础与理论
new algorithmic techniques in parameterized computation chen jian?er
simultaneous maximal contractions and simultaneously maximally consistent subsets of theories sui yuefei,li wei
local search with edge weighting and configuration checking heuristics for minimum vertex cover cai shaowei,su kaile,sattar abdul
automata-based analysis of stage suspended boom systems he anping,wu jinzhao,zhou yongquan,yang shihan
一类异步连接的消息序列图规约的时间性质分析 潘敏学,李宣东
中介真值程度的度量及其应用的回顾 洪龙
on the decidability of open logic zhang wei
from quantum computing device to quantum software wu nan,hu haixing,song fangmin,zheng huimin,li xiangdong
formal semantics and verification of aadl modes in timed abstract state machine yang zhibin,hu kai,ma dianfu,pi lei,bodeveix jean-paul
安全苛刻系统自动化测试的形式化语义模型及性质 吕江花,马世龙,李先军
r-calculus without the cut rule luo jie,li wei
系统与结构
桌面虚拟化:探索与实现 廖小飞,金海,刘海坤,邓莉
using kernel coupling to predict the performance of parallel applications wu xingfu,taylor valerie,geisler jonathan,stevens rick
一种基于光谱空间几何特性的高光谱图像快速鲁棒解混方法 张艳宁,张海超,段锋
adaptive controller for dynamic power and performance management in the virtualized computing systems wen chengjian,long xiang,mu yifen
a flexible attribute based access control method for grid computing lang bo,foster ian,siebenlist frank,ananthakrishnan rachana,freeman tim
simulation of power consumption of cloud data centers luo liang,wu wenjun,tsai wei-tek,di dichen,zhang fei
软件技术
a tetrahedral data model for unstructured data management li wei,lang bo
internetware:a shift of software paradigm lv jian,ma xiaoxing,huang yu,cao chun,xu feng
starbus+:distributed object middleware practice for internet computing wang huaimin,wang yufeng,tang yangbin
xml语义定义语言 林作铨,刘升平,李未
crosstalk aware register reallocation method for green compiling chen yong,he yanxiang,xu chao,chen nian,wu wei,li qing’an
automated program debugging via multiple predicate switching liu yongmei,li bing
使用ptccs 的web 服务组合功能性和非功能性方面的统一建模 黄志球,肖芳雄
面向特征的软件分析与测试方法研究 刘超,晏海华,何智涛
examining the potentially confounding effect of class size on the associations between object-oriented metrics and change-proneness zhou yuming,leung hareton,xu baowen
a revisit of fault class hierarchies in general boolean specifications chen zhenyu,chen tsongyueh,xu baowen
网络与大数据
(ε,δ)-approximate aggregation algorithms in dynamic sensor networks li jianzhong,cheng siyao
graph pattern matching revised for social network analysis fan wenfei
the small-community phenomenon in networks li angsheng,peng pan
制造网格中的自动双赢服务协商模型 孟祥旭,潘丽
基于模型检测的无线传感网安全协议形式化分析与改进 陈铁明,何卡特,江颉
block compressive sensing in data gathering for large-scale wireless sensor networks liu yanlei,li huan
distributed graph pattern matching ma shuai,cao yang,huai jinpeng,wo tianyu
inconsistency between maximum information entropy and homophily in social networks zhao jichang,liang xiao,xu ke
应用技术
region-based rate-control for h.264/avc for low bit-rate applications hu haimiao,li bo,lin weiyao,li wei,sun mingting
a heuristic path-estimating algorithm for large-scale real-time traffic information calculating lv weifeng,zhu tongyu,wu dongdong,dai hong,huang jian
combining tensor space analysis and active appearance models for aging effect simulation on face images wang yunhong,zhang zhaoxiang,li weixin,jiang fangyuan
tl-tree:flash-optimized storage for time-series sensing data on sensor platforms li huan,liang dong,xie lihui,zhang gong,ramamritham krithi
three-dimensional deformable-model-based localization and recognition o
展开全部
书友推荐
- >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.3¥10.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
史学评论
史学评论
¥13.9¥42.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
