检索
高级检索
集群检索
书目浏览
中图分类浏览
科图分类浏览
期刊导航
西文期刊字母导航
学科导航
期刊学科导航
我的图书馆
新书通报
中图分类查看
科图分类查看
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=gries&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Gries
, 检索到: 44 条结果, 检索时间: 0.027 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Gries
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(14)
H 语言、文字
(13)
Q 生物科学
(10)
O 数理科学与化学
(3)
C 社会科学总论
(2)
P 天文学、地球科学
(2)
B 哲学、宗教
(1)
I 文学
(1)
J 艺术
(1)
N 自然科学总论
(1)
您是不是想检索:
Fries
Pries
Daries
Furies
Spies
Trees
Ores
Ariel
Grief
grid
分面检索
资源类型
纸质资源
(44)
显示更多..
图书馆
武汉理工大学图书馆
(43)
交通学院
(1)
理学院
(1)
显示更多..
馆藏地点
西院西文图书保存本库
(24)
余区图书保存本库
(17)
南湖保存本图书借阅区
(6)
南湖外文图书借阅区
(4)
余区中文图书借阅区
(4)
余区外文图书借阅区
(4)
南湖图书借阅区
(3)
东院中文图书借阅区
(1)
西院中文图书借阅区
(1)
西院三线书库
(1)
交通学院资料室(余区)
(1)
理学院资料室(南湖)
(1)
显示更多..
主题
german language
(11)
technology
(3)
德语
(3)
computational linguistics
(2)
electronic digital computers
(2)
时间
(2)
管理
(2)
algebraic number theory
(1)
americans
(1)
cables, submarine
(1)
children
(1)
compilers (computer programs)
(1)
computer software
(1)
computers
(1)
data mining
(1)
discoveries in science
(1)
engineers
(1)
english language
(1)
finite groups
(1)
formal methods (computer science)
(1)
显示更多..
著者
griesbach, heinz
(10)
schulz, dora
(6)
gries, david
(5)
gries, david,
(4)
d
(3)
格里斯
(3)
b.e
(2)
gries, stefan thomas,
(2)
griesbach,heinz
(2)
grieser, gunter,
(2)
h
(2)
tanaka, y
(2)
尤金·葛里斯曼著
(2)
舒尔茨,
(2)
葛里斯曼,
(2)
钟明玲
(2)
钟明玲译
(2)
(丹) 格里·哈塞尔巴赫著
(1)
(德) 斯蒂芬·托马斯·格莱斯著
(1)
(德) 舒尔茨, (德) 格里巴赫著
(1)
显示更多..
出版日期
1982
(2)
1987
(1)
1990
(1)
1997
(1)
2003
(1)
2016
(1)
2018
(1)
2019
(1)
2024
(1)
显示更多..
文献类型
图书(纸本)
(44)
显示更多..
语言种类
汉语
(10)
德语
(2)
显示更多..
在馆
在馆
(44)
显示更多..
保存至书单:
创建新书单
共 5 页
首页
<上一页
1
2
3
4
5
下一页>
尾页>>
1.
General correctness : a unification of partical and total correctness /
订购中
著者:
Gries
David.
出版社:
Department of Computer Science,Cornell University,
出版日期: 1985.
文献类型:
图书(纸本) , 索书号:
96.2/D419
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
The seven-eleven problem /
订购中
著者:
Gries
David.
出版社:
Department of Computer Science,Cornell University,
出版日期: 1983.
文献类型:
图书(纸本) , 索书号:
73.87/D419
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
The science of programming /
订购中
著者:
David Gries.
出版社:
Springer-Verlag,
出版日期: c1981.
文献类型:
图书(纸本) , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Programming methodology : a collection of articles by members of IFIP WG2.3 /
订购中
著者:
Gries
David
出版社:
Springer-Verlag,
出版日期: c1978.
文献类型:
图书(纸本) , 索书号:
73.87221/G848
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Compiler construction for digital computers /
订购中
著者:
David Gries.
出版社:
Wiley,
出版日期: 1971.
文献类型:
图书(纸本) , 索书号:
51.84/G848
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Multifactorial analysis in corpus linguistics : a study of particle placement /
已借2次.
订购中
著者:
Stefan Thomas Gries.
出版社:
Peking University Press,
出版日期: 2004.
文献类型:
图书(纸本) , 索书号:
H042/G848
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Using tow shared variablse in two processes to provide starvation-free mutual exclusion /
订购中
著者:
by David Gries.
出版社:
Department of Computer Science Cornell University,
出版日期: 1979.
文献类型:
图书(纸本) , 索书号:
TP338.6/G848
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
Quantitative corpus linguistics with R : a practical introduction /
订购中
著者:
Stefan Th. Gries.
出版社:
出版日期:
文献类型:
图书(纸本) , 索书号:
H087/G848(2)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
A model and temporal proof system for networks of processes /
订购中
著者:
Gries
David.
Owicki
Susan.
出版社:
Department of Computer Science,Cornell University,
出版日期: 1984.
文献类型:
图书(纸本) , 索书号:
96.2/D419
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
An introduction to structured programming, using PL/I and SP/k /
订购中
著者:
Wortman
D. B.
Gries
David
出版社:
Winthrop Publishers,
出版日期: c1977.
文献类型:
图书(纸本) , 索书号:
73.87221/C767
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 5 页
首页
<上一页
1
2
3
4
5
下一页>
尾页>>