Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 4 de 4 resultados para “mathias soeken”
Skip side bar filters

  • Natural Language Processing for Electronic Design Automation

    Edición de Mathias Soeken, Rolf Drechsler ...
    Series series Physics and Astronomy (R0)
    This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to ... Leer más

    $49.49 USD

  • Advanced Boolean Techniques

    Selected Papers from the 13th International Workshop on Boolean Problems

    Edición de Rolf Drechsler, Mathias Soeken ...
    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 13th annual International Workshop on Boolean Problems.Provides a single-source reference to ... Leer más

    $89.99 USD

  • Formal Specification Level

    Concepts, Methods, and Algorithms

    de Mathias Soeken, Rolf Drechsler ...
    Series series Engineering (R0)
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted ... Leer más

    $89.99 USD

  • Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

    Edición de Michael Kirkedal Thomsen, Mathias Soeken ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and ... Leer más

    $58.99 USD