Showing
1 - 4
results of
4
for search '
Liu, Zhiming.
'
Skip to content
Toggle navigation
Welcome to UiTM eBook Collections
Home
Language
English
اللغة العربية
Library Portal
Digital Library Collection
1. Online Database
2. Open Access Discovery
3. Institutional Repository
4. Research Repository
5. Local Content Hub
6. eJurnal
7. Khazanah Melayu
8. Article Indexing
9. Exam Papers
10. Live@PTAR
11. Archive
12. Updates@PTAR
13. eGallery
Digital Library Services
1. OPAC
2. My Knowledge Management (MyKM)
3. MobileApp@PTAR
4. Information Literacy Class
5. Google Scholar
6. Live Chat With Librarian
7. Research Consultation
8. Research Guide
9. Inter Library Loan
10. Virtual and Augmented Reality
11. MOOCs@PTAR
12. Excellence in Research for Australia
Browse By
Subjects
All Fields
Title
Subject
ISBN/ISSN
Tag
ID
Requestor
Find
Advanced
Author
Liu, Zhiming.
Showing
1 - 4
results of
4
for search '
Liu, Zhiming.
'
, query time: 0.02s
Results per page
10
20
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Select result number 1
1
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Published 2009
Other Authors:
';
“
...
Liu
,
Zhiming
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Electronic
Show QR Code
Select result number 2
2
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
Published 2013
Other Authors:
';
“
...
Liu
,
Zhiming
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Electronic
Show QR Code
Select result number 3
3
Theoretical Aspects of Computing ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Published 2013
Other Authors:
';
“
...
Liu
,
Zhiming
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Electronic
Show QR Code
Select result number 4
4
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Adva...
Published 2013
Other Authors:
';
“
...
Liu
,
Zhiming
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Electronic
Show QR Code
Select Page | with selected:
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Computer Science
Computer science
Software Engineering
Software engineering
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Information theory
Logic design
Logics and Meanings of Programs
Theory of Computation
Algorithm Analysis and Problem Complexity
Computer simulation
Computer software
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Simulation and Modeling
×
Loading...