李娜编著2017 年出版378 页ISBN：9787310053513
《实验逻辑学》共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑...
武俊生，邵回祖主编；米晓萍，曹举飞，张举副主编；齐兴斌，赵丽，王若慧等参编2012 年出版232 页ISBN：9787113143589
本书根据全国计算机等级考试的最新要求编写，全书共9章，内容包括C语言简介、变量、数据类型和运算符、基本语句与编译预处理、选择结构程序设计、循环结构程序设计、数组、函数、指针、结构体与共用体、位运算...
耿姝，刘鑫主编；陈瑶副主编；陈刚，秦峰，吴玲等参编2012 年出版287 页ISBN：9787560628110
本书为《Java语言程序设计》的学习辅助教材，内容包含Eclipse集成开发环境介绍、Java上机实验、知识点回顾与习题和习题答案四部分。上机实验部分明确提出了实验目的与意义，并且给出实验内容及实验过程详解，知...
牛耀宏主编；李顺云，张红英，寇丛芝副主编；成静，董昶，董建新等参编；罗方亮主审2012 年出版238 页ISBN：9787113152284
本书深入浅出地讲述了计算机基础知识及操作系统、办公应用软件及其应用、多媒体技术基础、数据库技术基础、网络技术应用及计算机安全、程序设计基础。内容丰富，图文并茂，覆盖了计算机基础知识的主要方面。...
周晓飞主编；万建才，陈晓霞，赵鹏等参编2013 年出版414 页ISBN：9787302334866
本书共分十个篇章内容，以问答形式编排，依此讲述了：汽车发动机系统、变速器系统、车身电气系统、制动及防滑控制系统、转向、悬架及车轮系统、空调、暖风系统、安全气囊、安全带系统、巡航控制系统、防盗系统、...
李娜著2010 年出版258 页ISBN：9787218066936
本书以当代都市时尚青年女孩的爱情生活的种种困扰，以恋爱技巧为主线，告诉80后濒临剩女时代的都市女性应该怎样面对爱情、婚姻和事业之间的选择；怎样相亲、恋爱、摆脱单身；怎样预防“第四类情感”、不被第三者破...
张明建主编；朱惠莲副主编；庄燕源，叶锦华，林红梅等参编2010 年出版153 页ISBN：9787561535417
本书依照学生的认知规律和职业成长规律，在对数控机床本体进行维修拆装与检测的典型工作任务完成工作过程分析、记录和归纳的基础上，设计了六个工学结合、开放式的学习情境。每个学习情境又设计若干个工作任务...
叶海精，周淑宝主编；吴艳芬，吴艳，谢中杰等参编；吴鹏，黄彬主审2011 年出版170 页ISBN：9787514202083
本书是全国高职高专印刷与包装类专业教学指导委员会“十二五”规划教材中的一本。本书共分7个情境，分别介绍了纸盒结构设计、纸箱结构设计、立体成型设计、结构与装潢双向设计、盒型切样输出、模切版设计、...
何丽芳主编；钟小东，刘列夫，刘亢等副主编；姚丹君，张丽萍，江莲等参编2010 年出版224 页ISBN：9787811137880
本书以中国主要客源国为研究对象，分析了世界旅游业与中国入境旅游市场，按照东亚地区、东南亚地区、南亚地区、西亚和北非地区、欧洲地区、美洲地区、大洋洲地区等七大客源国地区，对各国基本国情、特色文化、习...
李娜著2012 年出版326 页ISBN：9787310040308
本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
