Personnaliser

OK

Appareils photo, caméras, drones et bien d'autres ! 30€ et 100€ offerts* dès 299€ et 999€ d'achat sur l'univers Photo et caméras avec les codes : PHOTO30 et PHOTO100

En profiter

Natural Language Processing for Electronic Design Automation -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :

82,36 €

Produit Neuf

  • Ou 20,59 € /mois

    • Livraison : 3,99 €
    • Livré entre le 30 juillet et le 5 août
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Nos autres offres

    • 88,39 €

      Produit Neuf

      Ou 22,10 € /mois

      • Livraison à 0,01 €
      • Livré entre le 31 juillet et le 12 août
      Voir les modes de livraison

      Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030522711_dbm

      Voir le détail de l'annonce 
    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Natural Language Processing For Electronic Design Automation Format Relié  - Livre Littérature Générale

        Note : 0 0 avis sur Natural Language Processing For Electronic Design Automation Format Relié  - Livre Littérature Générale

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Natural Language Processing For Electronic Design Automation Format Relié

         - Livre Littérature Générale

        Livre Littérature Générale - 01/09/2020 - Relié - Langue : Anglais

        . .

      • Editeur : Springer International Publishing
      • Langue : Anglais
      • Parution : 01/09/2020
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 120
      • Expédition : 354
      • Dimensions : 24.1 x 16.0 x 1.3
      • ISBN : 9783030522711



      • Biographie:

        Rolf Drechsler (F'15) received the Diploma and Dr.Phil.Nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Frankfurt, Germany, in 1992 and 1995, respectively.

        From 1995 to 2000, he was at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany. From 2000 to 2001, he was at the Corporate Technology Department, Siemens AG, Munich, Germany. Since 2001, he has been at the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he became the Director of the Cyber-Physical Systems Group, German Research Center for Artificial Intelligence, Bremen. His current research interests include the development and design of data structures and algorithms, especially circuit and system design.

        Mathias Soeken received the Ph.D. degree in computer science and engineering from the University of Bremen, Bremen, Germany, in 2013.

        He is a Scientist with the ?cole Polytechnique F?d?derale de Lausanne (EPFL), Lausanne, Switzerland. He is investigating constraint-based techniques in logic synthesis and industrial-strength design automation for quantum computing. His current research interests include the many aspects of logic synthesis and formal verification.

        Dr. Soeken was a recipient of the scholarship from the German Academic Scholarship Foundation. He has been serving as a TPC member for several conferences, including DAC, DATE, and ICCAD and is a Reviewer for Mathematical Reviews as well as for several other journals.

         

         

        Sommaire:
        Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications.- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain.- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions.- Chapter 4. Real-world Events Discovering with TWIST.

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com