预订 Formal Methods for Hardware Verification: 6th Internation 【全球购】进口原版图书,约5-8周到达国内后发出
¥658.00
预订 Software Engineering and Formal Methods 9783319661964 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783319661964 作者: Alessandro Cimatti 装帧: 平装-胶订 页数: 410页 出版社: Springer International Publishing 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2017-08-15 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedin
¥840.00
【预订】Software Engineering and Formal Methods: 15th Internatio 美国库房发货,通常付款后3-5周到货!
¥520.00
预订Unbecoming Human: Philosophy of Animality After Deleuze [I 【全球购】进口原版图书,约5-8周到达国内后发出
¥365.00
【预订】A Biosemiotic Ontology 9783319979021 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319979021 Author 作者 Cimatti Format 版本 精装 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 Giorgio Prodi (1928-1987) was an important Italian scientist who developed an original philosophy based on two basic assumptions: 1. life is mainly a semiotic phenomenon; 2. matter is somewhat a semiotic phenomenon.Prodi applies Peirce’s cenopythagorean categories to all phenomena of life and matter: Firstness, Secondness, and Thirdness. They are interconnected meaning that the very ontology of the world, according to Prodi, is somewhat semiotic. In fact, when one describes matter as “made of” Firstness and Secondness, this means that matter ‘intrinsically’ implies semiotics (with Thirdness also being present in the world).At the very heart of Prodi’s theory lies a metaphysical hypothesis which is an ambitious theoretical gesture that places Prod
¥895.00
现货 Introduction to Galaxy Formation and Evolution星系形成与演化导论:从
Product Details 基本信息 ISBN-13 书号 9781107134768 Author 作者 Andrea Cimatti Pages Number 页数 450页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 20191017 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 Present-day elliptical, spiral and irregular galaxies are large systems made of stars, gas and dark matter. Their properties result from a variety of physical processes that have occurred during the nearly fourteen billion years since the Big Bang. This comprehensive textbook, which bridges the gap between introductory and specialized texts, explains the key physical processes of galaxy formation, from the cosmological recombination of primordial gas to the evolution of the different galaxies that we observe in the Universe today. In a logical sequence, the book introduces cosmology, illustrates the properties of galaxies in the present-day Universe, then explains the physical processes
¥690.00
预订Introduction to Galaxy Formation and Evolution:From Primor 预订,预计下单后2-3周左右发货!
¥1063
海外直订Animality in Contemporary Italian Philosophy 当代意大利哲学中的动物
¥895.00
明星店铺 中华商务进口图书旗舰店
预订 Theory and Applications of Satisfiability Testi... 978364 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642316111 作者: Alessandro Cimatti 装帧: 平装-胶订 页数: 500页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-06-22 重量: 2g 语种: 其它(含多语)
¥1056
【预订】Theory and Applications of Satisfiability Testing -- SAT 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642316111 Author 作者 Cimatti Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2012-06-22 Shipping Weight 商品重量 789g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.
¥520.00
海外直订Animality in Contemporary Italian Philosophy 当代意大利哲学中的动物
¥1160
明星店铺 中华商务进口图书旗舰店