Showing
1 - 6
results of
6
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
Author:
Liu, Zhiming
AND
*-*
Suggested Subjects:
Formal Languages and Automata Theory
AND
Software Engineering
Show filters (4)
Author:
Liu, Zhiming
AND
*-*
Suggested Subjects:
Formal Languages and Automata Theory
AND
Software Engineering
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Computer Science Logic and Foundations of Programming
6
Computer science
6
Formal Languages and Automata Theory
Machine theory
6
Software Engineering
Software engineering
6
Compilers (Computer programs)
3
more ...
Compilers and Interpreters
3
Computer networks
2
Theory of Computation
2
Algorithms
1
Artificial Intelligence
1
Artificial intelligence
1
Computer Communication Networks
1
Computer Engineering and Networks
1
Computer Modelling
1
Computer engineering
1
Computer programming
1
Computer simulation
1
Electronic data processing—Management
1
IT Operations
1
Programming Techniques
1
less ...
Showing
1 - 6
results of
6
for search '
'
, query time: 0.05s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Imprint 2015
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2015 English/International.
Electronic
eBook
Save to List
Saved in:
2
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
Imprint 2005
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2005 English/International.
Electronic
eBook
Save to List
Saved in:
3
Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /
Imprint 2007
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2007 English/International.
Electronic
eBook
Save to List
Saved in:
4
Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
Imprint 2007
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2007 English/International.
Electronic
eBook
Save to List
Saved in:
5
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
Imprint 2019
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2019 English/International.
Electronic
eBook
Save to List
Saved in:
6
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-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
6
eBook
6
Author
Liu, Zhiming
SpringerLink (Online service)
6
Jones, Cliff B.
2
Araki, Keijiro
1
Bowen, Jonathan P.
1
Fiadeiro, José Luiz
1
more ...
Li, Xuandong
1
Woodcock, Jim
1
Woodcock, Jones
1
Xue, Jinyun
1
Yi, Wang
1
Zhang, Zili
1
see all ...
less ...
Language
English
6
Year of Publication
From:
To:
Loading...