【预订】Perspectives of Systems Informatics 9783540708803 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540708803 Author 作者 Andrei Voronkov University of Manchester School of Computer Format 版本 平装-胶订 Pages Number 页数 496页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-07 Language 语种 英语 Book Contents 内容简介 This volume contains the nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer
¥520.00
【预订】Gidronimy I Etnonimy - Svideteli Migratsiy Narodov Morya 美国库房发货,通常付款后3-5周到货!
¥741.00
按需印刷Masterpieces and Dramas of the Soviet Championships 预订,预计下单后3-6周左右发货!
¥505.00
【预订】Masterpieces and Dramas of the Soviet Championships: Vol 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9785604469286 Author 作者 Voronkov Sergey Format 版本 精装 Pages Number 页数 536页 Publisher 出版社 Limited Liability Company Elk and Ruby Publis Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 2029g Language 语种 英语
¥694.00
【中商海外直订】Automated Deduction - Cade-18: 18th International Co
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Perspectives of System Informatics 9783662468227 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662468227 作者: Andrei Voronkov 装帧: 平装-胶订 页数: 415页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2015-04-30 重量: 1g 语种: 其它(含多语)
¥792.00
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书,约5-8周到达国内后发出
¥930.00
预订 Programming Logics 9783642376504 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642376504 作者: Andrei Voronkov 装帧: 平装-胶订 页数: 447页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2013-04-03 重量: 1g 语种: 其它(含多语) 内容简介 This Festschrift volume, published in memory of Harald Ganzinger, contains 17
¥745.00
预订 Automated Deduction - Cade-18: 18th International Confere 【全球购】进口原版图书,约5-8周到达国内后发出
¥503.00
【预订】Perspectives of System Informatics 9783662468227 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662468227 Author 作者 Voronkov Format 版本 平装-胶订 Pages Number 页数 415页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2015-04-30 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.?The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology
¥520.00
【预订】Rewriting Techniques and Applications 9783540705888 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540705888 Author 作者 Andrei Voronkov Format 版本 平装-胶订 Pages Number 页数 457页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-07-04 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
¥520.00
预订 Rewriting Techniques and Applications: 19th International 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预订Modern technologies to increase the durability of piston r 【全球购】进口原版图书,约5-8周到达国内后发出
¥528.00
海外直订Logic Programming and Automated Reasoning: International
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Logic Programming and Automated Reasoning: 4th Internati
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Iskra Tvorchestva Iz Detstva 9783659514746 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783659514746 作者: Voronkov Yuriy 装帧: 平装-胶订 页数: 284页 出版社: Omnium Gmbh & Co. Kg. 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2014-01-24 重量: 1g 语种: 俄语 内容简介 S yunykh let v dukhe vremeni 60-kh avtorom proektirovalis' i stroilis' letayushc
¥1050
预订 Programming Logics: Essays in Memory of Harald Ganzinger 【全球购】进口原版图书,约5-8周到达国内后发出
¥479.00
【预订】Perspectives of System Informatics: 11th International A 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319743127 Author 作者 Voronkov, Andrei Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-18 Language 语种 英语
¥520.00
海外直订Perspectives of Systems Informatics: 6th International A
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Perspectives of Systems Informatics: 6th International An 【全球购】进口原版图书,约5-8周到达国内后发出
¥507.00
海外直订Perspectives of System Informatics: 9th International Er
¥639.00
明星店铺 中华商务进口图书旗舰店
预订Masterpieces and Dramas of the Soviet Championships: Volum 预订,预计下单后3-6周左右发货!
¥658.00
海外直订Programming Logics: Essays in Memory of Harald Ganzinger
¥639.00
明星店铺 中华商务进口图书旗舰店
海外直订Rewriting Techniques and Applications: 19th Internationa
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Automated Deduction - CADE-18 9783540439318 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540439318 Author 作者 Voronkov Format 版本 平装-胶订 Pages Number 页数 540页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-17 Language 语种 英语 Book Contents 内容简介 The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur
¥520.00
【预订】Masterpieces and Dramas of the Soviet Championships: Vol 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9785604560716 Author 作者 Voronkov Format 版本 精装 Pages Number 页数 526页 Publisher 出版社 Limited Liability Company Elk and Ruby Publis Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 2.00 Language 语种 其它(含多语)
¥718.00
【预订】Masterpieces and Dramas of the Soviet Championships: Vol 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9785604560709 Author 作者 Voronkov Format 版本 精装 Pages Number 页数 526页 Publisher 出版社 Limited Liability Company Elk and Ruby Publis Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 2000g Language 语种 其它(含多语)
¥791.00
预订Masterpieces and Dramas of the Soviet Championships: Volum 预订,预计下单后3-6周左右发货!
¥889.00
自动演绎-CADE-18/会议录 Automated deduction-CADE-18
LNBI is devoted to the publication of state-of-the-art research results in bio-informatics and computational biology, at a high level and in both printed and electronic versions - making use of the well-established LNCS publication machinery. As with the LNCS mother series, refereed proceedings and post- proceedings are at the core of LNBI, however, similar to the color cover sub- lines in LNCS, tutorials and state-of-the-art surveys are also invited for LNBI. Among the topics covered are: Genomics;Molecular sequence analysis;Recognition of genes and regulatory elements;Molecular evolution;Protein structure;Gene expression;Gene networks;Combinatorial libraries and drug design;Computational proteomics.
¥535.60定价:¥678.00 (7.9折)