【预订】Computer Programming: Learn Any Programming Language in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781985644915 Format 版本 平装-胶订 Publisher 出版社 Createspace Independent Publishing Platform Publication Date 出版日期 2018-03-12 Language 语种 英语
¥451.00
【预订】Computer Vision Using Deep Learning 9781484266151 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781484266151 Author 作者 Verdhan Format 版本 平装-胶订 Pages Number 页数 308页 Publisher 出版社 Apress Publication Date 出版日期 2021-02-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1030g Language 语种 其它（含多语） Book Contents 内容简介 Organizations spend huge resources in developing software that can perform the way a human does. Image classification, object detection and tracking, pose estimation, facial recognition, and sentiment estimation all play a major role in solving computer vision problems.This book will bring into focus these and other deep learning architectures and techniques to help you create solutions using Keras and the TensorFlow library. You’ll also review mutliple neural network architectures, including LeNet, AlexNet, VGG, Inception, R-CNN, Fast R-CNN, Faster R-CNN, Mask R-CNN, YOLO,
¥463.00
【预订】Computer Vision and Augmented Reality in iOS 97814842746 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781484274613 Author 作者 Ahmed Fathi Bekhit Format 版本 平装-胶订 Pages Number 页数 159页 Publisher 出版社 Apress Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语） Book Contents 内容简介 Learn how computer vision works, how augmented reality renders digital graphics into the physical world via an iPhone’s camera, and how to incorporate these technologies into your own apps. This book shows you how to take full advantage of computer vision technologies.Interacting with other people online usually involves user-generated images and videos; whether it be “memes”, short videos, or heavily-modified images. Before smart phones, generating this content required a professional using high-level image and video editing software. Not any more. This book will teach you to use computer vision in the most popular ways, such as for facial recognition, i
¥463.00
【预订】Computer Vision 9783662451281 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662451281 Author 作者 Lutz Priese Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Vieweg+Teubner / Springer Fachmedien Wiesbaden Publication Date 出版日期 2015-09-26 Product Dimensions 商品尺寸 24.4 x 17 x 1.9 cm Shipping Weight 商品重量 0.6 kg Language 语种 其它（含多语）
¥460.00
【预订】Computer Analysis of Scenes of 3-Dimensional Curved Obje 美国库房发货，通常付款后3-5周到货！
¥463.00
【预订】Computer-Animation in Der Kartographie: Theorie Und Prax 美国库房发货，通常付款后3-5周到货！
¥460.00
【预订】Computer Network Security and Cyber Ethics 9780786425952 美国库房发货，通常付款后3-5周到货！
¥462.00
【预订】Computer Network Security and Cyber Ethics 97807864 美国库房发货，通常付款后3-5周到货！
¥472.00
【预订】Computer-Supported Collaborative Learning at the Workpla 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781489973887 Author 作者 Goggins Format 版本 平装-胶订 Pages Number 页数 333页 Publisher 出版社 Springer US Publication Date 出版日期 2015-06-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 534g Language 语种 英语 Book Contents 内容简介 This book is an edited volume of case studies exploring the uptake and use of computer supported collaborative learning in work settings. This book fills a significant gap in the literature. A number of existing works provide empirical research on collaborative work practices (Lave & Wenger, 1987; Davenport, 2005), the sharing of information at work (Brown & Duguid, 2000), and the development of communities of practice in workplace settings (Wenger, 1998). Others examine the munificent variation of information and communication technology use in the work place, including studies of i
¥1095
【预订】Computer Meets Theoretical Physics 9783030393984 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030393984 Author 作者 Battimelli Giovanni Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-21 Language 语种 英语 Book Contents 内容简介 This book provides a vivid account of the early history of molecular simulation, a new frontier for our understanding of matter that was opened when the demands of theoretical physicists were met by the availability of the modern computers.Since their inception, electronic computers have enormously increased their performance, thus making possible the unprecedented technological revolution that characterizes our present times. This obvious technological advancement has brought with it a silent scientific revolution in the practice of theoretical physics. In particular, in the physics of matter it has opened up a direct route from the microscopic physical laws t
¥510.00
【预订】Computer Vision – ECCV 2020 Workshops 9783030682378 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030682378 Format 版本 平装-胶订 Pages Number 页数 752页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-01-31 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2370g Language 语种 英语 Book Contents 内容简介 The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic.The 249 full papers, 18 short papers, and 21 further contributions included in the workshop proceedings were carefully reviewed and selected from a total of 467 submissions. The papers deal with diverse computer vision topics.Part V includes: The 16thEmbedded Vi
¥1424
【预订】Computer Vision -- ECCV 2014 9783319106014 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319106014 Author 作者 Fleet Format 版本 平装-胶订 Pages Number 页数 853页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-09-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.7 cm Shipping Weight 商品重量 1329g 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-Supported Collaborative Decision-Making 9783319 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319472195 Author 作者 Filip Format 版本 精装 Pages Number 页数 216页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-11-08 Shipping Weight 商品重量 514g Language 语种 英语 Book Contents 内容简介 This is a book about how management and control decisions are made by persons who collaborate and possibly use the support of an information system. The decision is the result of human conscious activities aiming at choosing a course of action for attaining a certain objective (or a set of objectives). The act of collaboration implies that several entities who work together and share responsibilities to jointly plan, implement and evaluate a program of activities to achieve the common goals. The book is intended to present a balanced view of the domain to include both well-established concepts and a selection of new results in th
¥1095
【预订】Computer and Computing Technologies in Agriculture, Volu 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441945839 Author 作者 Daoliang Li Format 版本 平装-胶订 Pages Number 页数 736页 Publisher 出版社 Springer US Publication Date 出版日期 2010-11-23 Shipping Weight 商品重量 1139g Language 语种 英语 Book Contents 内容简介 The papers in this volume comprise the refereed proceedings of the the First International Conference on Computer and Computing Technologies in Ag- culture (CCTA 2007), in Wuyishan, China, 2007. This conference is organized by China Agricultural University, Chinese Society of Agricultural Engineering and the Beijing Society for Information Technology in Agriculture. The purpose of this conference is to facilitate the communication and cooperation between institutions and researchers on theories, methods and implementation of computer science and information technology. By researching information technology development and the - sources i
¥1643
【预订】Computer Algebra in Scientific Computing 9783540751861 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540751861 Author 作者 V.G. Ganzha Format 版本 平装-胶订 Pages Number 页数 460页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-12 Language 语种 英语
¥548.00
【预订】Computer and Information Science 2011 9783642268168 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642268168 Author 作者 Lee Format 版本 平装-胶订 Pages Number 页数 264页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-07-15 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.6 cm Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 The series ’Studies in Computational Intelligence’ (SCI) publishes new developments and advances in the various areas of computational intelligence – quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic a
¥1643
【预订】Computer Network Simulation Using NS2 9780367574628 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367574628 Author 作者 Ajit Kumar Nayak Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 610g Language 语种 英语 Book Contents 内容简介 Computer Network Simulations Using NS2 provides a solid foundation of computer networking knowledge and skills, covering everything from simple operating system commands to the analysis of complex network performance metrics.The book begins with a discussion of the evolution of data communication techniques and the fundamental issues associated with performance evaluation. After presenting a preliminary overview of simulation and other performance evaluation techniques, the authors:Describe a number of computer network protocols and TCP/IP and OSI models, highlighting the networking devices used Explain a socket and its use in network
¥611.00
【预订】Computer Aided Verification 9783319088662 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319088662 Author 作者 Biere Format 版本 平装-胶订 Pages Number 页数 877页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-08-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.8 cm Shipping Weight 商品重量 1371g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem provi
¥1095
【预订】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 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 – ECCV 2020 9783030585914 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030585914 Format 版本 平装-胶订 Pages Number 页数 799页 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 Networks and Intelligent Computing: 5th Interna 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer-Mediated-Communication in Pre-Graduate Mathemat 美国库房发货，通常付款后3-5周到货！
¥859.00
【预订】Computer Applications for Modeling, Simulation, and Auto 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Computer Communications & Networks
¥878.05
【预订】Computer Safety, Reliability, and Security 9783030262495 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030262495 Author 作者 Romanovsky Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-29 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019: 8th International Workshop on Next Generation of
¥723.00
【预订】Computer Vision – ECCV 2022 9783031197833 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031197833 Author 作者 Shai Avidan Format 版本 平装-胶订 Pages Number 页数 740页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-23 Language 语种 其它（含多语） Book Contents 内容简介 The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 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; computational photography; neural networks;
¥1192
【预订】Computer Aided Constellation Management and Communicatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811985546 Author 作者 Daljeet Singh Format 版本 精装 Pages Number 页数 204页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-03 Language 语种 其它（含多语） Book Contents 内容简介 This book comprises the select proceedings of the International Conference on Small Satellites and its Applications (ICSS) 2022. It aims to provide a comprehensive and broad-spectrum picture of the state-of-the-art research, development, and commercial perspective of various discoveries conducted in the real-world smart small satellites, applications, and their services. The contents of this book focus on efficient power management systems, application-based optimum payload designs, telemetry and telecom and advanced navigation and RF systems, flight and ground software, structure, mechanism and materials, spacecraft autonomy, quality, testing and relia
¥3067
【预订】Computer Vision – ACCV 2022 Workshops 9783031270659 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031270659 Author 作者 Yinqiang Zheng Format 版本 平装-胶订 Pages Number 页数 377页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语）
¥803.00
【预订】Computer Analysis of Images and Patterns 9783112576199 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783112576199 Author 作者 Voss Format 版本 精装 Pages Number 页数 268页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1989-12-31 Language 语种 其它（含多语）
¥1337
【预订】Computer Aided Systems Theory - EUROCAST’99 978354067822 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540678229 Author 作者 Pichler Format 版本 平装-胶订 Pages Number 页数 606页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-07-26 Language 语种 英语 Book Contents 内容简介 Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between s
¥1095
【预订】Computer and Computing Technologies in Agriculture II, V 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954954 Author 作者 Daoliang Li Beijing China People’s Republic Format 版本 平装-胶订 Pages Number 页数 4612页 Publisher 出版社 Springer US Publication Date 出版日期 2010-12-08 Shipping Weight 商品重量 1205g Language 语种 英语 Book Contents 内容简介 The papers in this volume comprise the refereed proceedings of the Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), in Beijing, China, 2008. The conference on the Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA 2008) is cooperatively sponsored and organized by the China Agricultural University (CAU), the National Engineering Research Center for Information Technology in Agriculture (NERCITA), the Chinese Society of Agricultural Engineering (CSAE) , International Federation for Information Processing
¥1643
【预订】Computer Organization, Design, and Architecture, Fifth E 美国库房发货，通常付款后3-5周到货！
¥1560
【预订】Computer-Assisted Medical Decision Making 9781461385561 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461385561 Author 作者 J.A. Reggia Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-11-11 Product Dimensions 商品尺寸 23.4 x 15.6 x 1.7 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它（含多语） Book Contents 内容简介 Computer technology has impacted the practice of medicine in dramatic ways. Imaging techniques provide noninvasive tools which alter the diag? nostic process. Sophisticated monitoring equipment presents new levels of detail for both patient management and research. In most of these high technology applications, the computer is embedded in the device; its presence is transparent to the user. There is also a growing number of applications in which the health care provider directly interacts with a computer. In many cases, these appli? cations are limited to a
¥548.00
【预订】Computer Networks, Big Data and IoT 9789811609671 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811609671 Author 作者 Pandian Format 版本 平装-胶订 Pages Number 页数 991页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-22 Product Dimensions 商品尺寸 9.21 x 6.14 x 2.00 Shipping Weight 商品重量 3.07 Language 语种 其它（含多语） Book Contents 内容简介 This book presents best selected research papers presented at the International Conference on Computer Networks, Big Data and IoT (ICCBI 2020), organized by Vaigai College Engineering, Madurai, Tamil Nadu, India, during 15–16 December 2020. The book covers original papers on computer networks, network protocols and wireless networks, data communication technologies and network security. The book is a valuable resource and reference for researchers, instructors, students, scientists, engineers, managers and industry practitioners in those important areas.
¥3285
【预订】Computer Algebra Recipes: A Gourmet S Guide to the Mathe 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Computer Simulation in Learning
¥629.00
【预订】Computer Telephony Encyclopedia 9781138412286 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138412286 Author 作者 Richard Grigonis Format 版本 精装 Pages Number 页数 575页 Publication Date 出版日期 2017-08-02 Language 语种 英语 Book Contents 内容简介 Computer telephony spans a vast range of equipment, technology and services. This volume provides a handy reference for topics that go beyond the reader’s specific expertise. It explains what the technology is, how it works and how it fits into the picture of computer telephony.
¥2373
【预售 按需印刷】Computer-Mediated Communication
¥1448.4
【预订】Computer Aided Writing 9783030274382 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030274382 Author 作者 Klahold Andre Format 版本 精装 Pages Number 页数 167页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-10-30 Language 语种 英语 Book Contents 内容简介 This book deals with "Computer Aided Writing", CAW for short. The contents of that is a sector of Knowledge based technics and Knowledge Management. The role of Knowledge Management in social media, education and Industry 4.0 is out of question. More important is the expectation of combining Knowledge Management and Cognitive Technology, which needs more and more new innovations in this field to face recent problems in social and technological areas.The book is intended to provide an overview of the state of research in this field, show the extent to which computer assistance in writing is already being used and present current research contributions.After a b
¥1643
【预订】Computer and Physical Modelling in Geotechnical Engineer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061918646 Format 版本 精装 Pages Number 页数 550页 Publisher 出版社 CRC Press Publication Date 出版日期 1989-01-01 Shipping Weight 商品重量 1133g Language 语种 其它（含多语） Book Contents 内容简介 Proceedings of a conference on [title] held Dec. 1986, Bangkok. Covers stability of natural and man made slopes, design and analysis of foundations, underground openings and excavations, computer controlled testing and investigation of soils, comp...
¥1175
【预订】Computer-Aided Verification of Coordinating Processes 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780691634890 Author 作者 Robert P. Kurshan Format 版本 精装 Pages Number 页数 284页 Publisher 出版社 Princeton University Press Publication Date 出版日期 2016-04-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1270g Language 语种 英语 Book Contents 内容简介 Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness,
¥1622
【预订】Computer-Human Interaction Research and Applications: Fi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030329648 Author 作者 Holzinger Format 版本 平装-胶订 Pages Number 页数 155页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-20 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.5 cm Shipping Weight 商品重量 550g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the First International Conference on Computer-Human Interaction Research and Applications, CHIRA 2017, held in Funchal, Madeira, Portugal, in October/November 2017.The 8 full papers presented in this book were carefully reviewed and selected from 35 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on computer-human interaction, including Interaction design, human factors, entertainment, cognition, perception, user-friendly software and sy
¥548.00
【预订】Computer, Network, Software, and Hardware Engineering wi 美国库房发货，通常付款后3-5周到货！
¥1986
【预订】Computer-Aided Fixture Design: Manufacturing Engineering 美国库房发货，通常付款后3-5周到货！
¥3616
【预订】Computer Vision – ACCV 2020 9783030695347 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030695347 Author 作者 Ishikawa Format 版本 平装-胶订 Pages Number 页数 757页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-25 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2350g 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 Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）
¥1560
【预订】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 Vision – ECCV 2020 Workshops 9783030670696 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030670696 Format 版本 平装-胶订 Pages Number 页数 762页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-01-30 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2400g Language 语种 英语 Book Contents 内容简介 The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic.The 249 full papers, 18 short papers, and 21 further contributions included in the workshop proceedings were carefully reviewed and selected from a total of 467 submissions. The papers deal with diverse computer vision topics.Part III includes the Advances in Im
¥1424
【预订】Computer Modelling in Tomography and Ill-Posed Problems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110364125 Author 作者 Lavrent’ev Format 版本 精装 Pages Number 页数 128页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2001-02-18 Product Dimensions 商品尺寸 24 x 15,5 Language 语种 其它（含多语） Book Contents 内容简介 Comparatively weakly researched untraditional tomography problems are solved because of new achievements in calculation mathematics and the theory of ill-posed problems, the regularization process of solving ill-posed problems, and the increase of stability. Experiments show possibilities and applicability of algorithms of processing tomography data. This monograph is devoted to considering these problems in connection with series of ill-posed problems in tomography settings arising from practice.The book includes chapters to the following themes: Mathematical basis of the method of computerized tomography Cone
¥1825
【预订】Computer Arithmetic in Practice: Exercises and Programmi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032425634 Author 作者 Grys Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-09-26 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.50 Shipping Weight 商品重量 1.05磅 Language 语种 其它（含多语） Book Contents 内容简介 Computer Arithmetic in Practice: Exercises and Programming is a simple, brief introductory volume for undergraduate and graduate students at university courses interested in understanding the foundation of computers. It is focused on numeric data formats and capabilities of computers to perform basic arithmetic operations. It discusses mainly such topics as:Basic concepts of computer architectureAssembly language programming skillsData formats used to express integer and real numbersAlgorithms of basic arithmetic operationsShort overview of nonlinear functions evaluationDiscussion
¥1492
【预订】Computer Science and Education: 17th International Confe 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819924424 Format 版本 平装-胶订 Pages Number 页数 727页 Publisher 出版社 Springer Publication Date 出版日期 2023-05-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.51 Shipping Weight 商品重量 2.29 Language 语种 其它（含多语）
¥1314
【预订】Computer Supported Education: 7th International Conferen 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Computer Science Reconsidered
¥1334.5
【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789056992064 Format 版本 精装 Pages Number 页数 852页 Publisher 出版社 CRC Press Publication Date 出版日期 1999-01-18 Shipping Weight 商品重量 2086g Language 语种 其它（含多语）
¥4370
【预订】Computer Networks: 26th International Conference, CN 201 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030219512 Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-06-05 Language 语种 英语
¥548.00
【预订】Computer Vision - ACCV 2010 9783642193088 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642193088 Author 作者 Kimmel Format 版本 平装-胶订 Pages Number 页数 726页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-03-14 Shipping Weight 商品重量 1033g 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
¥1095
【预订】Computer Safety, Reliability, and Security 9783540292005 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540292005 Author 作者 Winther Format 版本 平装-胶订 Pages Number 页数 405页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
¥548.00
【预订】Computer Science Logic 9783540631729 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540631729 Author 作者 Dalen Format 版本 平装-胶订 Pages Number 页数 479页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-06-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL’96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车