Hours
Libraries & Collections
Joyner Library
Laupus Health Sciences Library
Music Library
Digital Collections
Special Collections
Teaching Resources Center
The ScholarShip Institutional Repository
Country Doctor Museum
Get Help
ECU Libraries Catalog
Browse
Call Number
Title
Author
Subject
Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Preview Version:
You're viewing our new catalog design.
Share your feedback
or
return to the current catalog
.
Find Materials By
Format
Toggle Format Facet
Electronic
1647231
Print
1029266
Book
1000039
Microform
223087
Musical Score
49269
More Formats
Library Location
Toggle Library Location Facet
Joyner Library
2796400
Music Library
968713
Laupus Library
917565
Publication Date
Toggle Publication Date Facet
Since 2020
183459
2010-2019
442998
2000-2009
470494
1990-1999
346884
1980-1989
213517
More Publication Dates
Call Number
Toggle Call Number Facet
P - Language and Literature
159858
H - Social Science
124362
Q - Science
86902
D - World History
60635
B - Philosophy, Psychology, Religion
53821
More Call Numbers
Collection
Toggle Collection Facet
Joyner E-Resources
1651517
Laupus E-Resources
882155
Joyner Stacks
706691
Joyner Federal Documents
233292
Joyner Microforms
104590
More Collections
Language
Toggle Language Facet
English
2434502
French
48404
German
36285
Latin
24836
Spanish
22354
More Languages
Genre
Toggle Genre Facet
Electronic books
758877
Early works to 1800
117487
Periodicals
77921
Biography
59889
Congresses
49182
More Genres
Era
Toggle Era Facet
20th century
59903
19th century
31187
17th century
23015
18th century
19588
21st century
10438
More Eras
Region
Toggle Region Facet
United States
431718
Great Britain
103630
England
43634
North Carolina
39204
France
27344
More Regions
Search Results
All Fields
Title
Author
Journal Title
Subject
Series
ISBN/ISSN
Publisher
Advanced
Search
Start Over
You searched for:
author_facet
Liu, Zhiming
Remove constraint
Showing 1 - 10 of 21 results
Sort by: Relevance;
Relevance
Year (Descending)
Year (Ascending)
Author (Ascending)
Author (Descending)
Title (Ascending)
Title (Descending)
10 per page
10 per page
20 per page
50 per page
100 per page
Search Results
Formal methods and software engineering
by
International Conference on Formal Engineering Methods
2006
Format:
Book
Location
Access Content Online
Dependable Software Engineering
by
Li, Xuandong
2015
1st ed. 2015
Format:
Electronic
Location
Access Content Online
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
by
Liu, Zhiming
2016
1st ed. 2016
Format:
Electronic
Location
Access Content Online
Engineering Trustworthy Software Systems
by
Bowen, Jonathan P.
2017
Format:
Electronic
Location
Access Content Online
Mathematical frameworks for component software
2006
Format:
Electronic
Location
Access Content Online
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
by
Bowen, Jonathan P.
2018
1st ed. 2018
Format:
Electronic
Location
Access Content Online
Theoretical aspects of computing
by
ICTAC 2004
2005
Format:
Electronic
Location
Access Content Online
Theoretical aspects of computing
by
ICTAC 2007
2007
Format:
Electronic
Location
Access Content Online
Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
by
Liu, Zhiming
2013
Format:
Electronic
Location
Access Content Online
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
by
Liu, Zhiming
2013
Format:
Electronic
Location
Access Content Online
Previous
1
2
3
Next