【预订】Computer Science -- Theory and Applications 978364230641 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642306419 Author 作者 Hirsch Format 版本 平装-胶订 Pages Number 页数 327页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-05-16 Shipping Weight 商品重量 534g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its applications.
¥548.00
【预订】Computer Security - ESORICS 2004 9783540229872 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540229872 Author 作者 Samarati Format 版本 平装-胶订 Pages Number 页数 457页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-06 Language 语种 英语
¥548.00
【预订】Computer Vision and Mathematical Methods in Medical and 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540226758 Author 作者 Sonka Format 版本 平装-胶订 Pages Number 页数 444页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-20 Language 语种 英语 Book Contents 内容简介 Medical imaging and medical image analysisare rapidly developing. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of acquired data makes it impossible to utilize them in full. Equally important, the visual approaches to medical image analysis are known to suer from a lack of reproducibility. A signi?cant researche?ort is devoted to developing algorithms for processing the wealth of data available and extracting the relevant information in a computerized and quantitative fashion. Medical imaging and image analysis are interdisciplinary areas
¥548.00
【预订】Computer Vision in Sports 9783319379739 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319379739 Author 作者 Thomas B. Moeslund Aalborg University Aalborg Denmark Format 版本 平装-胶订 Pages Number 页数 319页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-07 Shipping Weight 商品重量 596g Language 语种 英语 Book Contents 内容简介 The first book of its kind devoted to this topic, this comprehensive text/reference presents state-of-the-art research and reviews current challenges in the application of computer vision to problems in sports. Opening with a detailed introduction to the use of computer vision across the entire life-cycle of a sports event, the text then progresses to examine cutting-edge techniques for tracking the ball, obtaining the whereabouts and pose of the players, and identifying the sport being played from video footage. The work concludes by investigating a selection of systems for the
¥1095
【预订】Computer Network Security 9781441935434 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441935434 Author 作者 Kizza Format 版本 平装-胶订 Pages Number 页数 535页 Publication Date 出版日期 2010-10-29 Language 语种 英语 Book Contents 内容简介 A comprehensive survey of computer network security concepts, methods, and practices. This authoritative volume provides an optimal de*ion of the principles and applications of computer network security in particular, and cyberspace security in general. The book is thematically divided into three segments: Part I describes the operation and security conditions surrounding computer networks; Part II builds from there and exposes readers to the prevailing security situation based on a constant security threat; and Part III - the core - presents readers with most of the best practices and solutions currently in use. It is intended as both a teaching tool and reference. This broad-ranging text/reference comprehensively surve
¥548.00
【预订】Computer Vision -- ACCV 2012 9783642374432 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642374432 Author 作者 Lee Format 版本 平装-胶订 Pages Number 页数 817页 Publication Date 出版日期 2013-04-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 1270g Language 语种 英语 Book Contents 内容简介 The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. The total of 226 contributions presented in these volumes was carefully reviewed and selected from 869 submissions. The papers are organized in topical sections on object detection, learning and matching; object recognition; feature, representation, and recognition; segmentation, grouping, and classification; image representation; image and video retrieval and medical image analysis; face and gesture analysis and recognition; o
¥548.00
【预订】Computer Simulation Studies in Condensed-Matter Physics 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642799938 Author 作者 Landau Format 版本 平装-胶订 Pages Number 页数 181页 Publication Date 出版日期 2012-01-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Language 语种 英语 Book Contents 内容简介 Computer Simulation Studies in Condensed-Matter Physics VIII covers recent developments in this field presented at the 1995 workshop, such as new algorithms, methods of analysis, and conceptual developments. This volume is composed of three parts. The first part contains invited papers that deal with simulational studies of classical systems. The second part is devoted to invited papers on quantum systems, including new results for strongly correlated electron and quantum spin models. The final part comprises contributed presentations.
¥1095
【预订】Computer Aided Decision Support in Telecommunications 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789401065245 Author 作者 Flavin Format 版本 平装-胶订 Pages Number 页数 228页 Publication Date 出版日期 2011-09-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Language 语种 英语 Book Contents 内容简介 In bringing together this book, the editors have kept two goals in mind. Firstly, the goal of educating the reader by giving an insight into the wealth of computing and mathematical techniques now being used to build decision support systems. Secondly, of aiming to stimulate the imagination by including an eclectic mix of contributions from a wide range of business areas to demonstrate that there is no field in which modern decision support techniques cannot usefully be applied. The quintessence of decision support systems is that they are designed to assist people in establishing the best course of action in a given situation but not to automate or tel
¥548.00
【预订】Computer Vision – ECCV 2018 9783030012335 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030012335 Author 作者 Ferrari Format 版本 平装-胶订 Pages Number 页数 855页 Publication Date 出版日期 2018-10-06 Language 语种 英语 Book Contents 内容简介 The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topicalsections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization;matching and recognition; video attention; and poster sessions.
¥1095
【预订】Computer and Computing Technologies in Agriculture IX: 9 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319839196 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-29 Language 语种 英语 Book Contents 内容简介 The two volumes IFIP AICT 478 and 479 constitute the refereed post-conference proceedings of the 9th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2015, held in Beijing, China, in September 2015. The 122 revised papers included in this volume were carefully selected from 237 submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including intelligent sensing, monitoring and automatic control technology; key technology and models of the Internet of things; intelligent technology for agricultural equipment; computer vision; computer graphics and virtual reality; computer simulation, optimization and modeling; cloud computing and ag
¥1095
【预订】Computer Applications for Handling Legal Evidence, Polic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048189892 Author 作者 Nissan Format 版本 精装 Pages Number 页数 1340页 Publication Date 出版日期 2012-06-15 Shipping Weight 商品重量 2465g Language 语种 英语 Book Contents 内容简介 This book provides an overview of computer techniques and tools — especially from artificial intelligence (AI) — for handling legal evidence, police intelligence, crime analysis or detection, and forensic testing, with a sustained discussion of methods for the modelling of reasoning and forming an opinion about the evidence, methods for the modelling of argumentation, and computational approaches to dealing with legal, or any, narratives. By the 2000s, the modelling of reasoning on legal evidence has emerged as a significant area within the well-established field of AI & Law. An overview such as this one has never been attempted before. It offers a panoramic view of topics, techniq
¥2190
【预订】Computer Integrated Experimentation 9783642956409 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642956409 Author 作者 Magrab Format 版本 平装-胶订 Pages Number 页数 295页 Publisher 出版社 Springer Publication Date 出版日期 2012-02-14 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Language 语种 英语 Book Contents 内容简介 This book provides a basis by which instruments and transducers can be selected, assembled and integrated with a computer to measure and control physical processes in an accurate and predictable manner. It consists of two parts, the first of which lays the theoretical foundation for the second. First the Fourier analysis of signals are summarized. Then, from a systems point of view, the following chapters introduce the important aspects of filters, amplifiers and analog-to-digital converters. The second half of the book first discusses in depth the importance of the timing of the computer with its instruments, transducers and act
¥548.00
【预订】Computer Vision and Audition in Urban Analysis Using the 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811335426 Author 作者 Mohammad Ali Nematollahi Format 版本 精装 Pages Number 页数 106页 Publisher 出版社 Springer Publication Date 出版日期 2019-01-19 Language 语种 英语 Book Contents 内容简介 Artificial Intelligence (AI) is penetrating in all sciences as a multidisciplinary approach. However, adopting the theory of AI including computer vision and computer audition to urban intellectual space, is always difficult for architecture and urban planners. This book overcomes this challenge through a conceptual framework by merging computer vision and audition to urban studies based on a series of workshops called Remorph, conducted by Tehran Urban Innovation Center (TUIC).
¥1095
【预订】Computer in Buro Und Verwaltung: Psychologisches Wissen 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540507741 Author 作者 Frese, Michael(作者) Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Publication Date 出版日期 1989-06-22 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.5 cm Shipping Weight 商品重量 900g Language 语种 英语 Book Contents 内容简介 Hier wird erstmals eine umfassende und verstAndliche EinfA1/4hrung in das komplexe Gebiet der Mensch-Computer-Interaktion in BA1/4ro und Verwaltung gegeben. Behandelt werden folgende Fragen: Wie kann man neue Kommunikationstechniken in die betriebliche Praxis integrieren Wie kAnnen dabei die Kriterien humaner Arbeitsgestaltung berA1/4cksichtigt werden? Wie kann die Software-Gestaltung dahingehend optimiert werden? Wie sollte ein adAquates Training speziell fA1/4r die Mensch-Computer-Interaktion aussehen? Welche sozialen VerAnderu
¥562.00
【预订】Computer Aided Verification 9783540677703 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540677703 Author 作者 Emerson Format 版本 平装-胶订 Pages Number 页数 590页 Publication Date 出版日期 2000-06-28 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 12th International Conference on Computer Aided Verication (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioners in academia and industry. This year 91 regular research papers were submitted out of which 35 were - cepted, while 14 brief too
¥1095
【预订】Computer Security 9783319990729 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319990729 Author 作者 Lopez Format 版本 平装-胶订 Publication Date 出版日期 2018-08-12 Language 语种 英语 Book Contents 内容简介 The two-volume set, LNCS 11098 and LNCS 11099 constitutes the refereedproceedings of the 23nd European Symposium on Research in ComputerSecurity, ESORICS 2018, held in Barcelona, Spain, in September 2018.The 56 revised full papers presented were carefully reviewed andselected from 283 submissions. The papers address issues such as software security, blockchain and machine learning, hardware security, attacks, malware and vulnerabilities, protocol security, privacy, CPS and IoT security, mobile security, database and web security, cloud security, applied crypto, multi-party computation, SDN security.
¥548.00
【预订】Computer-Based Modeling of Novel Carbon Systems and Thei 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789400732544 Author 作者 Colombo Format 版本 平装-胶订 Pages Number 页数 250页 Publication Date 出版日期 2012-09-05 Product Dimensions 商品尺寸 9 x 6 x 0.6 cm Shipping Weight 商品重量 403g Language 语种 英语 Book Contents 内容简介 During the last twenty years, the multiplicity of potential carbon structures has consistently posed a formidable challenge to theoretical and computational physicists. Several different methods are currently being used to study the structure and the properties of such systems. These methods include simulations based on empirical potentials, tight-binding calculations and density functional theory (DFT). A combination of these methods is needed to make significant progress in the carbon field.This volume provides the reader with a survey of state-of-the-art theoretical and computational contributions featuring novel carbon syst
¥1095
【预订】Computer Security -- ESORICS 2013 9783642402029 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642402029 Author 作者 Crampton Format 版本 平装-胶订 Pages Number 页数 794页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-08-21 Shipping Weight 商品重量 1223g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 18th European Symposium on Computer Security, ESORICS 2013, held in Egham, UK, in September 2013.The 43 papers included in the book were carefully reviewed and selected from 242 papers. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together researchers in this area, by promoting the exchange of ideas with system developers and by encouraging links with researchers in related areas. The papers cover all topics related to security, privacy and trust in computer systems and networks.
¥548.00
【预订】Computer Security and the Internet 9783030336486 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030336486 Author 作者 Van Oorschot Format 版本 精装 Pages Number 页数 365页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-05 Product Dimensions 商品尺寸 10 x 7 x 0.8 cm Shipping Weight 商品重量 1970g Language 语种 英语 Book Contents 内容简介 This book provides a concise yet comprehensive overview of computer and Internet security, suitable for a one-term introductory course for junior/senior undergrad or first-year graduate students. It is also suitable for self-study by anyone seeking a solid footing in security – including software developers and computing professionals, technical managers and government staff. An overriding focus is on brevity, without sacrificing breadth of core topics or technical detail within them. The aim is to enable a broad understanding in roughly 350 pages. Further prioritization is
¥631.00
【预订】Computer Engineering: Concepts, Methodologies, Tools and 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781668431955 Author 作者 Irma(作者) Format 版本 精装 Pages Number 页数 562页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.25 Shipping Weight 商品重量 3.48磅 Language 语种 其它（含多语）
¥9354
【预订】Computer Science and its Applications 9783662516195 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662516195 Author 作者 James J. (Jong Hyuk) Park Seoul University of Science and T Format 版本 平装-胶订 Pages Number 页数 720页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-05-04 Shipping Weight 商品重量 2082g Language 语种 英语 Book Contents 内容简介 The 6th FTRA International Conference on Computer Science and its Applications (CSA-14) will be held in Guam, USA, Dec. 17 - 19, 2014. CSA-14 presents a comprehensive conference focused on the various aspects of advances in engineering systems in computer science, and applications, including ubiquitous computing, U-Health care system, Big Data, UI/UX for human-centric computing, Computing Service, Bioinformatics and Bio-Inspired Computing and will show recent advances on various aspects of computing technology, Ubiquitous Computing Services and its application.
¥3285
【预订】Computer Integrated Manufacturing: Models, Case Studies 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Computer Methods, Part C 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Computer-Assisted Reporting: A Comprehensive Primer 美国库房发货，通常付款后3-5周到货！
¥1539
【预订】Computer Vision: Second Ccf Chinese Conference, CCCV 201 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811073014 Author 作者 Meng, Deyu Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-01 Language 语种 英语
¥548.00
【预订】Computer-Assisted and Robotic Endoscopy 9783319540566 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319540566 Author 作者 Peters Format 版本 平装-胶订 Pages Number 页数 127页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-01 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 11 revised full papers were carefully selected out of 13 initial submissions. The papers are organized on topical secttion such as computer vision, graphics, robotics, medical imaging, external tracking systems, medical device controls systems, information processing techniques, endoscopy planning and simulation.
¥548.00
【预订】Computer Algebra in Scientific Computing: 19th Internati 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319663197 Author 作者 Gerdt, Vladimir P. Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-10-05 Language 语种 英语
¥766.00
【预订】Computer Aided Fashion Design Using Gerber Technology 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781501352430 Author 作者 Alvarado Format 版本 平装-胶订 Pages Number 页数 384页 Publisher 出版社 Continnuum-3PL Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.8 cm Shipping Weight 商品重量 1970g Language 语种 英语
¥895.00
【预订】Computer Vision in Human-Computer Interaction 9783540342 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540342021 Author 作者 Huang Format 版本 平装-胶订 Pages Number 页数 121页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-05-09 Language 语种 英语 Book Contents 内容简介 The interests and goals of HCI (human–computer interaction) include understanding, designing, building, and evaluating complex interactive systems - involving many people and technologies. Developments in software and hardware technologies are continuously driving applications in supporting our collaborative and communicative needs as social beings, both at work and at play. At the same time, similar developments are pushing the human–computer interface beyond the desktop and into our pockets, streets, and buildings. Developments in mobile, wearable, and pervasive communications and computing technologies provide exciting challenges and opportunities for HCI. This
¥548.00
【预订】Computer Vision – ECCV 2012 9783642337116 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642337116 Author 作者 Fitzgibbon Format 版本 平装-胶订 Pages Number 页数 881页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-08-31 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.7 cm Shipping Weight 商品重量 1365g Language 语种 英语 Book Contents 内容简介 The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the 12th European Conference on Computer Vision, ECCV 2012, held in Florence, Italy, in October 2012. The 408 revised papers presented were carefully reviewed and selected from 1437 submissions. The papers are organized in topical sections on geometry, 2D and 3D shapes, 3D reconstruction, visual recognition and classification, visual features and image matching, visual monitoring: action and activities, models, optimisation, learning, visual tracking and image registration,
¥1095
【预订】Computer-aided Design and Diagnosis Methods for Biomedic 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367638832 Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-04-23 Language 语种 英语 Book Contents 内容简介 Present book discusses uses of CAD to solve real world problems and challenges in Biomedical systems with the help of appropriate case studies and research simulation results. It explains behaviours, concepts, fundamentals, principles, case studies and future research directions including automatic identification of related disorders using CAD.
¥1763
【预订】Computer Safety, Reliability, and Security 9783540751007 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540751007 Author 作者 Francesca Saglietti Format 版本 平装-胶订 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-12 Language 语种 英语 Book Contents 内容简介 Since 1979, when it was rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and securi
¥548.00
【预订】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 Viruses and Other Malicious Soft
¥720.80
【预售 按需印刷】Computer Vision 北京发货，付款后10天内发货
¥766.00
【预订】Computer Science -- Theory and Applications 978354034166 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540341666 Author 作者 Grigoriev Format 版本 平装-胶订 Pages Number 页数 684页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-05-15 Language 语种 英语
¥1095
【预订】Computer Vision - ECCV 2008 9783540886891 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540886891 Author 作者 David Forsyth University of Illinois Urbana-Champaign Dept Format 版本 平装-胶订 Pages Number 页数 826页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-07 Shipping Weight 商品重量 1276g Language 语种 英语 Book Contents 内容简介 Welcome to the 2008EuropeanConference onComputer Vision. These proce- ings are the result of a great deal of hard work by many people. To produce them, a total of 871 papers were reviewed. Forty were selected for oral pres- tation and 203 were selected for poster presentation, yielding acceptance rates of 4.6% for oral, 23.3% for poster, and 27.9% in total. Weappliedthreeprinciples.First,sincewehadastronggroupofAreaChairs, the nal decisions to accept or reject a paper rested with the Area Chair, who wouldbeinformedbyreviewsandcouldactonlyinconsensuswithanotherArea Chair. Sec
¥1095
【预订】Computer Science Logic 9783540230243 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540230243 Author 作者 Marcinkowski Format 版本 平装-胶订 Pages Number 页数 522页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-02 Language 语种 英语
¥548.00
海外直订医药图书Computer Simulation in Brain Science 脑科学中的计算机模拟
¥680.00
【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866963 Author 作者 Amit Gefen Tel Aviv University Tel Aviv Israel Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-03 Language 语种 英语 Book Contents 内容简介 This edited volume collects the research results presented at the 14th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Tel Aviv, Israel, 2016. The topical focus includes, but is not limited to, cardiovascular fluid dynamics, computer modeling of tissue engineering, skin and spine biomechanics, as well as biomedical image analysis and processing. The target audience primarily comprises research experts in the field of bioengineering, but the book may also be beneficial for graduate students alike.
¥1643
【预订】Computer Vision – ECCV 2022 9783031200731 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031200731 Author 作者 Shai Avidan Format 版本 平装-胶订 Pages Number 页数 751页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-02 Language 语种 其它（含多语）
¥1192
【预订】Computer-Supported Collaborative Chinese Second Language 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811502705 Author 作者 Yun Wen Format 版本 精装 Pages Number 页数 175页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-05 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 1000g Language 语种 英语 Book Contents 内容简介 This book explores the implementation of an online representational tool, GroupScribbles, in Chinese-as-a-second-language classrooms from primary school to secondary school. It demonstrates the effectiveness of combining online representational tools with face-to-face classroom learning, and provides a workable approach to analysing interactions interweaving social and cognitive dimensions, which take place in the networked classroom. A series of suggestions regarding networked second language learning will help educators effectively implement information and communication tech
¥548.00
【预订】Computer-Assisted Career Decision Making: The Guide in t 美国库房发货，通常付款后3-5周到货！
¥707.00
【预订】Computer Chess Compendium 美国库房发货，通常付款后3-5周到货！
¥821.00
【预订】Computer Modeling of Gas Lasers 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Analysis of Visual Textures 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Computer-Supported Collaboration: With Applications to S 美国库房发货，通常付款后3-5周到货！
¥1095
【预售 按需印刷】Computer Assisted Exercises
¥1461.15
【预订】Computer Vision and Image Processing in Intelligent Syst 美国库房发货，通常付款后3-5周到货！
¥1840
【预订】Computer Vision - ACCV 2012 Workshops 9783642374838 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642374838 Author 作者 Park Format 版本 平装-胶订 Pages Number 页数 609页 Publication Date 出版日期 2013-03-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 973g Language 语种 英语 Book Contents 内容简介 The two volume set, consisting of LNCS 7728 and 7729, contains the carefully reviewed and selected papers presented at the nine workshops that were held in conjunction with the 11th Asian Conference on Computer Vision, ACCV 2012, in Daejeon, South Korea, in November 2012.From a total of 310 papers submitted, 78 were selected for presentation. LNCS 7728 contains the papers selected for the International Workshop on Computer Vision with Local Binary Pattern Variants, the Workshop on Computational Photography and Low-Level Vision, the Workshop on Developer-Centered Computer Vision, and the Workshop on Background Models Challenge.
¥548.00
【预订】Computer Vision – ECCV 2018 9783030012571 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030012571 Author 作者 Ferrari Format 版本 平装-胶订 Pages Number 页数 785页 Publication Date 出版日期 2018-10-06 Language 语种 英语 Book Contents 内容简介 The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topicalsections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization;matching and recognition; video attention; and poster sessions.
¥548.00
【预订】Computer, Software Und Vernetzungen Fur Die Lehre: Das C 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540550266 Format 版本 平装-胶订 Pages Number 页数 761页 Publisher 出版社 Springer Publication Date 出版日期 1992-05-25 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2360g Language 语种 英语 Book Contents 内容简介 Dieser Band 2 der Reihe Mikrocomputer-Forum f}r Bildung und Wissenschaft enth{lt die }berarbeiteten Beitr{ge zum 3. CIP-Status-Kongre im Produktionstechnischen Zentrum der TU und der Fraunhofer-Gesellschaft, Berlin 1989. Die Nutzanwendung des Computer-Investitionsprogramms wurde unter reger Beteiligung der Wissenschaftsverwaltungen und der Industrie von allen Fachrichtungen der Hochschulen aller Bundesl{nder eindrucksvoll dokumentiert. Das vielseitige Vortragsprogramm bot neben eingeladenen Vortr{gen sowie Hochschul-Softwarem{rkt
¥562.00
【预订】Computer and Information Science 9783642098079 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642098079 Author 作者 Lee Format 版本 平装-胶订 Pages Number 页数 284页 Publication Date 出版日期 2010-10-28 Shipping Weight 商品重量 462g Language 语种 英语
¥1095
【预订】Computer Vision – ECCV 2018 9783030012458 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030012458 Author 作者 Ferrari Format 版本 平装-胶订 Pages Number 页数 849页 Publication Date 出版日期 2018-10-06 Language 语种 英语 Book Contents 内容简介 The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topicalsections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization;matching and recognition; video attention; and poster sessions.
¥1095
【预订】Computer Aided Verification 9783540705437 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540705437 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 558页 Publication Date 出版日期 2008-07-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and spec
¥1462
【预订】Computer Simulation Studies in Condensed-Matter Physics 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642792953 Author 作者 Landau Format 版本 平装-胶订 Pages Number 页数 233页 Publication Date 出版日期 2011-12-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 Computer Simulation Studies in Condensed-Matter Physics VII provides a broad overview of recent developments. Presented at the recent workshop, it contains the invited and contributed papers which describe new physical results, simulational techniques and ways of interpreting simulational data. Both classical and quantum systems are discussed.
¥1095
【预订】Computer Methods in Mechanics 9783642262340 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642262340 Author 作者 Kuczma Format 版本 平装-胶订 Pages Number 页数 528页 Publication Date 出版日期 2012-05-04 Product Dimensions 商品尺寸 9 x 6 x 1.2 cm Shipping Weight 商品重量 848g Language 语种 英语 Book Contents 内容简介 Prominent scientists present the latest achievements in computational methods and mechanics in this book. These lectures were held at the CMM 2009 conference.
¥2190
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车