Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


“dong ping zhang”

Showing 1 - 12 of 12 results for “dong ping zhang”
Skip side bar filters

  • Heterogeneous Computing with OpenCL 2.0

    by Perhaad Mistry, Dana Schaa, Dong Ping Zhang, David R. Kaeli ...
    Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data ... Read more

    $66.39 CAD

People who read this also enjoyed

  • Programming Massively Parallel Processors

    A Hands-on Approach

    by David B. Kirk, Wen-mei W. Hwu ...
    Programming Massively Parallel Processors: A Hands-on Approach, Second Edition, teaches students how to program massively parallel processors. It offers a detailed discussion of various techniques for constructing parallel programs. Case studies are used to demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. This ... Read more

    $66.39 CAD

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    by Michael Huth, Mark Ryan ...
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses ... Read more

    $71.99 CAD

  • Foundations of Programming Languages

    by Kent D. Lee ...
    Series series Computer Science (R0)
    This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the ... Read more

    $57.99 CAD

  • CUDA Application Design and Development

    by Rob Farber ...
    As the computer industry retools to leverage massively parallel graphics processing units (GPUs), this book is designed to meet the needs of working software developers who need to understand GPU programming with CUDA and increase efficiency in their projects. CUDA Application Design and Development starts with an introduction to parallel computing concepts for readers with no previous parallel ... Read more

    $44.79 CAD

  • Modal Logic for Philosophers

    by James W. Garson ...
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... Read more

    $51.99 CAD

  • Type Theory and Formal Proof

    An Introduction

    by Rob Nederpelt, Herman Geuvers ...
    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin ... Read more

    $91.99 CAD

  • Practical Foundations for Programming Languages

    by Robert Harper ...
    Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are ... Read more

    $82.99 CAD

  • Learn Electronics with Raspberry Pi

    Physical Computing with Circuits, Sensors, Outputs, and Projects

    by Stewart Watkiss ...
    Series series Professional and Applied Computing (R0)
    Make a variety of cool projects using the Pi with programming languages like Scratch and Python, with no experience necessary. You'll learn how the Pi works, how to work with Raspbian Linux on the Pi, and how to design and create electronic circuits.Raspberry Pi is everywhere, it’s inexpensive, and it's a wonderful tool for teaching about electronics and programming. This bookshows you how to ... Read more

    $68.99 CAD

  • Practical IDL Programming

    by Liam E. Gumley ...
    Increasingly, scientists and engineers must quickly and efficiently analyze and visualize extremely large sets of data. Interactive Data Language, IDL, was designed to address just this need. A popular data analysis and visualization programming environment, IDL is used worldwide by scientists and engineers in fields as diverse as the physical sciences, medical physics, and engineering test and ... Read more

    $78.39 CAD

  • The China Information Technology Handbook

    Edited by Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...
    Series series Computer Science (R0)
    Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice ... Read more

    $256.99 CAD

  • Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    Edited by Alessandro Fantechi, Patrizio Pelliccione ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Read more

    $51.99 CAD