检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
网上办证
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
借阅分析
图书借阅排行榜
热门图书排行榜
图书专题
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Formal+languages.&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Formal languages.
, 检索到: 7 条结果, 检索时间: 0.655 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
Hide chart
Formal languages.
分类导航
T 工业技术
(6)
I 文学
(1)
分面检索
图书馆
(1)
显示更多..
主题
文学评论
(1)
结构主义学派
(1)
显示更多..
著者
(美)弗雷德里克·詹姆逊(fredric jameson)著
(1)
diaz, michel,
(1)
groz, roland
(1)
hopcroft, john e.,
(1)
ifip tc 6/wg 6.1 international conference on formal description techniques for distributed systems and communications protocols
(1)
ifip tc6/wg6.1 international conference on formal description techniques for distributed systems and communications protocols
(1)
ifip working group 6.1
(1)
pin, jean eric
(1)
revesz, gy鑟rgy e
(1)
salomaa, arto
(1)
ullman, jeffrey d.,
(1)
vuong, son t
(1)
朱刚
(1)
詹姆逊
(1)
钱佼汝
(1)
钱佼汝,朱刚译
(1)
显示更多..
出版日期
2018
(1)
显示更多..
文献类型
图书
(7)
显示更多..
语言种类
汉语
(1)
显示更多..
保存至书单:
创建新书单
借阅最多
匹配度最高
总共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Jewels of formal language theory /
100%匹配
订购中
全文传递
著者:
Arto Salomaa.
出版社:
Computer Science Press,
出版日期: c1981.
文献类型:
图书 , 索书号:
TP312/S173
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Introduction to formal languages /
75%匹配
订购中
全文传递
著者:
Gy鑟rgy E. Revesz.
出版社:
McGraw-Hill,
出版日期: c1983.
文献类型:
图书 , 索书号:
TP312/R453
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Varieties of formal languages /
75%匹配
订购中
全文传递
著者:
by J.E. Pin ; translated by A. Howie.
出版社:
Plenum Pub. Corp.,
出版日期: 1986.
文献类型:
图书 , 索书号:
TP31/P645
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Formal languages and their relation to automata
75%匹配
订购中
全文传递
著者:
[by] John E. Hopcroft [and] Jeffrey D. Ullman.
出版社:
Addison-Wesley Pub. Co.
出版日期: [c1969]
文献类型:
图书 , 索书号:
TP312/H791
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Formal description techniques, II :: proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 /
75%匹配
订购中
全文传递
著者:
edited by Son T. Vuong.
出版社:
North-Holland,
出版日期: 1990.
文献类型:
图书 , 索书号:
TP31-53/I61
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Formal description techniques, V :: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 /
75%匹配
订购中
全文传递
著者:
edited by Michel Diaz, Roland Groz.
出版社:
North-Holland,
出版日期: 1993.
文献类型:
图书 , 索书号:
TP31-53/I61
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
语言的牢笼
50%匹配
订购中
全文传递
著者:
(美)弗雷德里克·詹姆逊(Fredric Jameson)著
出版社:
中国人民大学出版社
出版日期: 2018
文献类型:
图书 , 索书号:
I109.9/1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
总共 1 页
首页
<上一页
1
下一页>
尾页>>