当前位置:首页 > 名称
大约有208,417项符合查询结果项。(搜索耗时:0.3321秒)
为您推荐: title国际象棋 儿童数理逻辑思维发展启蒙教程 title儿童象棋基础教程 启蒙篇 title给儿童的70个游戏活动 促进思维和执行功能发展 数理逻辑基础教程 数理逻辑发展史 儿童思维训练全脑开发700题3岁 益智早教书2周岁半书本两到四三岁宝宝书籍启蒙认知幼儿数学逻辑图书4
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
钢琴全面训练基础教程 第1册 上 启蒙入门
卞萌,卞善仪编著2004 年出版52 页ISBN:7533918770这是为中国钢琴初学者编著的基础学习阶段使用的全套训练教本。本书为第一册,启蒙及初级。
-
-
-
-
-
学科分类
出版时间
