检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
图书专题
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E8%AE%A1%E7%AE%97%E6%9C%BA&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_author=%28%E5%BE%B7%29&f_booktype=1&f_class1=o&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
计算机
, 检索到: 8 条结果, 检索时间: 0.189 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
计算机
CADAL电子资源
集群图书馆
分类导航
O1 数学
(4)
O2 数学
(2)
O3 力学
(1)
O4 物理学
(1)
TP 自动化技术、计算机技术
(1)
回到上一级分类
已经限定的分面
馆藏地点:
著者:
(德)
x
文献类型:
图书
x
图书馆
学校分馆
(1)
军警分馆
(1)
浙江图书馆
(6)
显示更多..
馆藏地点
曙光路馆中文图书保存本查阅室
(4)
曙光路馆中文图书闭架外借
(3)
德清书库中文图书保存本(预约查询)
(2)
曙光路馆中文自科图书借阅室
(2)
天元公学
(1)
武警总队分馆
(1)
大学路书刊借阅室
(1)
之江馆综合借阅区
(1)
浙江省军区
(1)
九〇三医院
(1)
显示更多..
主题
matlab
(1)
定理证明
(1)
应用
(1)
数学
(1)
数理逻辑
(1)
有限元分析
(1)
极值(数学)
(1)
横波
(1)
研究
(1)
磁畴
(1)
算法
(1)
算法语言
(1)
软件工具
(1)
高等学校
(1)
显示更多..
著者
[(德)]
(8)
(behrends, ehrhard
(1)
(drosser, christoph)
(1)
(hubert, alex)
(1)
(kutyniok, gitta)
(1)
(labate, demetrio)
(1)
(schafer, rudolf)
(1)
(vocking, berthold)
(1)
(德)gitta kutyniok,(美)demetrio labate著
(1)
(德)michael huth,(英)mark ryan著
(1)
(德)p.i.kattan著
(1)
(德)亚历克斯·休伯特(alex hubert),(德)鲁道夫·舍费尔(schafer, rudolf)著
(1)
(德)克里斯多夫·特吕瑟尔著
(1)
(德)埃温哈德·贝兰茨(ehrhard behrends)著
(1)
(德)贝特霍尔德·弗金(berthold vocking)[等]编著
(1)
(美)
(1)
(英)
(1)
bertot
(1)
casteran
(1)
huth
(1)
显示更多..
出版日期
2023
(2)
2022
(1)
2020
(1)
2018
(1)
2010
(1)
2007
(1)
2004
(1)
显示更多..
文献类型
[图书]
(8)
显示更多..
语言种类
汉语
(8)
显示更多..
新到时间
过去7天
(0)
过去30天
(0)
过去60天
(0)
过去90天
(0)
过去180天
(0)
超过180天
(6)
显示更多..
可借
可借
(6)
不可借
(2)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
无处不在的算法
已借12次.
订购中
著者:
弗金
出版社:
机械工业出版社
出版日期: 2018
文献类型:
图书 , 索书号:
O24/580/2018
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
已借14次.
订购中
著者:
M. 哈斯
Michael Huth
M. 瑞安
Mark Ryan
出版社:
机械工业出版社
出版日期: 2007
文献类型:
图书 , 索书号:
O141/640/2007
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
交互式定理证明与程序开发:Coq归纳构造演算的艺术:Coq'art: the calculus of inductive constructions
已借5次.
订购中
著者:
Y. 伯托特
Yves Bertot
P. 卡斯特兰
Pierre Casteran
出版社:
清华大学出版社
出版日期: 2010
文献类型:
图书 , 索书号:
O141-39/252/2010
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
MATLAB有限元分析与应用
订购中
著者:
P.I. 卡坦
Peter I. Kattan
出版社:
清华大学出版社
出版日期: 2004
文献类型:
图书 , 索书号:
O241.82/2401/2004
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
剪切波:多元数据的多尺度分析
订购中
著者:
库提尼奥克
拉贝特
出版社:
哈尔滨工业大学出版社
出版日期: 2023.06
文献类型:
图书 , 索书号:
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
无穷大有多大
订购中
著者:
特吕瑟尔
出版社:
二十一世纪出版社集团
出版日期: 2023
文献类型:
图书 , 索书号:
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
磁畴:磁性微结构分析手册
订购中
著者:
休伯特
舍费尔
出版社:
机械工业出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O482.51/222/2022
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
数学美文100篇
已借35次.
订购中
著者:
贝兰茨
出版社:
世界知识出版社
出版日期: 2020
文献类型:
图书 , 索书号:
O1-49/784/2020
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>