4
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
SpringerLink (Online service)
和
Remove Filter
ETAPS 2005
Page will reload when a filter is removed.
Show filters (2)
作者:
Remove Filter
SpringerLink (Online service)
和
Remove Filter
ETAPS 2005
UC Library
Library Catalogue
检索结果 - (
4
results
Refine Results
结果/页
10
20
40
60
80
100
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
选择页
电子邮件
导出
打印
保存
Select result number 1
1
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice o...
出版 2005
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
图书
加到收藏夹
Saved in:
Select result number 2
2
Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinbu...
出版 2005
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
图书
加到收藏夹
Saved in:
Select result number 3
3
Compiler construction 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-...
出版 2005
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
图书
加到收藏夹
Saved in:
Select result number 4
4
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Soft...
出版 2005
位于
载入...
索引号
载入...
Connect to electronic resource
电子
会议录
电子书
加到收藏夹
Saved in:
选择页
电子邮件
导出
打印
保存
检索工具:
得到RSS订阅
推荐此搜索
保存搜索
Back
Refine Results
Page will reload when a filter is selected or excluded.
格式
会议录
4 results
4
电子
4 results
4
图书
3 results
3
电子书
1 results
1
出版年
来自:
到:
主题建议
Computer software
2 results
2
Compilers (Computer programs)
1 results
1
Development
1 results
1
Software engineering
1 results
1
System analysis
1 results
1
System design
1 results
1
流派
Congresses
4 results
4
语言
English
4 results
4
作者
ETAPS 2005
SpringerLink (Online service)
Bodik, Rastislav
1 results
1
CC 2005 Edinburgh, Scotland
1 results
1
Cerioli, Maura
1 results
1
FASE 2005 Edinburgh, Scotland
1 results
1
FOSSACS 2005 Edinburgh, UK
1 results
1
Halbwachs, Nicolas
1 results
1
Sassone, Vladimiro
1 results
1
TACAS 2005 Edinburgh, Scotland
1 results
1
Zuck, Lenore D., 1958-
1 results
1
查看所有...
索引号
Q - Science
3 results
3
载入...