5
results
Skip to content
我的帐户
退出
机构登录
语言
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Keyword
课程
题名
期刊标题
作者
主题
ISBN/ISSN
索引号
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
条码
丛编
按字母顺序浏览: 按标题
按字母顺序浏览: 按作者
按字母顺序浏览: 按主题
按字母顺序浏览: By LC Call Number
按字母顺序浏览: By Dewey Call Number
检索
高级检索
Page will reload when a filter is removed.
Applied Filters:
作者:
Remove Filter
ETAPS 2009
和
Remove Filter
SpringerLink (Online service)
Page will reload when a filter is removed.
Show filters (2)
作者:
Remove Filter
ETAPS 2009
和
Remove Filter
SpringerLink (Online service)
UC Library
Library Catalogue
检索结果
5
results
Refine Results
结果/页
10
20
40
60
80
100
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
选择页
电子邮件
导出
打印
保存
Select result number 1
1
Compiler construction 18th International Conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29,...
出版 2009
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
Select result number 2
2
Foundations of software science and computational structures 12th International Conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of S...
出版 2009
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
Select result number 3
3
Fundamental approaches to software engineering 12th International Conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...
出版 2009
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
Select result number 4
4
Programming languages and systems 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,...
出版 2009
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
Select result number 5
5
Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice o...
出版 2009
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
选择页
电子邮件
导出
打印
保存
检索工具:
得到RSS订阅
推荐此搜索
保存搜索
Back
Refine Results
Page will reload when a filter is selected or excluded.
格式
会议录
5 results
5
电子
5 results
5
电子书
5 results
5
出版年
来自:
到:
主题建议
System analysis
2 results
2
Compilers (Computer programs)
1 results
1
Computer programming
1 results
1
Software engineering
1 results
1
System design
1 results
1
流派
Congresses
5 results
5
语言
English
5 results
5
作者
ETAPS 2009
SpringerLink (Online service)
CC 2009 York, England
1 results
1
Castagna, Giuseppe, 1966-
1 results
1
Chechik, Marsha
1 results
1
De Alfaro, Luca, 1966-
1 results
1
European Symposium on Programming York, England
1 results
1
FASE 2009 York, England
1 results
1
FOSSACS 2009 York, England
1 results
1
Kowalewski, S. (Stefan)
1 results
1
Moor, Oege de
1 results
1
Philippou, Anna
1 results
1
Schwartzbach, Michael I.
1 results
1
TACAS 2009 York, England
1 results
1
Wirsing, M. (Martin)
1 results
1
查看所有...
索引号
Q - Science
5 results
5
载入...