剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 2919 与交互式定理证明与程序开发 相关的结果,耗时2 ms rss sitemap
标签:计算机,算法,计算机程序设计艺术,计算机科学,编程,algorithm,programming,经典, 原作名:
作者:高德纳 出版年月:2020-02-20 … 页数: 650页 最新访问:2020-03-11 … 网友评分: 8.8
经典好书《计算机程序设计艺术(第1卷 英文版・第3版)》读书内容简介:Donald.E.Knuth(唐纳德.E.克努特,中文名高德纳)是算法和程序设计技术的先驱者,是计算机排版系统TEX和METAFONT的发明者,他因这些成就和大量创造性的影响深远的著作(19部书和160篇论文)而誉满全球。作为斯坦福大学计算机程...详情
标签:C++,软件开发,计算机,程序设计,设计模式,大规模,软件工程,编程, 原作名:Large-Scale C++ Software Design
作者:[美] John Lakos 出版年月:2020-02-20 … 页数: 852页 最新访问:2020-03-11 … 网友评分: 7.3
经典好书《大规模c++程序设计》读书内容简介:世界级软件开发大师,现为Bloomberg公司经理,带领BDE团队使用基于组件的方法和过程开发精密可重用的C++软件,同时,他还经常指导其他软件基础设施部门的工程师和团队主管。Lakos自1987年起就一直使用C++进行专业编程,之前曾担任Mento...详情
标签:程序设计,编程,计算机,Programming,计算机科学,编程方法论,软件开发,实践, 原作名:
作者:[美] BRIAN W.KERNIG 出版年月:2020-02-20 … 页数: 470页 最新访问:2020-03-11 … 网友评分: 8.8
经典好书《程序设计实践》读书内容简介:格和记法等方面,讨论了程序设计中实际的、又是非常深刻和具有广泛意义的思想、技术和方法,它的翻译出版将填补国内目前这方面书籍的空白。《程序设计实践》(双语版)值得每个梦想并努力使自己成为优秀程序员的人参考,值得每个计算机专业的学生和计算机工作者阅读,也...详情
标签:并行程序设计,并行计算,并行开发,并行,Programming,软件开发,设计模式,程序设计, 原作名:An Introduction to Parallel Programming
作者:(美)Peter S. Pacheco 出版年月:2020-02-20 … 页数: 388页 最新访问:2020-03-11 … 网友评分:
经典好书《并行程序设计导论》读书内容简介:。如果想要全面开发机群和多核处理器的计算能力,那么学习分布式内存和共享式内存的并行编程技术是不可或缺的。本书循序渐进地展示了如何利用MPI、PThread 和OpenMP开发高效的并行程序,教给读者如何开发、调试分布式内存和共享式内存的程序,以及对程...详情
标签:程序设计,C++,C/C++,编程,计算机,C,软件开发,经典, 原作名:
作者:林锐 出版年月:2020-02-20 … 页数: 396页 最新访问:2020-03-12 … 网友评分: 8.3
经典好书《高质量程序设计指南》读书内容简介:西安电子科技大学应用物理学士学位和微电子硕士学位,2000年获浙江大学计算机应用博士学位。大学期间两度被评为中国百名跨世纪优秀大学生,1996年获电子工业部科技进步二等奖,1997年获首届中国大学生电脑大赛软件一等奖。2000年7月加入上海贝尔有限公...详情
标签:设计,web开发,互联网,WEB,计算机,编程,软件开发,Programming, 原作名:Web Design for Developers: A Programmer's Guide to Design Tools and Techniques
作者:霍根 出版年月:2020-02-20 … 页数: 248页 最新访问:2020-03-12 … 网友评分: 6.7
经典好书《写给程序员的Web设计书》读书内容简介:了网站的设计与实现,帮助读者从开发人员的角度理解什么是设计。通读《写给程序员的Web设计书》之后,读者可以跨越纯视觉思考者和纯线性思考者之间的交流鸿沟。《写给程序员的Web设计书》的主要内容有:如何挑选配色,如何选择字体,如何用Photoshop实现...详情
标签:Objective-C,iOS,编程,移动开发,计算机,编程语言,技术提升,软件开发, 原作名:Programming in Objective-C, 4th Ed.
作者:斯蒂芬·G·科昌 出版年月:2020-02-20 … 页数: 499页 最新访问:2020-03-12 … 网友评分: 7.4
经典好书《Objective-C 程序设计》读书内容简介:者或合著者,其中有关于C语言的,包括《Programming in C》(Sams,2004)、《Programming in ANSI C》(Sams,1994)和《Topics in C Programming》(Wiley,1991),也有关于...详情
标签:汇编语言,计算机科学,计算机,SIMD,汇编,汇编语言程序,X86,Programming, 原作名:
作者:[美]丹尼尔·卡斯沃姆 (Daniel Kusswurm) 出版年月:2020-02-20 … 页数: 447页 最新访问:2020-03-12 … 网友评分:
经典好书《现代X86汇编语言程序设计》读书内容简介:构和执行环境,全面介绍如何用x86汇编语言编写可被高级语言调用的函数。主要内容包括:x86-32核心架构(第1章和第2章),x87浮点单元(第3章和第4章),MMX技术(第5章和第6章),流式SIMD扩展(第7章至第11章),高级向量扩展(第12章至...详情
标签:并行,MPI,并行编程,编程,计算机,OpenMP,程序设计,计算机科学, 原作名:An Introduction to Parallel Programming
作者:Peter Pacheco 出版年月:2020-02-20 … 页数: 252页 最新访问:2020-03-12 … 网友评分: 7.4
经典好书《并行程序设计导论》读书内容简介:浅出地介绍如何使用mpi(分布式内存编程)、pthreads和openmp(共享内存编程)编写高效的并行程序。各章节包含了难易程度不同的编程习题。本书可以用做计算机科学专业低年级本科生的专业课程的教材,也可以作为软件开发人员学习并行程序...详情
标签:健康,IT,从业人员健康,计算机,健身,运动,程序人生,程序员, 原作名:The Healthy Programmer: Get Fit, Feel Better, and Keep Coding
作者:Joe Kutner 出版年月:2020-02-20 … 页数: 178页 最新访问:2020-03-12 … 网友评分: 7.5
经典好书《程序员健康指南》读书内容简介:眼部疲劳、背部疼痛和手腕疼痛等常见的问题,简要介绍了其成因、测试方法,并列出了每天的行动计划,从运动、饮食等方面给出详细指导,帮助程序员在不改变工作方式的情况下轻松拥有健康。本书适合程序员、长期伏案工作的其他人群以及所有关心健康的人士阅...详情