【预订】Computer Aided Verification 9783540646082 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540646082 Author 作者 Hu Format 版本 平装-胶订 Pages Number 页数 552页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-06-03 Language 语种 英语 Book Contents 内容简介 This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV’98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
¥1095
【预订】Computer Supported Cooperative Work in Design I 97835402 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540294009 Author 作者 Shen Format 版本 平装-胶订 Pages Number 页数 460页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-11-04 Language 语种 英语 Book Contents 内容简介 The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems. Individuals or individual groups of multidisciplinary design teams usually work in parallel and separately with various engineering tools, which are located on different sites, often for quite a long time. At any moment, individual members may be working on different versions of a design or viewing the design from various perspectives, at different levels of detail. In order to meet these r
¥548.00
【预订】Computer Vision in Advanced Control Systems-5 9783030337 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030337971 Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1040g Language 语种 其它（含多语） Book Contents 内容简介 This book applies novel theories to improve algorithms in complex data analysis in various fields, including object detection, remote sensing, data transmission, data fusion, gesture recognition, and medical image processing and analysis.It is intended for Ph.D. students, academics, researchers, and software developers working in the areas of digital video processing and computer vision technologies.
¥1095
【预订】Computer Security Techniques for Nuclear Facilities 9789 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789201235206 Author 作者 International Atomic Energy Agency Format 版本 平装-胶订 Pages Number 页数 140页 Publisher 出版社 International Atomic Energy Agency Publication Date 出版日期 2021-11-30 Language 语种 其它（含多语）
¥646.00
【预售 按需印刷】Computer Vision in Robotics and Industrial Applicat
¥1574.2
【预订】Computer Networking: Internet Protocols in Action 美国库房发货，通常付款后3-5周到货！
¥1183
【预订】Computer-Based Testing and the Internet: Issues and Adva 美国库房发货，通常付款后3-5周到货！
¥919.00
【预售 按需印刷】Computer Simulation in Management 5e 北京发货，付款后10天内发货
¥715.68
【预订】Computer Aided Verification 9781013271168 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271168 Author 作者 Tasiran Serdar Format 版本 平装-胶订 Pages Number 页数 680页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.36 Shipping Weight 商品重量 3.42 Language 语种 其它（含多语）
¥1892
【预订】Computer Aided Verification 9781013271007 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271007 Author 作者 Chockler Hana Format 版本 平装-胶订 Pages Number 页数 554页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.12 Shipping Weight 商品重量 2.79 Language 语种 其它（含多语）
¥1640
【预订】Computer-Integrated Manufacturing 9781632388179 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781632388179 Format 版本 精装 Pages Number 页数 267页 Publisher 出版社 NY Research Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 7.00 x 0.63 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）
¥1817
【预订】Computer-generated Holographic Matched Filters 978053000 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780530006390 Author 作者 Butler Format 版本 精装 Pages Number 页数 216页 Publisher 出版社 Dissertation Discovery Company Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.5 cm Shipping Weight 商品重量 1750g Language 语种 英语
¥1465
【预订】Computer Holography 9781482240498 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781482240498 Author 作者 Tomoyoshi Shimobaba and Tomoyoshi Ito Format 版本 精装 Pages Number 页数 300页 Publication Date 出版日期 2018-12-04 Language 语种 英语 Book Contents 内容简介 This book describes algorithms and hardware implementations of computer holography, especially, in terms of fast calculation. Chapters 1-3 summarizes the basic of holography and computer holography. In Chapter 4 conventional diffraction calculations are described that play a central role in computer holography. We pick up angular spectrum method, Fresnel diffraction, and Fraunhofer diffraction as the conventional diffraction calculations. Numerical implementations by quasi codes will be discussed. Chapter 5 explains acceleration algorithms for CGH generation and digital holography. This chapter includes CGH acceleration algorithms for 3D object composed of point cloud, using LUT(Look-up table) ba
¥1288
¥727.60
【预售 按需印刷】Computer Simulation of Complex plasmas
¥1332.8
【预订】Computer Modeling for Injection Molding: Simulation 美国库房发货，通常付款后3-5周到货！
¥1907
【预订】Computer Simulation Studies in Condensed-Matter Physics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540000877 Author 作者 Landau Format 版本 精装 Pages Number 页数 222页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-02-14 Language 语种 英语 Book Contents 内容简介 Over fifteen years ago, because of the tremendous increase in the power and utility of computer simulations, The University of Georgia formed the first institutional unit devoted to the use of simulations in research and teach? ing: The Center for Simulational Physics. As the international simulations community expanded further, we sensed a need for a meeting place for both experienced simulators and neophytes to discuss new techniques and recent results in an environment which promoted lively discussion. As a consequence, the Center for Simulational Physics established an annual workshop on Re? cent Developments in Computer Simulation Studies in Condensed Matter Physics. Th
¥1643
【预订】Computer System and Network Security 9780849371790 美国库房发货，通常付款后3-5周到货！
¥2185
【预订】Computer Vision – ECCV 2022 9783031200700 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031200700 Author 作者 Shai Avidan Format 版本 平装-胶订 Pages Number 页数 732页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-08 Language 语种 其它（含多语）
¥1192
【预订】Computer and Computing Technologies in Agriculture IV 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642267130 Author 作者 Li Format 版本 平装-胶订 Pages Number 页数 754页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-04-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 1177g Language 语种 英语 Book Contents 内容简介 This book constitutes Part I of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010. The 352 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce
¥1095
【预订】Computer Vision - ACCV 2006 9783540312444 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540312444 Author 作者 rayan Format 版本 平装-胶订 Pages Number 页数 980页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-01-09 Language 语种 英语 Book Contents 内容简介 Welcometothe7thAsianConferenceonComputerVision.Itgivesusgreatpl- sure to bring forth its proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. We are proud of the technical program we have put together and we hope you enjoy it. Interest in computer vision is increasing and ACCV 2006 attracted about 500 submission. The evaluation team consisted of 27 experts serving as Area Chairs and about 270 reviewers in all. The whole process was conducted electronically in a double-blind manner,a rstfor ACCV. Eachpaper wasassignedto an Area Chair who found three competent reviewers for it. We were able to contain the maximum load on t
¥1095
【预订】Computer Vision and Image Processing 9789811610851 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811610851 Format 版本 平装-胶订 Pages Number 页数 517页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1650g Language 语种 其它（含多语） Book Contents 内容简介 This three-volume set (CCIS 1367-1368)constitutes the refereed proceedings of the5th International Conference onComputer Vision and Image Processing, CVIP 2020, held in Prayagraj, India, in December 2020. Due to the COVID-19 pandemic the conference was partially held online.The 134 papers papers were carefully reviewed and selected from 352 submissions. The papers present recent research onsuch topicsas biometrics, forensics, content protection, image enhancement/super-resolution/restoration, motion and tracking, image or video retrieval, image, image/video processing for autonomous ve
¥1095
【中商原版】Computer Aided Logical Design With Emphasis On Vlsi Fo FrederickJ.Hill
¥2402
【预订】Computer-generated Holographic Matched Filters 978053000 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780530006383 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 216页 Publisher 出版社 Dissertation Discovery Company Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.4 cm Shipping Weight 商品重量 1130g Language 语种 英语
¥949.00
【预订】Computer Graphics and Applications - Proceedings of the 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810215293 Format 版本 精装 Pages Number 页数 432页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥1751
【预订】Computer Graphics and Applications - Proceedings of the 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810223373 Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥2198
【预订】Computer-Based Design Process 美国库房发货，通常付款后3-5周到货！
¥1643
【预售 按需印刷】Computer Troubleshooting, Using an Expert 北京发货，付款后10天内发货
¥818.00
【预售 按需印刷】Computer Simulation, Rhetoric, and the Scientific I
¥1098.2
【预订】Computer methods and advances in geomechanics, volume 4 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054103844 Format 版本 精装 Pages Number 页数 800页 Publisher 出版社 CRC Press Publication Date 出版日期 1995-01-01 Shipping Weight 商品重量 317g Language 语种 其它（含多语） Book Contents 内容简介 .
¥823.00
【预订】Computer Science and Engineering-Theory and Applications 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319892672 Format 版本 平装-胶订 Publisher 出版社 Springer International Publishing AG Publication Date 出版日期 2019-06-04 Language 语种 英语
¥1643
【预订】Computer Vision – ACCV 2018 9783030208691 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030208691 Author 作者 C.V. Jawahar Format 版本 平装-胶订 Pages Number 页数 749页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-05-25 Language 语种 英语 Book Contents 内容简介 The six volume set LNCS 11361-11366 constitutes the proceedings of the 14th Asian Conference on Computer Vision, ACCV 2018, held in Perth, Australia, in December 2018. The total of 274 contributions was carefully reviewed and selected from 979 submissions during two rounds of reviewing and improvement. The papers focus on motion and tracking, segmentation and grouping, image-based modeling, dep learning, object recognition object recognition, object detection and categorization, vision and language, video analysis and event recognition, face and gesture analysis, statistical methods and learning, performance evaluation, medical image analysis, document analysis,
¥548.00
【预订】Computer Applications in the Mineral Industry 9789061917 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061917601 Format 版本 精装 Pages Number 页数 784页 Publication Date 出版日期 1988-01-01 Shipping Weight 商品重量 1474g Language 语种 英语 Book Contents 内容简介 .
¥6781
【预订】Computer Games: 7th Workshop, CGW 2018, Held in Conjunct 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030243364 Format 版本 平装-胶订 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2019-06-29 Language 语种 英语
¥548.00
【预订】Computer Vision and Machine Learning with Rgb-D Sensors 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Aided Surgery: 7th Asian Conference on 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Vision - ECCV 2004: 8th European Conference 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer Integrated Manufacturing Und Wettbewerbsstrateg 美国库房发货，通常付款后3-5周到货！
¥562.00
【预订】Computer Knowledge for Trainee Teachers 美国库房发货，通常付款后3-5周到货！
¥1057
【预订】Computer Model for Determining Operational Centers of Gr 美国库房发货，通常付款后3-5周到货！
¥762.00
【预订】Computer Simulation in Business Decision Making: A 美国库房发货，通常付款后3-5周到货！
¥1021
【预订】Computer-Aided Decision Analysis: Theory and 美国库房发货，通常付款后3-5周到货！
¥1023
【预订】Computer Vision – ECCV 2016 9783319464749 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer-Aided Design and Manufacturing: Methods and Too 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer Vision - Eccv 2000: 6th European Conference on 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer Graphics and Mathematics 9783642775888 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Computer Simulation in Materials Science: Nano / Meso / 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Computer Vision: Detection, Recognition and Reconstructi 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Computer Vision – ACCV 2020 9783030695439 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030695439 Author 作者 Ishikawa Format 版本 平装-胶订 Pages Number 页数 705页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.4 cm Shipping Weight 商品重量 2200g Language 语种 其它（含多语） Book Contents 内容简介 The six volume set of LNCS 12622-12627 constitutes the proceedings of the 15th Asian Conference on Computer Vision, ACCV 2020, held in Kyoto, Japan, in November/ December 2020.*The total of 254 contributions was carefully reviewed and selected from 768 submissions during two rounds of reviewing and improvement. The papers focus on the following topics:Part I: 3D computer vision; segmentation and groupingPart II: low-level vision, image processing; motion and trackingPart III: recognition and detection; optimization, statistical methods, and learning; robo
¥1095
【预订】Computer Vision – ACCV 2020 Workshops 9783030697556 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030697556 Author 作者 Sato Format 版本 平装-胶订 Pages Number 页数 199页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-24 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 660g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed post-conference proceedings of four workshops held at the 15th Asian Conference on Computer Vision, ACCV 2020, which was held in Kyoto, Japan, in November/ December 2020.*The 13 papers were carefully reviewed and selected from the following two workshops: Machine Learning and Computing for Visual Semantic Analysis (MLCSA) and Multi-Visual-Modality Human Activity Understanding (MMHAU).*The conference and workshops were held virtually.
¥548.00
【预订】Computer Vision Metrics: Textbook Edition 9783319337616 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Computer Integrated Production Systems and Organizations 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Computer Algebra in Scientific Computing Casc 2001: Proc 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Vision - ECCV 2014 Workshops 9783319161808 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer-Aided Architectural Design Futures. The Next Ci 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Aided Virtual Manufacturing Using Creo Parametr 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Computer Treatment of Large Air Pollution Models 9789401 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Computer Modelling of Concrete Mixtures 9780419230205 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780419230205 Author 作者 Joe Dewar Format 版本 精装 Pages Number 页数 270页 Publisher 出版社 CRC Press Publication Date 出版日期 1999-08-05 Shipping Weight 商品重量 582g Language 语种 其它（含多语） Book Contents 内容简介 This book discusses how computer-based systems can help predict the composition of trial mixes. The author has spent 20 years developing systems which can save both time and money.
¥3013
【预订】Computer Science and Technology 9781632407801 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781632407801 Format 版本 平装-胶订 Publisher 出版社 Wiley Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1720
【预订】Computer System Security: Basic Concepts and Solved Exer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420046205 Author 作者 Gildas Avoine Format 版本 精装 Pages Number 页数 210页 Publisher 出版社 EPFL Press Publication Date 出版日期 2007-07-13 Shipping Weight 商品重量 612g Language 语种 英语 Book Contents 内容简介 Computer System Security: Basic Concepts and Solved Exercises is designed to expose students and others to the basic aspects of computer security. Written by leading experts and instructors, it covers e-mail security; viruses and antivirus programs; program and network vulnerabilities; firewalls, address translation and filtering; cryptography; secure communications; secure applications; and security management. Written as an accompanying text for courses on network protocols, it also provides a basic tutorial for those whose livelihood is dependent upon secure systems. The solved exercises included have been taken from courses taught in the
¥707.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车