Track My Order
Help Centre
1300 187 187
My Wish Lists
Login / Join
ALL
BOOKS
TEXTBOOKS
EBOOKS
AUDIOBOOKS
GAMES & PUZZLES
STATIONERY
GIFTS
CLEARANCE
BLOG
Books
Search
'Xingyuan Zhang'
Results for author 'Xingyuan Zhang'
Refine Your Results
subjects
Computing & I.T.
1
Mathematics
1
Science
1
lists
All Books
1
availability
All Books
1
price
Over $100
1
formats
Paperbacks
1
Language
English
Sort By:
Booktopia Recommends
Bestsellers
Price Low to High
Price High to Low
Most Recently Published
More
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Christian Urban
and
Xingyuan Zhang
Paperback
$101.07
Add to Cart
1 Results