杜珊珊,康宏逵著2017 年出版244 页ISBN:9787030530813
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...
段晓明主编;李辉,王星娜,卜珊珊副主编2013 年出版212 页ISBN:9787502377021
本书围绕人民群众、患者和患者家属朋友所关心的胃病、肠病、肝病等消化系统常见病,以专题讲座的形式,深入浅出的讲述了相关的医学科学知识。引导人们关注自身健康,提高健康意识,学习健康知识,增强防病能力。通俗...
王珊珊,臧洌,张志航编著2017 年出版376 页ISBN:9787111552536
本书包括两部分内容。第一部分为第1~9章,以C++语言的基本语法为起点讲述面向过程的程序设计,内容包括基本数据类型、基本控制结构、函数、数组、结构体、指针和链表。第二部分为第10~15章,结合C++语言的应用实...
(魏)吴普著2008 年出版247 页ISBN:9787538723700
本书实是现存最早的药物学专著,为我国早期临床用药经验的第一次系统总结,历代被誉为中药学经典著作。
(美)塞谬尔斯著;杨宁魏,郑周译2016 年出版47 页ISBN:9787535280190
本套书图文并茂,介绍了公元1947~现在的科学进步与发展、成就与智慧,是理解人类科学历程的一把钥匙。