Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
Designing the User Interface Strategies for Effective Human-Computer Interaction Fifth Edition
Ben Shneiderman2010 年出版606 页ISBN：9787121119125
本书为了适应因特网和各种移动设备迅猛发展的形势，在第四版的基础上始终以基于Web、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
Introduction to Scientific Computing:A Matrix-Vector Approach Using MATLAB Second Edition
C.F.VanLoan2005 年出版367 页ISBN：7111158954
本书是康奈尔大学科学计算机课程的教材，涵盖了关于科学计算方面的大部分内容，同时包括了图形和矩阵向量处理的内容，使读者能够深入理解数学与计算之间的密切关系。 本书组织灵活、条理清晰，每一章都着重...
快乐瓢虫双语童书 KEY WORDS WITH PETER AND JANE 12a 度假营地之迷
（英）W.默瑞（W.Murray）著；（英）J.H.威格菲尔德绘；张桢译2015 年出版74 页ISBN：7303178899
阅读是一种能力，也是一种自信。英语阅读更是如此。经研究表明，100个关键词占到英语国家常用词汇的50%，300个关键词占到75%！掌握这300个关键词，一步一步成为自信的英语阅读者。“企鹅关键词儿童英语分级阅读”系...
Analysis and Computation of Electric and Magnetic Field Problems SecondEdition K.J.Binns and P.J.Law
K·J·BINNS P·J·LAWRENSON1973 年出版324 页ISBN：0080166385
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN：3540309128
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
低碳 能源和区域经济发展 基于可计算一般均衡模型的分析 analysis based on computable general equilibrium models
师颖新著2012 年出版213 页ISBN：9787511232595
本书以均衡模型（CGE）为基础，构建了地区、区域、全国、国际不同层面的CGE模型，对碳汇市场、碳交易、扩大内需、劳动力成本上升、能源补贴、能源环境技术的国际合作等热点问题，进行了深入的理论分析，并结合实际提出...
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
