陆钟万著2002 年出版263 页ISBN:7030096576
《面向计算机科学的数理逻辑(第2版)》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑(第2版)》在选材...
孙江宏等编著2015 年出版241 页ISBN:9787113208080
本书在编写过程中参考了大学教学中的具体应用环节和Autodesk公司专业考试要求,尤其注重从教学角度出发,对AutoCAD2015常用功能进行总结和介绍。全书内容包括AutoCAD与工程制图、视图操作、二维平面绘图基础、...
杨永强2018 年出版206 页ISBN:9787562082217
随着互联网科技的发展,大数据云计算的运用越来越广泛,同时也带来了许多安全隐患,比如,用户信息的泄露,网络诈骗等。本书以确保用户安全为核心目标,针对云计算环境下身份管理与权限控制的通用性与可控性、密文访.....
计算机应用基础(Windows7+Office2010)上机指导
杨喆,郭永强主编2016 年出版153 页ISBN:9787557613419
本书共分五章,主要内容包括Windows 7操作系统、Word 2010文字处理、Excel 2010电子表格、PowerPoint 2010演示文稿、计算机网络基础与Internet应用等内容的上机操作指导。所有知识点以案例进行讲解,内容通俗...
杜玉合主编2013 年出版187 页ISBN:9787564719227
本教材根据高等职业教育五年制学生的特点和职业需求,采用基于工作过程的项目导向、任务驱动的编写方式,以项目任务为载体,以任务实施的过程为主线,把工作情景和职业要求融入到学生的学习中去,让学生“在学习的内...
杜玉合主编2013 年出版99 页ISBN:9787564719227
本教材根据高等职业教育五年制学生的特点和职业需求,采用基于工作过程的项目导向、任务驱动的编写方式,以项目任务为载体,以任务实施的过程为主线,把工作情景和职业要求融入到学生的学习中去,让学生“在学习的内...
莫亚柏,邵静主编;丛书编委会编著2003 年出版303 页ISBN:7113050581
本书紧扣“考试大纲” 的要求,系统详尽地介绍了考生应掌握的知识点及重点。在各章中附有典型的例题及解析,供考生练习和自我检测,可以帮助考生顺利通过C语言等级考试。...
杨克昌著2017 年出版276 页ISBN:9787115455918
本书遵循“精选案例,深入浅出,面向设计,注重能力培养”的要求,系统讲述枚举、递推、递归、回溯法、动态规划、贪心算法、分支限界法与模拟等常用算法及其应用。精选各算法设计求解的典型案例,从案例提出到算法设...
林允溥著2012 年出版363 页ISBN:
AWS(AmazonWebServices)是目前世界上最成功的云端运算服务,非常多新创网站或中小型企业透过AWS架设自己的云端数据库、网络应用系统,许多大型企业利用AWS架设企业内的云端功能,许多大型网络公司(例如twitter、...
全国计算机等级考试上机题库 二级Java语言 2010年9月考试专用 新版
天合教育金版一考通编辑部2010 年出版191 页ISBN:9787564704650
本书为计算机等级考试二级Java语言新版上机题库。