【预订】Computer Modelling of Heat and Fluid Flow in Materials P 美国库房发货，通常付款后3-5周到货！
¥1282
【预订】Computer Science and Engineering in Health Services 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031347498 Author 作者 José Antonio Marmolejo-Saucedo Format 版本 精装 Pages Number 页数 250页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-09-21 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference Computer on Science and Engineering in Health Services (COMPSE 2022), which took place in Mexico City and online, June 28th, 2022. The papers are grouped on thematic topics: application of tools delivered by the COVID-19 pandemic; health services; computer and data science; and industry 4.0 in logistics and supply chain. The content is relevant to researchers, academics, students and professionals.Presents the proceedings of the 6th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2022);Inclu
¥2519
【预订】Computer Engineering and Technology 9789811031588 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811031588 Author 作者 Xu Format 版本 平装-胶订 Pages Number 页数 232页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2016-12-09 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi’an, China, in August 2016. The 21 full papers presented were carefully reviewed and selected from 120 submissions. They are organized in topical sections on processor architecture; application specific processors; computer application and software optimization; technology on the horizon.
¥548.00
【预订】Computer Controlled Systems 9781852333072 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852333072 Author 作者 Rosenwasser Format 版本 精装 Pages Number 页数 486页 Publisher 出版社 Springer London Publication Date 出版日期 2000-04-12 Language 语种 英语 Book Contents 内容简介 Digital elements such as signal processors, microcontrollers or industrial PCs are widely used for filtering and control of continuous-time processes or plants. Because of the serial operation mode of these digital elements the continuous? time processes cannot be served continuously. That is why continuous-time and discrete-time signals occur simultaneously in systems of this kind. The continuous (real) time also contains the discrete time instants - therefore, a complete and accurate deion of such systems in continuous time is pos? sible. However, this deion proves to be more complicated, because the hybrid system becomes time-variable, also in cases, where all continuous-time p
¥2190
【预订】Computer, Informatics, Cybernetics and Applications 9789 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789402405705 Author 作者 Xingui He Chinese Academy of Engineering Beijing China P Format 版本 平装-胶订 Pages Number 页数 1704页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 2653g Language 语种 英语 Book Contents 内容简介 The Conference on Computer, Informatics, Cybernetics and Applications 2011 aims to facilitate an exchange of information on best practices for the latest research advances in the area of computer, informatics, cybernetics and applications, which mainly includes computer science and engineering, informatics, cybernetics, control systems, communication and network systems, technologies and applications, others and emerging new topics.
¥5476
【预订】Computer Work Stations: A Manager S Guide to Office Auto 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer-Aided Verification of Coordinating Processes: T 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Computer Games I 9780387964966 美国库房发货，通常付款后3-5周到货！
¥697.00
【预订】Computer Network Simulation Using NS2 9781498768542 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498768542 Author 作者 Ajit Kumar Nayak, Satyananda Champati Rai and Rajib Mall Format 版本 精装 Pages Number 页数 326页 Publisher 出版社 CRC Press Publication Date 出版日期 2016-08-18 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a solid foundation of computer networking knowledge and skills, covering everything from network performance evaluation to socket programming. The text describes a number of computer network protocols and TCP/IP and OSI models, and then shows how to use the NS2 to simulate the protocols for both wired and wireless networks. The authors include nearly 90 example programs, *s, and outputs, along with several hands-on exercises requiring application of the theory and programming to instill a deeper understanding of how network protocols work.
¥1356
【预订】Computer Science Protecting Human Society Against Epidem 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030865849 Author 作者 Aleksander Byrski Format 版本 平装-胶订 Pages Number 页数 127页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-02 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021.The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic.
¥932.00
Product Details 基本信息 ISBN-13 书号 9780128119051 Author 作者 Hennessy Pages Number 页数 856页 Publisher 出版社 Morgan Kaufmann Publication Date 出版日期 20171101 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 Computer Systems Organization (General); Hardware and Architecture (General)
¥1173
【预订】Computer Vision and Machine Intelligence 9789811978661 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811978661 Author 作者 Massimo Tistarelli Format 版本 平装-胶订 Pages Number 页数 738页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-31 Language 语种 其它（含多语） Book Contents 内容简介 This book presents selected research papers on current developments in the fields of computer vision and machine intelligence from International Conference on Computer Vision and Machine Intelligence (CVMI 2022). The book covers topics in image processing, artificial intelligence, machine learning, deep learning, computer vision, machine intelligence, etc. The book is useful for researchers, postgraduate and undergraduate students, and professionals working in this domain.
¥2519
【预订】Computer Assistive Technologies for Physically and Cogni 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789815079166 Format 版本 精装 Pages Number 页数 230页 Publisher 出版社 Bentham Science Publishers Publication Date 出版日期 2023-01-01 Language 语种 其它（含多语） Book Contents 内容简介 Computer Assistive Technologies for Physically and Cognitively Challenged Users focuses on the technologies and devices that assist individuals with physical and cognitive disabilities. These technologies facilitate independent activity and participation, serving to improve daily functional capabilities. The book features nine chapters that cover a wide range of computer assistive technologies that give readers an in-depth understanding of the available resources to help the elderly or individuals with disabilities. The topics covered in the book include 1) The category and ontology of assistive devices, 2) Web accessibility and ICT accessibility for persons with disability (PWD), 3)
¥837.00
【预订】Computer Arithmetics for Nanoelectronics 9781420066210 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420066210 Author 作者 Vlad P. Shmerko Format 版本 精装 Pages Number 页数 852页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-02-23 Shipping Weight 商品重量 1338g Language 语种 英语 Book Contents 内容简介 Taking an interdisciplinary approach to the design of the nanoscale generation of computer devices and systems, this text develops a consensus between computational properties provided by data structures and phenomenological properties of nano and molecular technology. It presents design concepts and sound high-performance paradigms for data/signal processing and computing in 3D. The authors extend classical computing paradigms toward 3D computing structures, examine the relationships between various data structures and their manipulation through design, and cover the fundamentals of the intermediate data structure. They also explore techniqu
¥2577
【预订】Computer Vision – ECCV 2020 9783030585358 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030585358 Format 版本 平装-胶订 Pages Number 页数 797页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-03 Language 语种 英语 Book Contents 内容简介 The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020. The conference was held virtually due to the COVID-19 pandemic.The 1360 revised papers presented in these proceedings were carefully reviewed and selected from a total of 5025 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image processing; object detection; semantic segmentation; human pose estimation; 3d reconstruction; stereo vision; com
¥1095
【预订】Computer Vision – ECCV 2020 9783030586065 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030586065 Format 版本 平装-胶订 Pages Number 页数 789页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-07 Language 语种 英语 Book Contents 内容简介 The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020. The conference was held virtually due to the COVID-19 pandemic.The 1360 revised papers presented in these proceedings were carefully reviewed and selected from a total of 5025 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image processing; object detection; semantic segmentation; human pose estimation; 3d reconstruction; stereo vision; com
¥1095
【预售按需印刷】Computer Network Intrusion Detection
¥1005.55
【预售 按需印刷】Computer Networks 北京发货，付款后10天内发货
¥812.00
【预订】Computer Information Systems and Industrial Management 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031428227 Author 作者 Khalid Saeed Format 版本 平装-胶订 Pages Number 页数 505页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2023-09-21 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 22nd International Conference on Computer Information Systems and Industrial Management, CISIM 2023, held in Tokio, Japan, during September 22-24, 2023.The 36 papers presented in this book were carefully reviewed and selected from 77 submissions. They were organized in topical sections as follows: biometrics and pattern recognition applications; computer information systems and security; industrial management and other applications; machine learning and artificial neural networks; modelling and optimization; wellbeing and affective engineering; and machine learning using biometric data and kansei da
¥985.00
【预订】Computer Network Architectures and Protocols 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Supported Cooperative Work and Social Computing 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819923557 Format 版本 平装-胶订 Pages Number 页数 533页 Publisher 出版社 Springer Publication Date 出版日期 2023-05-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.14 Shipping Weight 商品重量 1.71 Language 语种 其它（含多语）
¥1094
【预订】Computer Vision – ECCV 2022 Workshops 9783031250651 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031250651 Author 作者 Leonid Karlinsky Format 版本 平装-胶订 Pages Number 页数 768页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-16 Language 语种 其它（含多语） Book Contents 内容简介 The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online.The 367 full papers included in this volume set were carefully reviewed and selected for inclusion in the ECCV 2022 workshop proceedings. They were organized in individual parts as follows:Part I: W01 - AI for Space; W02 - Vision for Art; W03 - Adversarial Robustness in the Real World; W04 - Autonomous Vehicle VisionPart II: W05 - Lear
¥1861
【预订】Computer Simulations of Aggregation of Proteins and Pept 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071615454 Format 版本 精装 Pages Number 页数 460页 Publisher 出版社 Humana Press Publication Date 出版日期 2021-10-06 Language 语种 其它（含多语） Book Contents 内容简介 This volume provides computational methods and reviews various aspects of computational studies of protein aggregation. Chapters discuss the relationship between protein misfolding and protein aggregation, methods of prediction of aggregation propensities of protein, peptides, protein structure, results of computer simulations of aggregation, and computational simulations focused on specific diseases such as Alzheimer’s, Parkinson’s, and preeclampsia. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips
¥1972
【预订】Computer Vision and Image Processing: 7th International 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031314162 Format 版本 平装-胶订 Pages Number 页数 740页 Publisher 出版社 Springer Publication Date 出版日期 2023-06-20 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.53 Shipping Weight 商品重量 2.33 Language 语种 其它（含多语）
¥1972
【预订】Computer Science: An Overview, Global Edition 9781292263 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781292263427 Format 版本 平装-胶订 Publication Date 出版日期 2019-02-25 Language 语种 英语
¥1181
【预订】Computer-Aided Architectural Design. INTERCONNECTIONS: C 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031371882 Author 作者 Michela Turrin Format 版本 平装-胶订 Pages Number 页数 672页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-07-22 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.39 Shipping Weight 商品重量 1044g Language 语种 其它（含多语）
¥985.00
【预订】Computer Assisted Music and Dramatics 9789819908868 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819908868 Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-06-08 Language 语种 其它（含多语） Book Contents 内容简介 This book is intended for researchers interested in using computational methods and tools to engage with music, dance and theatre. The chapters have evolved out of presentations and deliberations at an international workshop entitled Computer Assisted Music and Dramatics: Possibilities and Challenges organized by University of Mumbai in honour of Professor Hari Sahasrabuddhe, a renowned educator and a pioneering computational musicologist (CM) of Indian classical music. The workshop included contributions from CM as well as musicians with a special focus on South Asian arts. The case studies and reflective essays here are based on analyses of genres, practices and theoretical con
¥2190
【预订】Computer-Human Interaction Research and Applications 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031220142 Author 作者 Andreas Holzinger Format 版本 平装-胶订 Pages Number 页数 156页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-01-10 Language 语种 其它（含多语）
¥711.00
【预订】Computer Algebra in Scientific Computing Casc 2001: Proc 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540423553 Author 作者 Ganzha V. G. Format 版本 精装 Pages Number 页数 572页 Publisher 出版社 Springer Publication Date 出版日期 2001-10-16 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.25 Shipping Weight 商品重量 2.14 Language 语种 其它（含多语） Book Contents 内容简介 The book covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book, which may be of interest to researchers and engineers, is the application of computer algebra methods to the development of new efficient analytic and numerical solvers, both for ordinary and partial differential equations. A specific feature of the book is an intense use of advanced software systems such as Mathematica, Maple etc. for the solution of problems as outlined ab
¥1473
【预订】Computer Modeling in Bioengineering: Theoretical Backgro 美国库房发货，通常付款后3-5周到货！
¥1986
【预订】Computer Aided Design Guide for Architecture, Engineerin 美国库房发货，通常付款后3-5周到货！
¥2561
【预订】Computer Vision -- ECCV 2014 9783319105772 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319105772 Author 作者 Fleet Format 版本 平装-胶订 Pages Number 页数 851页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-09-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.7 cm Shipping Weight 商品重量 1324g Language 语种 英语 Book Contents 内容简介 The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014.The 363 revised papers presented were carefully reviewed and selected from 1444 submissions. The papers are organized in topical sections on tracking and activity recognition; recognition; learning and inference; structure from motion and feature matching; computational photography and low-level vision; vision; segmentation and saliency; context and 3D scenes; motion
¥548.00
【预订】Computer-Based Mathematics Education and the Use of MatC 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781799857198 Author 作者 Francesco Aldo Costabile Format 版本 平装-胶订 Publisher 出版社 Information Science Publishing Publication Date 出版日期 2020-08-07 Language 语种 英语 Book Contents 内容简介 The theme of inserting new digital technologies into the teaching and learning of mathematics from primary and secondary schools has provoked a wide and interesting debate. One such debate is the reformation of the foundations of mathematics to include computation (what and how to calculate) among the traditional themes (Arithmetic, Geometry, etc.) of mathematics. Thus, the authors propose the MatCos Project as a new approach for solving this issue.Computer-Based Mathematics Education and the Use of MatCos Software in Primary and Secondary Schools is a critical reference source that proposes a new pedagogical-learning paradigm that guides students in the formation of an active,
¥1924
【预订】Computer and Computing Technologies in Agriculture 97836 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642432217 Author 作者 Li Format 版本 平装-胶订 Pages Number 页数 666页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2014-02-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 1027g Language 语种 英语 Book Contents 内容简介 The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 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
¥1095
【预订】Computer Science Logic 9783540665366 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540665366 Author 作者 Flum Format 版本 平装-胶订 Pages Number 页数 588页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-09-08 Language 语种 英语 Book Contents 内容简介 The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all ca
¥548.00
【预订】Computer Science Logic 9783540454588 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540454588 Author 作者 ?sik Format 版本 平装-胶订 Pages Number 页数 627页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-20 Language 语种 英语 Book Contents 内容简介 Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
¥1095
【预订】Computer and Computing Technologies in Agriculture IV 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642267154 Author 作者 Li Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-04-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 1151g Language 语种 英语 Book Contents 内容简介 This book constitutes Part III 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-comme
¥1095
【预订】Computer Techniques for Image Processing in Electron Mic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128209998 Format 版本 精装 Pages Number 页数 232页 Publisher 出版社 Academic Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9 x 6 x 0.7 cm Shipping Weight 商品重量 13440g Language 语种 英语
¥2611
【预订】Computer Programming for Beginners and Cybersecurity: 4 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781914045189 Author 作者 Grid Format 版本 平装-胶订 Pages Number 页数 562页 Publisher 出版社 Alan Grid Publication Date 出版日期 2021-02-12 Product Dimensions 商品尺寸 9.00 x 6.00 x 1.14 Shipping Weight 商品重量 1.64 Language 语种 其它（含多语）
¥497.00
【预订】Computer Fundamentals with Pharmacy Applications 9789352 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789352300488 Author 作者 N. K. Tiwari Format 版本 精装 Pages Number 页数 449页 Publisher 出版社 CPS Publication Date 出版日期 2015-01-01 Language 语种 其它（含多语） Book Contents 内容简介 The immense popularity of the first edition of this book by the faculty members and students of various colleges has resulted in publishing the Second Edition, with the new Chapters 11 and 13, now in all15 chapters, systematically organized for the better understanding of the subject in building strong fundamentals of computer and its applications. Features ? In Chapter 11 Programming Language C is discussed ? Chapter 13 deals with Application software This expanded edition will definitely be more helpful to the students.
¥1142
【预订】Computer Aided Verification 9783540439974 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540439974 Author 作者 Brinksma Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-19 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the conference on Computer Aided V- ication (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we r
¥1095
【预订】Computer Vision and Graphics 9783642159060 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642159060 Author 作者 Bolc Format 版本 平装-胶订 Pages Number 页数 395页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-09-13 Language 语种 英语 Book Contents 内容简介 Contains proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. This title includes papers organized in sections such as: advances in pattern recognition, machine vision and image understanding; human motion analysis and synthesis; and computer vision and graphics.
¥548.00
【预订】Computer Vision: A Reference Guide 美国库房发货，通常付款后3-5周到货！
¥8761
【预订】Computer Aided Assessment of Mathematics 美国库房发货，通常付款后3-5周到货！
¥1049
【预订】Computer Systems: Digital Design, Fundamentals of Comput 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319667744 Author 作者 Elahi, Ata Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-11-16 Language 语种 英语
¥1482
【预订】Computer Vision: Second Ccf Chinese Conference, CCCV 201 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811072987 Author 作者 Liu, Qingshan Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-11-30 Language 语种 英语
¥1095
【预订】Computer Vision - ACCV 2010 9783642193149 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642193149 Author 作者 Kimmel Format 版本 平装-胶订 Pages Number 页数 510页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-03-14 Shipping Weight 商品重量 763g Language 语种 英语 Book Contents 内容简介 The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010.All together the four volumes present 206 revised papers selected from a total of 739 Submissions. All current issues in computer vision are addressed ranging from algorithms that attempt to automatically understand the content of images, optical methods coupled with computational techniques that enhance and improve images,and capturing and analyzing the world’s geometry while preparing the higher level image and shape understanding.
¥548.00
【预订】Computer Vision – ECCV 2020 9783030586096 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030586096 Format 版本 平装-胶订 Pages Number 页数 801页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-10-07 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2550g Language 语种 其它（含多语） Book Contents 内容简介 The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020. The conference was held virtually due to the COVID-19 pandemic.The 1360 revised papers presented in these proceedings were carefully reviewed and selected from a total of 5025 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image
¥1095
【预订】Computer Science - Theory and Applications 9783540745099 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540745099 Author 作者 Volker Diekert Universit?t Stuttgart Institutsverbund Infor Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-08-15 Language 语种 英语
¥548.00
【预订】Computer and Computing Technologies in Agriculture IV 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642267161 Author 作者 Li Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-04-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 1187g Language 语种 英语 Book Contents 内容简介 This book constitutes Part IV 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-commer
¥1095
【预售 按需印刷】Computer Graphics 北京发货，付款后10天内发货
¥1007
【预订】Computer Performance Engineering 9783031250484 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031250484 Author 作者 Katja Gilly de la Sierra-Llamazares Format 版本 平装-胶订 Pages Number 页数 220页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.The 14 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering. The sessions covered a wide range of topics including robustness analysis, machine learning, edge and cloud computing, as well as more traditional topics on stochastic modelling, techniques and tools.
¥706.00
【预订】Computer Vision 9783110756678 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110756678 Format 版本 精装 Pages Number 页数 358页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-02-20 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它（含多语） Book Contents 内容简介 This book focuses on the latest developments in the fields of visual AI, image processing and computer vision. It shows research in basic techniques like image pre-processing, feature extraction, and enhancement, along with applications in biometrics, healthcare, neuroscience and forensics. The book highlights algorithms, processes, novel architectures and results underlying machine intelligence with detailed execution flow of models.
¥1825
【预订】Computer Graphics for Java Programmers 9783319875323 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319875323 Author 作者 Leen Ammeraal Kortenhoef The Netherlands Format 版本 平装-胶订 Pages Number 页数 387页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-24 Language 语种 英语 Book Contents 内容简介 This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding. Completely revised and updated according to years of classroom teaching, the third edition of this highly popular textbook contains a large number of ready-to-run Java programs and an algorithm animation and demonstration open-source software also in Java. It includes exercises
¥734.00
【预订】Computer-Aided Reasoning: An Approach 美国库房发货，通常付款后3-5周到货！
¥3655
【预订】Computer Intensive Methods in Control and Signal Process 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】COMPUTER SIMULATION OF SHAPED CHARGE PROBLEMS 9789812566 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789812566232 Author 作者 LEE WEN HO Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2006-05-18 Shipping Weight 商品重量 676g Language 语种 其它（含多语） Book Contents 内容简介 Devoted to the subject of shape charge design using numerical methods, this book offers the defense and commercial industries unique material not contained in any other single volume. The coverage of the Lagrangian and Eulerian methods as well as the equation of state provides first hand help to engineers working on shape charge problems. The book includes detailed deions of oil-well perforation not available from any other sources and, coupled with the material flow physics discussed in Chapters 2 and 3 and Appendix B, read
¥1607
【预订】Computer-Aided Judicial Analysis 9780899306704 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780899306704 Author 作者 Nagel Format 版本 精装 Pages Number 页数 392页 Publisher 出版社 Praeger Publication Date 出版日期 1992-10-23 Product Dimensions 商品尺寸 22.9 x 15.2 x 2.5 cm Shipping Weight 商品重量 0.7 kg Language 语种 其它（含多语） Book Contents 内容简介 Decision-aiding software, the underpinning of computer-aided judicial analysis, can facilitate the prediction of how cases are likely to be decided, prescribe decisions that should be reached in such cases, and help administrate more efficiently the court process. It can do so, says Nagel, by listing past cases on each row of a spreadsheet matrix, by listing predictive criteria in the columns, and in general by showing for each factual element the estimated probability of winning a case. The software aggregates the information ava
¥835.00
【预订】Computer Safety, Reliability, and Security. SAFECOMP 202 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031148613 Author 作者 Mario Trapp Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Springer International Publishing AG Publication Date 出版日期 2022-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. * 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) * 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) * 9th International Workshop on Next Generation of System Assurance Approaches for Cri
¥1095
【预订】Computer Intensive Methods in Statistics 9780367194239 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367194239 Author 作者 Silvelyn Zwanzig and Behrang Mahjani Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-12-02 Language 语种 英语 Book Contents 内容简介 This book gives an overview of statistical methods that have been developed during the last years due to increasing computer use, including random number generators, Monte Carlo methods, Markov Chain Monte Carlo (MCMC) methods, Bootstrap, EM algorithms, wavelet estimators, splines, and model assessment
¥719.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车