Theoretical Computer Science 理论计算机科学学术期刊 2015/01/11 VOL.562 ELSEVIER
￥ 48 九品
仅1件
河北保定
认证卖家担保交易快速发货售后保障
ISSN0304-3975
责任人/主编D. Sannella, L. Kari, P.G. Spirakis
出版单位ELSEVIER
语言中文
开本16开
上书时间2021-07-08
- 在售商品 暂无
- 平均发货时间 10小时
- 好评率 暂无
- 店主推荐
- 最新上架
商品详情
- 品相描述：九品
-
一、1。本店所有图书杂志报纸均为实拍图片，您可点击放大看实际品相。基本都在8-9品以上,多少都有运输过的磨损;个别图书杂志品相不好，如您要品相请您看好咨询后慎拍。特价图书杂志都是淘来的，对品相苛刻者请您绕行，以免发生不愉快。
二、本店因利薄不接受议价。敬请谅解。快递费按各地实际发生费用计算。
三、人不以高矮胖瘦拿薪水，书本也不是以薄厚论价值。您懂得------
四、请您先验货后签收。现在快递都在飞件，如果有任何不满意就请您不要签收。一旦签收即视为满意，不再接受退换货。
五、敬请各位收到货后百忙之中抽时间给个评价，以资鼓励和提高本店服务质量。在此谢过啦！ 因本店工作中的失误给您造成误解和不便请您及时沟通 17731266792 在此首先向您道歉！祝您购物愉快！
- 商品描述
-
ISSN: 0304-3975 Editors-in-Chief: D. Sannella, L. Kari, P.G. Spirakis Publisher:ELSEVIER
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.
Papers published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods.
The second section,`Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.
The third section, 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science, natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing.
— 没有更多了 —
以下为对购买帮助不大的评价