Building high integrity applications with SPARK
John W. McCormick ; Peter C. Chapin2015 年出版368 页ISBN：1107040731
（美）波多尔尼（Podolng，W.），（法）米勒尔（Muller，J.M.）著；万国朝，黄邦本译1986 年出版557 页ISBN：15044·1850
（英）曼斯菲尔德（Mansfield，K.）著；胡俊译2005 年出版90 页ISBN：7508328302
凯瑟琳·曼斯菲尔德，是凯瑟琳·曼斯菲尔德.布坎普的笔名。（1888～1923）她是短篇小说家，出生在新西兰，分别在新西兰和伦敦受过教育。她于1903 年前往伦敦。除了1906年到1908年呆在新西兰，余下的时光她都在欧洲度过。...
（美）金斯利-休斯（Kingsley-Hughes，A.），（美）金斯利-休斯（Kingsley-Hughes，K.）著；顾晓峰译2006 年出版358 页ISBN：7302125481
本书详述了编程的一些基础知识，主要内容包括：计算机如何读取、存储和处理代码，编程所需的工具，各种语言中通用的编程概念，如何创建的修改和删除文件和文件夹，使应用程序易用的最佳技术，如何在代码中发现并纠正......
（英）K.格雷厄姆（Kenneth Grahame）著；王惠平译1999 年出版344 页ISBN：7501523185
《鼠的遐思》中的主人公，是四个拟化的动物，作品所达到的拟人程度远远地超过了其他一些动物童话。他们虽然多少也具有其各自的动物特征，但更多地体现了人的性格特点。作者把他们的心理活动、行为方式、语言特色...
（加）比尤迪（Budde，W.）著；缪家鼎译1988 年出版317 页ISBN：7111005422
书名原文:Physicaldetectorsofopticalradiation:本书译自《光辐射测量》专集中的一册。书中提供了有关探测器的术语以及热探测器、光电探测器、半导体探测器的性能、特点和典型数据等有用信息。...
马格努斯. A·加里奥什 ，W. 博索 默里2018 年出版301 页ISBN：9787519247867
本书以图片问答的形式讲解麻醉学及其相关内容，包含了220道临床病例，切合实际，形式新颖，简明扼要，直奔主题。本书内容丰富、形式新颖，弥补了国内目前已出版麻醉学书籍中的相关空白，可使广大麻醉科医师开阔视野、......
（美）H. W. 扬基著；张力真等译1988 年出版268 页ISBN：7040007452
根据Prentice-HallInc.1979年英文版译出.--译自:Manufacturingprocesses／H.W.Yankee:叙述了机械制造加工中各种方法约140余种，除一般加工方法如铸造、锻造、焊接等外，还阐述了数控技术、化学铣切、电火花、电...
