Free Delivery Over $100
|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Mingsheng YingPublisher: Elsevier Science & Technology Imprint: Morgan Kaufmann Publishers In Dimensions: Width: 19.00cm , Height: 2.00cm , Length: 23.50cm Weight: 0.770kg ISBN: 9780128023068ISBN 10: 0128023066 Pages: 372 Publication Date: 09 March 2016 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In stock  We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationMingsheng Ying (h-index: 34) is currently a Distinguished Professor at the University of Technology Sydney (UTS) and Research Director of the Center for Quantum Computation and Intelligent Systems, at UTS. He was the Cheung Kong Chair Professor, in the Department of Computer Science and the Scientific Director of the National Key Laboratory of Intelligent Technology and Systems at Tsinghua University. His research interests are quantum computation and quantum information, programming language theory and artificial intelligence. In 2008 he received The National Science and Technology Award for contributions in computer science from China. He is an Associate Editor of Artificial Intelligence (Elsevier) and he has published more than 100 papers in top international journals and conferences such as ACM Transactions on Programming Languages and Systems, Artificial Intelligence, IEEE Transactions on Information Theory, IEEE Transactions on Software Engineering, Information and Computation, Journal of Computer and System Sciences, Physical Review Letters, POPL, CONCUR, IJCAI. He is also the author of the book Topology in Process Calculus - Approximate Correctness and Infinite Evolution of Concurrent Programs (Springer 2001). Tab Content 6Author Website:Countries AvailableAll regions |
||||
