Showing
1 - 10
results of
10
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Your Account
Log Out
Institutional Login
Language
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
Author
Subject
Call Number
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Advanced Search
|
Browse
|
Search Tips
|
Repeat Search in WorldCat
Suggested Subjects:
Computer science
Author:
Duan, Zhenhua
Show filters (2)
Suggested Subjects:
Computer science
Author:
Duan, Zhenhua
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Computer science
Software Engineering
9
Software engineering
9
Artificial Intelligence
6
Artificial intelligence
6
Computer Science Logic and Foundations of Programming
6
Formal Languages and Automata Theory
5
more ...
Machine theory
5
Compilers (Computer programs)
4
Compilers and Interpreters
4
Theory of Computation
4
Computer networks
3
Algorithms
2
Computer Communication Networks
2
Computer Engineering and Networks
2
Computer engineering
2
Computers
2
Bioinformatics
1
Computational and Systems Biology
1
Computer Hardware
1
Computer Modelling
1
Computer System Implementation
1
Computer programming
1
Computer science—Mathematics
1
Computer simulation
1
Computer systems
1
Computing Milieux
1
Control Structures and Microprogramming
1
Electronic digital computers—Evaluation
1
Mathematics of Computing
1
less ...
Showing
1 - 10
results of
10
for search '
'
, query time: 0.04s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Imprint 2015
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2015 English/International.
Electronic
eBook
Save to List
Saved in:
2
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
Imprint 2020
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2020 English/International.
Electronic
eBook
Save to List
Saved in:
3
Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
Imprint 2021
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2021 English/International.
Electronic
eBook
Save to List
Saved in:
4
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
5
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /
Imprint 2008
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2008 English/International.
Electronic
eBook
Save to List
Saved in:
6
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Imprint 2016
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2016 English/International.
Electronic
eBook
Save to List
Saved in:
7
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
8
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
9
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
Imprint 2019
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2019 English/International.
Electronic
eBook
Save to List
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 /
Imprint 2014
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2014 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
10
eBook
10
Author
Duan, Zhenhua
SpringerLink (Online service)
10
Liu, Shaoying
8
Nagoya, Fumiko
4
Tian, Cong
4
Agrawal, Manindra
1
more ...
Du, Ding-Zhu
1
Li, Angsheng
1
Miao, Huaikou
1
Ong, Luke
1
Xue, Jinyun
1
see all ...
less ...
Language
English
10
Year of Publication
From:
To:
Loading...