Showing
1 - 4
results of
4
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
我的帳戶
退出
機構登錄
語言
English
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
हिंदी
Library Catalog
Keyword
Title/Journal Title
作者
主題
索引號
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
檢索
高級檢索
|
Browse
|
檢索技巧
|
Repeat Search in WorldCat
主題建議:
Software Engineering
和
Formal Languages and Automata Theory
作者:
*-*
和
Merz, Stephan
Show filters (4)
主題建議:
Software Engineering
和
Formal Languages and Automata Theory
作者:
*-*
和
Merz, Stephan
檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
Formal Languages and Automata Theory
Machine theory
4
Software Engineering
Software engineering
4
Compilers (Computer programs)
3
Compilers and Interpreters
3
Computer Science Logic and Foundations of Programming
3
更多 ...
Computer science
3
Algorithms
2
Computer programming
2
Programming Techniques
2
Computer Communication Networks
1
Computer Modelling
1
Computer networks
1
Computer simulation
1
Electronic digital computers—Evaluation
1
System Performance and Evaluation
1
少 ...
Showing
1 - 4
results of
4
for search '
'
, 查詢時間: 0.04s
Refine Results
結果/頁
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2014 English/International.
電子
電子書
加到收藏夾
Saved in:
2
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
出版 2016
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2016 English/International.
電子
電子書
加到收藏夾
Saved in:
3
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /
出版 2010
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2010 English/International.
電子
電子書
加到收藏夾
Saved in:
4
Temporal Logic and State Systems
由
Kröger, Fred.
,
Kröger, Fred.
,
Merz, Stephan.
出版 2008
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2008 English/International.
電子
電子書
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Back
縮小搜索
格式
電子
4
電子書
4
作者
Merz, Stephan
SpringerLink (Online service)
4
Blanchette, Jasmin Christian
1
Kröger, Fred
1
Méry, Dominique
1
Pang, Jun
1
語言
English
4
出版年
來自:
到:
載入...