【预订】Relational Methods in Computer Science 9783540333395 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540333395 Author 作者 MacCaull Format 版本 平装-胶订 Pages Number 页数 262页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-04-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274.
¥608.00
【预订】Relational Methods in Computer Science 9783540003151 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540003151 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-12-11 Language 语种 英语
¥608.00
【预订】Relational Methods in Computer Science 9783211829714 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211829714 Author 作者 Brink Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Wien Publication Date 出版日期 1997-04-23 Language 语种 英语 Book Contents 内容简介 The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathe
¥608.00
预订 Relational Methods in Computer Science: 8th International 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Relational Methods in Computer Science: 8th Internationa
¥553.00
海外直订Relational Methods in Computer Science: 6th Internationa
¥553.00
预订 Relational Methods in Computer Science: 6th International 【全球购】进口原版图书，一般5-8周左右到国内
¥643.00
【预订】Relational and Algebraic Methods in Computer Science 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030887001 Format 版本 平装-胶订 Pages Number 页数 499页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1590g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
¥900.00
海外直订Ewa Orlowska on Relational Methods in Logic and Computer
¥1447
3-6周达 Ewa Orlowska on Relational Methods in Logic and Comput 【全球购】进口原版图书，预计3-6周左右到国内
¥1257
海外直订Relational and Algebraic Methods in Computer Science: 12
¥553.00
【预订】Relational and Algebraic Methods in Computer Science 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030435196 Format 版本 平装-胶订 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-03-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, held in Palaiseau, France, in April 2020.The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
¥608.00
【预订】Relational and Algebraic Methods in Computer Science: 14 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，预计3-6周左右到国内
¥734.00
3-6周达 Relational and Kleene-Algebraic Methods in Computer Sc 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥642.00
【预订】Relational and Algebraic Methods in Computer Science: 15 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Relational and Kleene-Algebraic Methods in Computer Scie 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540221456 Author 作者 Berghammer Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-01 Language 语种 英语
¥608.00
海外直订Relational and Algebraic Methods in Computer Science: 21
¥642.00
【预订】Relational and Algebraic Methods in Computer Science 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031280825 Format 版本 平装-胶订 Pages Number 页数 293页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-25 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023. The 17 papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.
¥670.00
海外直订Relational and Algebraic Methods in Computer Science: 14
¥553.00
【预订】Relational and Algebraic Methods in Computer Science 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642210693 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 363页 Publication Date 出版日期 2011-05-20 Shipping Weight 商品重量 529g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011.This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Socia
¥608.00
3-6周达 Relational and Algebraic Methods in Computer Science [ 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Relational and Algebraic Methods in Computer Science 计算机
¥534.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Relational and Algebraic Methods in Computer Science: 20
¥587.00
海外直订Relational and Algebraic Methods in Computer Science: 17
¥553.00
【预订】Relational and Algebraic Methods in Computer Science 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642333132 Author 作者 Kahl Format 版本 平装-胶订 Pages Number 页数 361页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-08-13 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 569g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software speci
¥608.00
海外直订Relational and Algebraic Methods in Computer Science: 19
¥790.00
预订 Relational and Algebraic Methods in Computer Science: 21s 国外库房发货，通常付款后3-5周到货
¥841.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Relational and Algebraic Methods in Computer Science: 13t 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
【预订】Relational and Algebraic Methods in Computer Science 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030021481 Author 作者 Desharnais Format 版本 平装-胶订 Pages Number 页数 385页 Publication Date 出版日期 2018-10-06 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
¥608.00
【预订】Relational and Algebraic Methods in Computer Science: 16 美国库房发货，通常付款后3-5周到货！
¥608.00
海外直订Relational and Kleene-Algebraic Methods in Computer Scie
¥553.00
海外直订Relational and Algebraic Methods in Computer Science: 15
¥552.00
3-6周达 Relational and Algebraic Methods in Computer Science: 【全球购】进口原版图书，预计3-6周左右到国内
¥571.00
