检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书预告
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
图书专题
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Giese&searchType=standard&isFacet=true&view=standard&searchWay=author&booktype=1&booktype=2&booktype=3&booktype=4&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
booktype=1&booktype=2&booktype=3&booktype=4&rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Giese
, 检索到: 11 条结果, 检索时间: 0.094 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Giese
CADAL电子资源
集群图书馆
分类导航
Q 生物科学
(5)
T 工业技术
(3)
G 文化、科学、教育、体育
(1)
J 艺术
(1)
您是不是想检索:
Giles
Geese.
Griece
Gieson
Gilesd
Grede
Grose
Gene
Gere
Gigs
图书馆
上海海事大学图书馆
(2)
显示更多..
馆藏地点
A402财政、金融、文教类阅览室
(1)
A732研究型图书馆二
(1)
显示更多..
主题
computer science
(8)
software engineering
(8)
programming techniques
(6)
programming languages, compilers, interpreters
(5)
artificial intelligence
(4)
artificial intelligence (incl. robotics)
(4)
computer simulation
(4)
simulation and modeling
(4)
computer communication networks
(2)
information systems
(2)
logic design
(2)
logics and meanings of programs
(2)
mathematical logic and formal languages
(2)
software engineering/programming and operating systems
(2)
21st century
(1)
algorithm analysis and problem complexity
(1)
computer applications in geosciences
(1)
computer software
(1)
computer system performance
(1)
computers and society
(1)
显示更多..
著者
springerlink (online service)
(9)
giese, holger
(7)
lemos, rog茅rio
(2)
[authors, dieter giesing, goschka gawlik, christian meyer]
(1)
cheng, betty h. c
(1)
chong, guillermo
(1)
choren, ricardo
(1)
franz, gerhard
(1)
garcia, alessandro
(1)
gawlik, goschka
(1)
giese, martin
(1)
giese, peter
(1)
giesing, dieter
(1)
g枚tze, hans-j眉rgen
(1)
inverardi, paola
(1)
karsai, gabor
(1)
lee, edward
(1)
leung, ho-fung
(1)
lucena, carlos
(1)
maciejowski, marcin
(1)
显示更多..
出版日期
2007
(1)
2008
(1)
显示更多..
文献类型
非书资料
(9)
图书
(2)
显示更多..
语言种类
汉语
(1)
英语
(1)
显示更多..
新到时间
过去7天
(0)
过去30天
(0)
过去60天
(0)
过去90天
(0)
过去180天
(0)
超过180天
(2)
显示更多..
在馆
不在馆
(9)
在馆
(2)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings /
订购中
(含光盘)
著者:
edited by Holger Giese.
出版社:
Springer Berlin Heidelberg,
出版日期: 2010.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
2.
Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
订购中
(含光盘)
著者:
edited by Holger Giese.
出版社:
Springer Berlin Heidelberg,
出版日期: 2008.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
3.
Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
订购中
(含光盘)
著者:
Giese
Holger.
M眉ller
Hausi A.
Shaw
Mary.
出版社:
Springer Berlin Heidelberg :
出版日期: 2013.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
4.
Software Engineering for Self-Adaptive Systems
订购中
(含光盘)
著者:
Lemos
Rog茅rio.
Giese
Holger.
Inverardi
Paola.
Magee
Jeff.
出版社:
Springer Berlin Heidelberg,
出版日期: 2009.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
5.
Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications /
订购中
(含光盘)
著者:
Garcia
Alessandro.
Giese
Holger.
Leung
Ho-fung.
Lucena
Carlos.
Romanovsky
Alexander.
出版社:
Springer-Verlag Berlin Heidelberg,
出版日期: 2007.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
6.
Marcin Maciejowski:I wanna talk to you
订购中
(含光盘)
著者:
Maciejowski
Marcin.
出版社:
Galerie Meyer Kainer
出版日期: c2007.
文献类型:
图书 , 索书号:
J231/M152
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
订购中
(含光盘)
著者:
Rosu
Grigore.
出版社:
Springer Berlin Heidelberg,
出版日期: 2012.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
8.
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
订购中
(含光盘)
著者:
Waaler
Arild.
出版社:
Springer Berlin Heidelberg,
出版日期: 2009.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
9.
The Andes: Active Subduction Orogeny /
订购中
(含光盘)
著者:
Chong
Guillermo.
Franz
Gerhard.
Giese
Peter.
G枚tze
Hans-J眉rgen.
Ramos
Victor A.
Strecker
Manfred R.
Wigger
Peter.
出版社:
Springer-Verlag Berlin Heidelberg,
出版日期: 2006.
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
电子资源
点击查看全文(Springer电子书)
10.
博览管理:博览、会议和活动的策划、执行与控制
已借2次.
订购中
(含光盘)
著者:
基希盖奥
多恩夏特
基泽
斯多克
出版社:
上海财经大学出版社
出版日期: 2008
文献类型:
图书 , 索书号:
G245/4148
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>