检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Etapes+%3A+international&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Etapes : international
, 检索到: 12 条结果, 检索时间: 0.034 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
Etapes : international
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(10)
J 艺术
(2)
Q 生物科学
(2)
文献类型
图书
(12)
显示更多..
主题
世界
(2)
实用美术
(2)
现代
(2)
设计
(2)
0
(1)
computer software
(1)
software engineering
(1)
system analysis
(1)
显示更多..
著者
etaps 2004
(2)
陈德民
(2)
陈德民译
(2)
engberg,uffe
(1)
european joint conferences on theory and practice of software(5th:2002:grenoble,france)
(1)
fase 2004
(1)
fossacs 2004
(1)
honsell,furio
(1)
horspool,r.nigel
(1)
hussmann,heinrich
(1)
international conferece on tools and algorithms for the construction and analysis of systems(8th:2002:grenoble,france)
(1)
international conference on compiler construction(10th:2001:genova,italy)
(1)
international conference on compiler construction(11th:2002:grenoble,france)
(1)
international conference on foundations of software science and computation structures(4th:2001:genova,italy)
(1)
international conference on fundamental approaches to software engineering(4th:2001:genova,italy)
(1)
international conference on tools and algorithms for the construction and analysis of systems(7th:2001:genova,italy)
(1)
katoen,joost-pieter
(1)
kutsche,ralf-detlef
(1)
margaria,tiziana
(1)
margaria-steffen, tiziana,
(1)
显示更多..
出版日期
2011
(2)
显示更多..
馆藏地点
显示更多..
图书馆
湖南大学图书馆
(12)
显示更多..
语言种类
汉语
(2)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
封面仅供参考
艺态.13,视觉大爆发:international
订购中
(含光盘)
著者:
法国金字塔出版社
出版社:
上海人民美术出版社
出版日期: 2011
文献类型:
图书 , 索书号:
J534/85-13
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
封面仅供参考
艺态:international.12,图形大熔炉
已借24次.
订购中
(含光盘)
著者:
陈德民
出版社:
上海人民美术出版社
出版日期: 2011
文献类型:
图书 , 索书号:
J534/85-12
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
封面仅供参考
Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
订购中
(含光盘)
著者:
Wermelinger
Michel
Margaria-Steffen
Tiziana
出版社:
Springer,
出版日期: 2004.
文献类型:
图书 , 索书号:
TP311.5-53/FAS-7
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
封面仅供参考
Fundamental approaches to software engineering: 5th international conference,FASE 2002,Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS2002,Grenoble,France,April 8-12,2002:Proceedings
订购中
(含光盘)
著者:
Ralf-Detlef Kutsche
Herbert Weber
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
TP311.5-53/FAS-5
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
封面仅供参考
Compiler construction: 11th international conference,CC 2002,Held as Part of the Joint European Conferences on Theory and Practice of Software of Software,ETAPS 2002,Grenoble,France,April 8-12,2002:proceedings
订购中
(含光盘)
著者:
R.Nigel Horspool
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
73.9632083/CC-11
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
封面仅供参考
Fundamental approaches to software engineering: 4th international conference,FASE 2001,Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001,Genova,Italy,April 2-6,2001;proceedings
订购中
(含光盘)
著者:
Heinrich Hussmann
出版社:
Springer
出版日期: 2001
文献类型:
图书 , 索书号:
73.964083/FAS-4
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
封面仅供参考
Compiler construction: 10th international conference,CC 2001,Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001,Genova,Italy,April 2-6,2001;proceedings
订购中
(含光盘)
著者:
Reinhard Wilhelm
出版社:
Springer
出版日期: 2001
文献类型:
图书 , 索书号:
73.9632083/CC-10
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
封面仅供参考
Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
订购中
(含光盘)
著者:
Walukiewicz
Igor.
出版社:
Springer,
出版日期: 2004.
文献类型:
图书 , 索书号:
73.96083/FSS-7
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
封面仅供参考
Tools and algorithms for the construction and analysis of systems: 8th international conference,TACAS 2002,Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2002,Grenoble,France,April 8-12,2002:Proceedings
订购中
(含光盘)
著者:
Joost-Pieter Katoen
Perdita Stevens
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
73.965083/TAC-8
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
封面仅供参考
Foundations of software science and computation structures: 5th international conference,FOSSACS 2002,Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2002,Grenoble,France,April 8-12,2002:proceedings
订购中
(含光盘)
著者:
Mogens Nielsen
Uffe Engberg
出版社:
SpringerVerlag
出版日期: 2002
文献类型:
图书 , 索书号:
73.96083/FSS-5
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>