Showing
1 - 10
results of
10
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
主題建議:
Computer science
和
Software Engineering
作者:
*-*
和
Liu, Shaoying
Show filters (4)
主題建議:
Computer science
和
Software Engineering
作者:
*-*
和
Liu, Shaoying
檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
Computer science
Software Engineering
Software engineering
10
Computer Science Logic and Foundations of Programming
7
Formal Languages and Automata Theory
6
Machine theory
6
Artificial Intelligence
5
更多 ...
Artificial intelligence
5
Compilers (Computer programs)
5
Compilers and Interpreters
5
Computer networks
4
Computer Communication Networks
3
Theory of Computation
3
Computer Engineering and Networks
2
Computer engineering
2
Computer programming
2
Computers
2
Programming Techniques
2
Algorithms
1
Computer Hardware
1
Computer Modelling
1
Computer System Implementation
1
Computer simulation
1
Computer systems
1
Computing Milieux
1
Control Structures and Microprogramming
1
Electronic digital computers—Evaluation
1
Microprogramming
1
System Performance and Evaluation
1
少 ...
Showing
1 - 10
results of
10
for search '
'
, 查詢時間: 0.64s
Refine Results
結果/頁
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
出版 2015
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2015 English/International.
電子
電子書
加到收藏夾
Saved in:
2
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
出版 2020
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2020 English/International.
電子
電子書
加到收藏夾
Saved in:
3
Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
出版 2021
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2021 English/International.
電子
電子書
加到收藏夾
Saved in:
4
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
出版 2016
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2016 English/International.
電子
電子書
加到收藏夾
Saved in:
5
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
出版 2016
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2016 English/International.
電子
電子書
加到收藏夾
Saved in:
6
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
出版 2017
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2017 English/International.
電子
電子書
加到收藏夾
Saved in:
7
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
出版 2018
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2018 English/International.
電子
電子書
加到收藏夾
Saved in:
8
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
出版 2019
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2019 English/International.
電子
電子書
加到收藏夾
Saved in:
9
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
出版 2013
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2013 English/International.
電子
電子書
加到收藏夾
Saved in:
10
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
出版 2014
索引號:
載入...
位於:
載入...
Available in Springer Computer Science eBooks 2014 English/International.
電子
電子書
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Back
縮小搜索
格式
電子
10
電子書
10
作者
Liu, Shaoying
SpringerLink (Online service)
10
Duan, Zhenhua
8
Nagoya, Fumiko
4
Tian, Cong
4
Lawford, Mark
1
更多 ...
Miao, Huaikou
1
Ogata, Kazuhiro
1
Xue, Jinyun
1
查看所有 ...
少 ...
語言
English
10
出版年
來自:
到:
載入...