张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（美）南希·斯奈德曼著2009 年出版190 页ISBN：9787121080876
在我们的生活中，存在数以千计的医学谬误。有一些是我们祖先传下来的风俗习惯，有些是流传已久的理念，有些是网上不断涌现出的新观点……我们常常视这些谬误为真理，结果却对我们的身体和生活造成了不良的影响。本...
（希）沃尔斯（Voros，N.S.）等编著2007 年出版231 页ISBN：7030182456
本书论述系统级可编程SOCs可以解决SOCs遇到的一些问题。本书主要针对可编程SOCs进行说明，并且对系统在实际中的应用，有一定指导价值。对于高端设计流程，主要采用了基于C++语言的Systemc以及OCAPI-XL等两种方法...
（英）安德烈娅·哈特编著2019 年出版108 页ISBN：9787100168823
本书精选了伦敦自然博物馆图书馆和档案馆收藏的超过100种精美艺术作品，涵盖了三百年的英国历史，包括威廉·麦吉利弗雷，摩西·哈里斯以及艾德华·威尔森等主要人物的作品，为已出版图书《可装裱的印度博物艺术》...
陈友芳著2003 年出版134 页ISBN：7532369943
文明人跨过地球表面，他们的足迹所到之处，留下一片荒漠。“一面是人口爆炸和环境污染引发的不可再生资源的耗竭，一面是靠高消费、超前消费拉动的GDP增长装点着的现代社会的繁荣。”今天的人们，关心经济危机、金...
