Skip to main content
Search Button
United States 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...


Top Series in United States

Showing 1 - 12 of 12 results for “michael huth”
Skip side bar filters

  • 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

    $63.19 USD

  • Supply Chain Resilience

    Reconceptualizing Risk Management in a Post-Pandemic World

    Edited by Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke ...
    Series series Business and Management (R0)
    This book provides insights from research and practice in how organizations were able to sustain resilience in their global supply chains during the COVID-19 pandemic and to advance the understanding of supply chain risk management. The chapters highlight the lessons learned, insist on new models for resilience, suggest improved supply chain risk methodologies and bridge the gap between research ... Read more

    $197.09 USD

People who read these 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

    $67.49 USD

  • The Designer's Guide to VHDL

    by Peter J. Ashenden ...
    Series Book 3 - Systems on Silicon
    VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify hardware designs. This third edition is the first comprehensive book on the market to address the new features of VHDL-2008. - First comprehensive book ... Read more

    $52.19 USD

  • Modeling in Event-B

    System and Software Engineering

    by Jean-Raymond Abrial ...
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. ... Read more

    $146.79 USD

  • Term Rewriting and All That

    by Franz Baader, Tobias Nipkow ...
    This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both ... Read more

    $62.39 USD

  • Numerical Computations with GPUs

    Edited by Volodymyr Kindratenko ...
    Series series Computer Science (R0)
    This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering ... Read more

    $143.09 USD

  • 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

    $45.99 USD

  • 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

    $49.49 USD

  • 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

    $67.49 USD

  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

    Edited by Ivan Lanese, Eric Madelaine ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Read more

    $49.99 USD

  • Critical Information Infrastructures Security

    10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers

    Edited by Marianthi Theocharidou, Stephen Wolthusen, Erich Rome ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 10th International Conference on Critical Information Infrastructures Security, CRITIS 2015, held in Berlin, Germany, in October 2015.The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in topical sections named: critical information infrastructure protection; ... Read more

    $49.99 USD