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...


Showing 1 - 12 of 12 results for “rolf daniel”
Skip side bar filters

  • Audiobook

    Land of Bones

    14 Tales of the Strange and Macabre

    by Glenn Rolfe ...
    Narrated by Laurie Jo Daniels, Anneliese Rennie, Kyle Tait, Matt Godfrey, Joe Hempel, Kelsey Navarro, Sean Duregger, Curt Bonnem, Gary Bennet, Adam Bar, Travis Baldree, Chelsea Stephens, KC Johnston, Shawn Compton ...

    Unabridged

    5 hours 14 min

    "A rising star in the genre!" – Ronald Malfi, author of BONE WHITE"A vital part of this generation." – Brian Keene, author THE RISINGDemon lights, granted wishes, strange things, and brutal love at the Lucky Lounge Motel. A haunted sister, desperate parents, a little human touch, and the end of the world…These are the stories whispered among dead leaves, the script etched bare for all to see. When ... Read more

    $20.00 CAD or Free with Kobo Plus

  • Recent Findings in Boolean Techniques

    Selected Papers from the 14th International Workshop on Boolean Problems

    Edited by Rolf Drechsler, Daniel Große ...
    Series series Engineering (R0)
    This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems. ... Read more

    $115.99 CAD

  • Metagenomics

    Methods and Protocols

    Edited by Wolfgang R. Streit, Rolf Daniel ...
    Series series Springer Protocols
    This volume provides up-to-date and novel techniques for various screening technologies currently used in metagenomics and related areas. Starting with DNA/RNA isolation from environmental samples, the book continues by delving into areas such as current methods used to isolate DNA and construct metagenomic libraries, establishment of metagenome libraries in non-E. coli hosts, and topics like ... Read more

    $192.99 CAD

  • Poisson Hyperplane Tessellations

    by Daniel Hug, Rolf Schneider ...
    Series series Mathematics and Statistics (R0)
    This book is the first comprehensive presentation of a central topic of stochastic geometry: random mosaics that are generated by Poisson processes of hyperplanes. It thus connects a basic notion from probability theory, Poisson processes, with a fundamental object of geometry. The independence properties of Poisson processes and the long-range influence of hyperplanes lead to a wide range of ... Read more

    $115.99 CAD

  • Enhanced Virtual Prototyping

    Featuring RISC-V Case Studies

    by Vladimir Herdt, Daniel Große, Rolf Drechsler ...
    Series series Engineering (R0)
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle ... Read more

    $109.99 CAD

  • Enhanced Virtual Prototyping for Heterogeneous Systems

    by Muhammad Hassan, Daniel Große, Rolf Drechsler ...
    Series series Engineering (R0)
    This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like ... Read more

    $102.99 CAD

  • Formal Verification of Structurally Complex Multipliers

    by Alireza Mahzoon, Daniel Große, Rolf Drechsler ...
    Series series Engineering (R0)
    This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering ... Read more

    $115.99 CAD

  • Design Automation Techniques for Approximation Circuits

    Verification, Synthesis and Test

    by Arun Chandrasekharan, Daniel Große, Rolf Drechsler ...
    Series series Engineering (R0)
    This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification ... Read more

    $64.99 CAD

People who read these also enjoyed

  • Embedded System Design

    Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

    by Peter Marwedel ...
    Series series Engineering (R0)
    A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used ... Read more

    Free

  • Embedded System Design

    Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

    by Peter Marwedel ...
    Series series Engineering (R0)
    A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such ... Read more

    $73.99 CAD

  • Dependable Embedded Systems

    Edited by Jörg Henkel, Nikil Dutt ...
    Series series Engineering (R0)
    This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction level ... Read more

    Free

  • FPGA-based Implementation of Signal Processing Systems

    by Roger Woods, John McAllister, Gaye Lightbody, Ying Yi ...
    An important working resource for engineers and researchers involved in the design, development, and implementation of signal processing systemsThe last decade has seen a rapid expansion of the use of field programmable gate arrays (FPGAs) for a wide range of applications beyond traditional digital signal processing (DSP) systems. Written by a team of experts working at the leading edge of FPGA ... Read more

    $133.99 CAD