按需印刷It's Not About Age, It's About Attitude 预订,预计下单后2-3周左右发货!
¥88.00
海外直订Proof and the Burden of Proof in International Investmen
¥1156
明星店铺 中华商务进口图书旗舰店
【预订】Split Waters: The Idea of Water Conflicts 9780367466428 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367466428 Author 作者 Edited by Luisa Cortesi and K. J. Joy Format 版本 平装-胶订 Pages Number 页数 264页 Publisher 出版社 Routledge India Publication Date 出版日期 2021-06-29 Language 语种 其它(含多语) Book Contents 内容简介 Limited, finite, contaminated, unavailable or expensive, water divides people all around the globe. We all cannot do without water for long,?but can for long enough to fight for it.?This commonsensical narration of water conflicts, however,?follows a pattern of scarcity and necessity that is remarkably unvaried despite different social and geographical contexts.Through in-depth case studies from around the globe, this volume investigates this similarity of narration—confronting the power of a single story by taking it seriously instead of dismissing it. In so doing, it?invites to rethink water conflicts and how they are commonly u
¥517.00
预售 按需印刷 It s Not About Age, It s About Attitude 北京发货,付款后10天内发货
¥86.00
【预订】Umberto I Il Buono: Memorie Storico-Biografiche, Aneddot 美国库房发货,通常付款后3-5周到货!
¥197.00
【预订】Advanced Computing and Systems for Security 978981103390 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811033902 Author 作者 Cortesi, Agostino Format 版本 平装-胶订 Pages Number 页数 179页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-03-01 Language 语种 英语 Book Contents 内容简介 This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy; and the University of Calcutta, India. The book is divided into two volumes, Volumes 3 and 4, and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next-Generation Networking and Network Security, Remote Healthcare, Communications, Embedde
¥520.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥630.00
明星店铺 中华商务进口图书旗舰店
预订 Computer Information Systems and Industrial Man... 978364 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642332593 作者: Agostino Cortesi 装帧: 平装-胶订 页数: 444页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-08-10 重量: 1g 语种: 其它(含多语)
¥985.00
【预订】Advanced Computing and Systems for Security 978981103408 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811034084 Author 作者 Cortesi, Agostino Format 版本 平装-胶订 Pages Number 页数 183页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy; and the University of Calcutta, India. The book is divided into two volumes, Volumes 3 and 4, and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next-Generation Networking and Network Security, Remote Healthcare, Communications, Embedded S
¥520.00
【预订】Computer Information Systems and Industrial 美国库房发货,通常付款后3-5周到货!
¥520.00
海外直订Static Analysis: 6th International Symposium, Sas'99, Ve
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540436317 Author 作者 Cortesi Format 版本 平装-胶订 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-04-24 Language 语种 英语
¥520.00
【预订】Static Analysis 9783540664598 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540664598 Author 作者 Cortesi Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-09-08 Language 语种 英语 Book Contents 内容简介 Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. T
¥520.00
【预订】Space Data Management 9789819700400 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789819700400 Author 作者 Agostino Cortesi Format 版本 精装 Pages Number 页数 162页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-03-20 Language 语种 其它(含多语) Book Contents 内容简介 The book presents latest results pertaining to challenges faced by researchers in space data management. There are large number of highly important applications that currently rely upon data from satellites and space missions, ranging from weather prediction to monitoring of environmental pollution, climate change, marine traffic, agriculture, and urban planning, etc. The quality and quantity of space data poses new and specific challenges to the scientific community, covering the entire life cycle of space data management and with a need for an interdisciplinary approach. The chapters written by experts discusses impacts of these challenges, and rep
¥1768
【预订】Lorenzo Lotto: The Frescoes in the Oratorio Suardi at Tr 美国库房发货,通常付款后3-5周到货!
¥426.00
海外直订Computer Information Systems and Industrial Management:
¥630.00
明星店铺 中华商务进口图书旗舰店
验证、模型检验与抽象解读/Verification, model checking, and abstract inte
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes. —proceedings (published in time for the respective conference) —post-proceedings (consisting of thoroughly revised final full papers) —research monographs(which may be based on outstanding PhD work,research projects,technical reports,etc.)
¥397.80