预订 Theorem Proving in Higher Order Logics: 16th Internationa 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
海外直订Automated Reasoning: Second International Joint Conferen
¥1193
海外直订Principles of Security and Trust: Second International C
¥553.00
【预订】Automated Reasoning 9783540223450 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540223450 Author 作者 Basin Format 版本 平装-胶订 Pages Number 页数 491页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-22 Language 语种 英语 Book Contents 内容简介 This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The Internati
¥1040
预订 Automated Reasoning: Second International Joint Conferenc 【全球购】进口原版图书,约5-8周到达国内后发出
¥1276
预订 Labelled Deduction [ISBN:9789401057813] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1266
¥1033
预订 高被引Applied Information Security: A Hands-On Approach [ISB 【全球购】进口原版图书,约5-8周到达国内后发出
¥425.00
预订 Labelled Deduction [ISBN:9780792362371] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1272
海外直订The Business of Television 电视行业
¥1492
【预订】Applied Information Security 9783642244735 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642244735 Author 作者 Basin Format 版本 精装 Pages Number 页数 202页 Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 491g Language 语种 英语 Book Contents 内容简介 This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web applications. The authors explain how to identify and exploit such problems and they show different countermeasures and their implementation. The reader thus gains a detailed understanding of how vulnerabilities arise and practical experience tackling them.After presenting the basics of security principles, virtual environments, and network services, the authors explain the core security principl
¥468.00
预订 New Trends in Optimal Filtering and Control for Polynomia 【全球购】进口原版图书,约5-8周到达国内后发出
¥910.00
海外直订The Business of Television 电视的生意
¥458.00
海外直订Theorem Proving in Higher Order Logics: 16th Internation
¥553.00
海外直订New Trends in Optimal Filtering and Control for Polynomi
¥1033
【预订】New Trends in Optimal Filtering and Control for Polynomi 美国库房发货,通常付款后3-5周到货!
¥1002
【预订】The Columbia Basin Irrigation Project: A Report by Colum 美国库房发货,通常付款后3-5周到货!
¥197.00
【预订】Applied Information Security 9783642436321 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642436321 Author 作者 David Basin ETH Zürich ZISC Zürich Switzerland Format 版本 平装-胶订 Pages Number 页数 202页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-11-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web applications. The authors explain how to identify and exploit such problems and they show different countermeasures and their implementation. The reader thus gains a detailed understanding of how vulnerabilities arise and practical expe
¥468.00
【预订】Becoming Your Best Self: A Theoretical and Practical 美国库房发货,通常付款后3-5周到货!
¥247.00
Product Details 基本信息 ISBN-13 书号 9787121307072 Author 作者 墨累-达令流域委员会(Murray-Darling Basin Authority) 著;桑学锋 等 译 Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 电子工业出版社 Publication Date 出版日期 2018-01-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 《墨累-达令流域初期水审计监测》反映了澳大利亚水资源管理的优选理念和方法,主要为保护流域生态环境和可持续利用、做到取水限额实施的公开化和透明化而开展实际用水情况的审计,涵盖流域水文年的气候概况、水的可用性分配、水交易分配、年度用水、年度取水限额信用和累积取水限额信用等方面内容。本书既可作为水资源规划和水资源管理相关的广大科技工作者、工程技术与管理人员工作中的参考
¥34.00定价:¥68.00 (5折)
¥24.80定价:¥40.00 (6.2折)
明星店铺 北方图书城旗舰店
预订 The Complete Guide to Scion: From Design Principles to Fo 【全球购】进口原版图书,约5-8周到达国内后发出
¥1225
Product Details 基本信息 ISBN-13 书号 9787118103489 Author 作者 (瑞士)大卫·贝森(David Basin),(瑞士)帕特里克·沙勒(Patrick Schaller),(瑞士)迈克尔 Format 版本 平装-胶订 Pages Number 页数 164页 Publisher 出版社 国防工业出版社 Publication Date 出版日期 2015-11-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 全书共8章,靠前章介绍基本安全原理的背景知识,*章介绍实验所需的VirtualBox环境,第三章到第五章是网络和操作系统安全,第六、七章是Web应用安全和证书,第八章是风险分析。该书有4个附录:附录A-B详细介绍项目作业的需求文档和报告格式;附录C简要介绍Linux和实验需要的各种实用程序;附录D用于帮助对Linux类系统使用经验较少的读者。
¥52.00定价:¥104.00 (5折)
信息安全实用教程 (瑞士)大卫·贝森(David Basin),(瑞士)帕特里克·沙勒(Patri 国防工业出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥46.30定价:¥68.00 (6.81折)
明星店铺 北方图书城旗舰店
墨累-达令流域初期水审计监测 墨累-达令流域委员会(Murray-Darling Basin Aut 电子工业出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥29.90定价:¥49.00 (6.11折)
明星店铺 北方图书城旗舰店
按需印刷按需印刷The Art of Becoming:A Blend of Science with Spiritua 预订,预计下单后3-4周左右发货!
¥299.00
预订 按需印刷 The Business of Television
¥409.70
¥164.90
【预售 按需印刷】Becoming Your Best Self
¥263.00
信息安全实用教程 国防工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥50.30定价:¥68.00 (7.4折)
信息安全实用教程 国防工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥44.80定价:¥68.00 (6.59折)
明星店铺 文轩网旗舰店
信息安全实用教程【新华书店总店旗舰店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:13284178503
¥53.13定价:¥136.00 (3.91折)
明星店铺 新华书店总店旗舰店
信息安全实用教程,(瑞士)大卫·贝森(DAVID BASIN),帕特里克·沙勒(PATRICK SCHALLER),迈克
¥66.00定价:¥68.00 (9.71折)
¥44.40定价:¥68.00 (6.53折)
信息安全实用教程 (瑞士)大卫·贝森(DAVID BASIN),帕特里克·沙勒(PATRICK SCHALLER),迈克
¥68.00定价:¥68.00
信息安全实用教程 国防工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥44.40定价:¥68.00 (6.53折)
信息安全实用教程 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥44.40定价:¥68.00 (6.53折)
水利水电工程沉沙池设计规范 SL/T 269-2019 替代 SL 269-2001 中国水利水电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥27.60定价:¥40.00 (6.9折)
明星店铺 文轩网旗舰店
墨累-达令流域初期水审计监测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥37.20定价:¥49.00 (7.6折)
墨累-达令流域初期水审计监测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥33.30定价:¥49.00 (6.8折)
明星店铺 文轩网旗舰店
墨累-达令流域初期水审计监测 电子工业出版社【新华书店现货图书】 全新正版 正规发票 多仓就近发货 85%城市次日达!
¥29.90定价:¥49.00 (6.11折)
¥24.58定价:¥98.00 (2.51折)
明星店铺 新华书店总店旗舰店
墨累-达令流域初期水审计监测 墨累-达令流域委员会(Murray-Darling Basin Authority) 著;
¥33.00定价:¥49.00 (6.74折)
墨累-达令流域初期水审计监测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥33.00定价:¥49.00 (6.74折)
墨累-达令流域初期水审计监测 墨累-达令流域委员会(Murray-Darling Basin Authority) 著; 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥33.00定价:¥49.00 (6.74折)
水利水电工程沉沙池设计规范 SL/T 269-2019 替代 SL 269-2001 中国水利水电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥28.80定价:¥40.00 (7.2折)
水利水电工程沉沙池设计规范 SL/T 269-2019 替代 SL 269-2001 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥26.10定价:¥40.00 (6.53折)