返回首页 联系帮助

登录注册
user
  • 我的订单
  • 在线充值
  • 卡密充值
  • 会员中心
  • 退出登录
59图书的logo
59图书
  • 交通运输
  • 军事
  • 农业科学
  • 医药卫生
  • 历史地理
  • 哲学宗教
  • 天文地球
  • 工业技术
  • 政治法律
  • 数理化
  • 文化科学教育体育
  • 文学
  • 环境安全
  • 生物
  • 社会科学
  • 经济
  • 自然科学
  • 航空航天
  • 艺术
  • 语言文字
  • 计算机的灵魂-程序

    下载此书RAR压缩包在线购买PDF电子书

    缪淮扣编著2001 年出版176 页ISBN:7302045380

    程序是计算机的灵魂。计算机之所以如此“聪明”,全是靠人用程序调教出来的。本书用通俗易懂的语言和生动活泼的插图,讲述了有关计算机程序的知识和创新故事。本书旨在帮助广大青少年和计算机爱好者建立正确的...

  • 机械制造者手册 第4卷 机械零件的设计和计算

    下载此书RAR压缩包在线购买PDF电子书

    (苏)符卡洛维奇,Н.С.编;宋懿昌译1962 年出版1194 页ISBN:15165·1471(一机275)

  • 永不停顿和可伸缩的64位RISC计算机技术概论

    下载此书RAR压缩包在线购买PDF电子书

    王德安,张报昌著2000 年出版382 页ISBN:7502222030

  • 计算系统的形式语义 下

    下载此书RAR压缩包在线购买PDF电子书

    陆汝钤著2017 年出版1856 页ISBN:9787302414940

    系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...

  • 计算系统的形式语义 上

    下载此书RAR压缩包在线购买PDF电子书

    陆汝钤著2017 年出版926 页ISBN:9787302414940

    系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...

  • 计算机控制的测试与仪器IEC-625:IEEE-488总线概论

    下载此书RAR压缩包在线购买PDF电子书

    (英)马丁·科罗姆斯1985 年出版0 页ISBN:

  • 量子化学中的离散变分Xα方法及计算程序

    下载此书RAR压缩包在线购买PDF电子书

    肖慎修等编1986 年出版171 页ISBN:13404·8

  • 计算机解释立体线图的方法与实践

    下载此书RAR压缩包在线购买PDF电子书

    高满屯,储珺,董黎君著2009 年出版246 页ISBN:9787561226698

    本书主要内容包括“流形”平面立体和“流形”曲面立体完整画隐立体线图的标记技术、补线技术;多线画隐立体线图的删线和标记技术;以及从不轴测投影和透视投影画隐线图恢复平面立体三维结构的机理和算法。...

  • 级数的截断误差与割离井法的计算机实现

    下载此书RAR压缩包在线购买PDF电子书

    常安定,李配成编2003 年出版190 页ISBN:7806704361

    本书对工程计算中常用到的级数的截断误差在数学上进行了比较系统的研究,并对地下水渗流计算中常用到的割离井法系列计算公式中的无穷级数的截断进行了较为详细的讨论和研究。完成了割离井法系列计算机实现。...

  • 汉语特殊句式的事件语义分析与计算

    下载此书RAR压缩包在线购买PDF电子书

    吴平著2009 年出版213 页ISBN:9787500484547

    本书是教育部人文社会科学规划项目“汉语特殊句式的事件语义分析与计算”(项目批准号:06JA740010)的结项成果。研究的对象是现代汉语特殊句式的语义特征,所使用的分析方法是形式化的事件语义学理论,所得出的分析...

首页上一页206 207 208 209 210 211 212 213 214 215 下一页尾页
如有任何问题,可联系 pdfbook123@proton.me

关于我们 | 隐私声明