江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:审校  文献类型:中文图书 浏览次数:71 

题名/责任者:
模型论及其在计算机科学中的应用/北京师范大学数学科学学院主编 罗里波编著
出版发行项:
北京:北京师范大学出版社,2012
ISBN及定价:
978-7-303-13602-5/CNY30.00
载体形态项:
300页;23cm
丛编项:
新世纪高等学校教材.数学与应用数学基础课系列教材
个人责任者:
罗里波 编著
团体次要责任者:
北京师范大学数学科学学院 主编
学科主题:
模型论-应用-计算机科学-高等学校-教材
中图法分类号:
O141.4-43
中图法分类号:
TP3-43
书目附注:
有书目 (第295-297页) 和索引
提要文摘附注:
本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的,它的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态 还书位置
O141.4/59 A1504861  - 自科典藏库(5楼)     导航 可借
O141.4/59 A1504862  - 自科借阅1(N-S/U-Z)(104室)     导航 可借 自科借阅1(N-S/U-Z)(104室)
O141.4/59 A1504863  - 自科借阅1(N-S/U-Z)(104室)     导航 可借
显示全部馆藏信息
借阅趋势

您可能感兴趣的图书(点击查看)
同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架