Cantitate/Preț
Produs
Total produse
Vezi coșul
Embedding Sequential Circuits for their Polynomial Formal Verification de Caroline Dominik

Embedding Sequential Circuits for their Polynomial Formal Verification: BestMasters

Autor Caroline Dominik
en Limba Engleză Paperback – 29 ian 2026

Din seria BestMasters

  • 13% Buyer Personas im Pferdesport
    Preț: 39928 lei
  • 13% Stressbewältigung im Studium
    Preț: 40262 lei
  • Dropshipping Expansion von Indien in die Vereinigten Staaten von Amerika
    Preț: 42864 lei
  • 13% Zufriedenstellende und motivierende Führung auf Distanz: Eine empirische Analyse
    Preț: 40467 lei
  • 13% Gesellschaftliche Dynamiken depressiver Erkrankungen bei älteren Menschen: Eine Analyse stressbezogener Effekte in europäischen Wohlfahrtsregimen
    Preț: 41016 lei
  • Journalismus von der 'Insel' Nairobi
    Preț: 42943 lei
  • Über die Möglichkeit von Freiheit im Kalkül
    Preț: 42510 lei
  • 13% Augmented Reality Filter in der Markenkommunikation mit der Generation Z
    Preț: 42314 lei
  • 13% Die Bedeutung von Kundenzufriedenheitsstudien im Handel
    Preț: 39757 lei
  • 13% Der Einsatz von Social Media Walls zur Kundeninspiration am Beispiel der Tourismusbranche
    Preț: 39757 lei
  • 15% Die Abtreibung als Gesundheitsdienstleistung und ihre grenzüberschreitende (Nicht-)Verfügbarkeit innerhalb der Europäischen Union
    Preț: 41684 lei
  • 13% Entwicklung eines Automated Valet Parking Systems im Rahmen des Forschungsprojekts ANTON
    Preț: 42485 lei
  • Informelle Kommunikation in virtuellen Teams
    Preț: 42290 lei
  • 5% Entwicklungsmöglichkeiten von akademisch ausgebildeten Klinik-Hebammen in Deutschland
    Preț: 46540 lei
  • 13% Interreligiöser Dialog im Fokus
    Preț: 40099 lei
  • 13% Ermittlung von Voraussetzungen zur Implementierung von Predictive Maintenance im Maschinen- und Anlagenbau
    Preț: 48029 lei
  • Marxistische Kritik an Intersektionalitätsforschung
    Preț: 42550 lei
  • 13% Kreativität von Innovationsteams
    Preț: 42991 lei
  • 13% Sein, Erkenntnis und Skepsis: Wahrheitskonzept in den Superkommentaren von al-Ḫayālī und al-Farhārī zu at-Taftāzānīs Šarḥ al-ʿAqāʾid an-Nasafīya
    Preț: 39448 lei
  • 13% Die Gouvernementalität von Algorithmen
    Preț: 42621 lei
  • 13% Metaphorische Aspekte der Selbststeuerung bei sozialer Angst
    Preț: 39790 lei
  • 13% Risikobeurteilung von Mensch-Roboter-Koexistenz-Systemen: Ansätze für ein erweitertes Bewertungsverfahren zur Sicherstellung der Maschinensicherheit
    Preț: 45630 lei
  • 20% Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
    Preț: 34290 lei
  • Auto-Grader - Auto-Grading Free Text Answers
    Preț: 36288 lei
  • Currency Speculation in Fixed Exchange Rate Regimes: Theory and Empirical Evidence
    Preț: 36492 lei
  • Archetypes of Crowdfunding Platforms: A Multidimensional Comparison
    Preț: 36341 lei
  • How Financial Slack Affects Corporate Performance: An Examination in an Uncertain and Resource Scarce Environment
    Preț: 36378 lei
  • Auswirkungen der GKB auf latente Steuern im handelsrechtlichen Jahresabschluss
    Preț: 39516 lei
  • Gewinnrealisierung im deutschen Schiffbau: Herausforderungen der Langfristfertigung in der internationalen Bilanzierung
    Preț: 39609 lei
  • Personaleinsatz bei stationären intermittierenden Dialysen: Eine Studie an der Universitätsmedizin Greifswald
    Preț: 39568 lei
  • Problemfelder des deutschen Konzernsteuerrechts: Betrachtung der Verrechnungspreise in international agierenden Konzernen
    Preț: 39719 lei
  • Korruption als wirtschaftliche Handlung: Ziele und Auswirkungen von Korruption in der Zusammenarbeit von Unternehmen und Behörden
    Preț: 39683 lei
  • Die Innovationskraft von touristischen Familienunternehmen: Faktoren für entscheidende Wettbewerbsvorteile
    Preț: 46340 lei
  • Global Purchasing Processes in the Business Sector Automotive Aftermarket: Development of a Reference Model
    Preț: 36288 lei
  • Employer of Choice der Generation Y: Herausforderungen und Erfolgsfaktoren zur Steigerung der Arbeitgeberattraktivität
    Preț: 46173 lei
  • Sales Negotiations in Professional Service Firms: An Exploratory Study on Agenda Setting and Issue Management
    Preț: 36178 lei
  • Critical Success Factors of Change Management: An Empirical Research in German Small and Medium-Sized Enterprises
    Preț: 36843 lei
  • When Luxury Meets Art: Forms of Collaboration between Luxury Brands and the Arts
    Preț: 36361 lei
  • Strategie für die Portierung von Desktop-Business-Anwendungen auf iOS-gestützte Endgeräte
    Preț: 39699 lei
  • Wind Energy Deployment and the Relevance of Rare Earths: An Economic Analysis
    Preț: 36251 lei
  • Innovation Network Functionality: The Identification and Categorization of Multiple Innovation Networks
    Preț: 36602 lei
  • Zwischen Kreisverwaltung und Kreispolitik: Die politische Dimension der Führungsarbeit in der Landkreisverwaltung
    Preț: 39458 lei
  • Geschäftsmodelle für Fachverlage in der Weiterbildung: Eine Analyse auf Basis berufsbegleitender Angebote in Deutschland
    Preț: 39532 lei
  • The Thika Highway Improvement Project: Changes in the Peri-Urban Northern Nairobi Metropolitan Region
    Preț: 36619 lei
  • Gestaltung von Verrechnungspreisen mit immateriellen Wirtschaftsgütern
    Preț: 39478 lei
  • Collateralized Debt Obligations: A Moment Matching Pricing Technique based on Copula Functions
    Preț: 36268 lei
  • Integrated Risk Management of Non-Maturing Accounts: Practical Application and Testing of a Dynamic Replication Model
    Preț: 36399 lei
  • 15% Die Qualität der Lageberichterstattung von DAX-Konzernen: Empirische Analyse der Berichterstattung zur Ertrags-, Finanz- und Vermögenslage
    Preț: 43403 lei
  • A Beta-return Efficient Portfolio Optimisation Following the CAPM: An Analysis of International Markets and Sectors
    Preț: 36361 lei
  • Kulturelle Anforderungen an das Markenmanagement im Profisport: Im Spannungsfeld zwischen Local Hero und Global Player
    Preț: 39589 lei

Preț: 53029 lei

Preț vechi: 66287 lei
-20% Precomandă

Puncte Express: 795
Preț estimativ în valută:
9384€ • 11003$ • 8241£

Carte nepublicată încă

 Precomandă

Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783658501549
ISBN-10: 3658501545
Pagini: 74
Ilustrații: XV, 74 p. 56 illus., 47 illus. in color. Textbook for German language market.
Dimensiuni: 148 x 210 mm
Editura: Springer Verlag GmbH
Colecția Springer Vieweg
Seria BestMasters