(美)豪沃(Howard,M.),(美)勒伯兰克(LeBlanc,D.),(美)维加(Viega,J.)著;肖枫涛,杨明军译2006 年出版252 页ISBN:7302138044
本书就软件安全的漏洞,如:缓冲区溢出,格式化字符串问题,命令注入,跨站脚本,未能处理错误信息等,进行讲解。
(美)(G.乔伊斯)Gerald Joyce,(美)(M.穆恩)Marianne Moon著;北京博彦科技发展有限公司译1999 年出版326 页ISBN:7301042817
(美)(J.乔伊斯)Jerry Joyce,(美)(M.穆恩)Marianne Moon著;北京博彦科技发展有限公司译1998 年出版284 页ISBN:7301038356
(美)Richard C. Lee,(美)William M. Tepfenhart著;麻志毅,蒋严冰译2002 年出版436 页ISBN:7111105788
(美)亚当斯(Waiter Adama),(美)格雷(Horace M. Gray)著;加东译1958 年出版237 页ISBN:4002·129
(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(美)罗宾·巴德(RobinBade),(英)迈克尔·帕金(MichaelParkin)著;马洪云,莫蕾钰译2016 年出版624 页ISBN:9787302447900
本书既涵盖西方经济学的基本原理,又尽量突出重点,降低难度。以文字表述为主,减少数学推导,深入浅出,通俗易懂,便于读者复习消化。可以作为高等学校经管类专业本科生经济学原理课程的教材,也可以作为非经管类专......
(美)艾琳·格鲁维尔,自由写手著;李燕译2017 年出版297 页ISBN:9787544288927
夏末,203教室,刚刚毕业的菜鸟老师艾琳·格鲁维尔小姐被全班学生震住。这群肤色各异的高一新生有的来自贫民区的破碎家庭、刚从少年监狱出来,有的曾加入过黑帮、吸毒贩毒……他们从小就被贴上“无法管教”的标...
(美)帕金斯等;陈国荣译2008 年出版318 页ISBN:7500934033
本书从理念、方法以及大量的现实生活的案例让你走进一个惊奇的、崭新的、出其不意的、打破传统习惯的模式,并引领你在自卫搏击领域中得到磨炼。...
(美)狄金森编著2010 年出版351 页ISBN:9787111294757
本书精选了狄金森的经典诗篇,如《暴风雨夜,暴风雨夜》等。其诗主要写生活情趣、自然、生命、信仰、友谊、爱情。