Embedding Sequential Circuits for their Polynomial Formal Verification

Name: Embedding Sequential Circuits for their Polynomial Formal Verification
Brand: Springer

4.658,35 TL

Benzer Ürünler

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

5.978,94 TL

Circuits as Systems: And Their Design

4.742,47 TL

Blockchain Security Audit Guide with Reentrancy, Overflow, and Formal Verification Techniques: 70 Smart Contract Challenges to Identify Weaknesses

1.082,53 TL

Mağaza Fiyatları

1 FİYAT

Sadece Ücretsiz Kargo

Amazon Germany

Embedding Sequential Circuits for their Polynomial Formal Verification

4.658,35 TL

Embedding Sequential Circuits for their Polynomial Formal Verification Özellikleri

Embedding Sequential Circuits for their Polynomial Formal Verification Yorumları

Ürüne Puan Ver

Bilgisayar Kitapları Benzer Kategoriler

Dil Kartları

İmla Kılavuzu

Ders ve Yardımcı Kitap

Deyimler ve Atasözleri

Sınav Kitapları

Bilgisayar Kitapları Ürünleri

The Art of God of War Ragnarok Deluxe Edition

6.415,92 TL

6G AND 7G NETWORKS: THE FUTURE OF TECHNOLOGY (Uncovering Technology, Band 13)

6.406,12 TL

Metaverse and Digital Twins: Blockchain and Healthcare Technology

6.402,00 TL

Acting, Planning, and Learning

6.389,18 TL

Puré de papas / Popes History: Historia secreta del papado vaticano / Vatican Secret History of the Papacy

6.368,00 TL

Springer Ürünleri

How Successful Schools Are More than Effective: Principals Who Build and Sustain Teacher and Student Wellbeing and Achievement: 28

6.674,42 TL

Feyerabend’s Formative Years. Volume 2. Feyerabend on Logical Empiricism, Bohm & Kuhn: Correspondence and Unpublished Papers: 10

6.692,56 TL

Understanding Violence: The Intertwining of Morality, Religion, Capitalism and Violence: A Philosophical Stance: 69

6.681,77 TL

Study on China’s Industrial Competitiveness

6.680,52 TL

Nanobiosensors for Crop Monitoring and Precision Agriculture

6.672,14 TL

Springer Bilgisayar Kitapları Ürünleri

Towards Resilient Social IoT Sensors and Networks: A Trust Management Approach

6.951,43 TL

Subject-Oriented Business Process Management. Process Customer Satisfaction and Process Excellence: 16th International Conference, S-BPM One 2025, Munich, Germany, July 2-3, 2025, Proceedings: 2630

6.949,71 TL

Human Aspects of IT for the Aged Population: 11th International Conference, ITAP 2025, Held as Part of the 27th HCI International Conference, HCII ... Sweden, June 22–27, 2025, Proceedings, Part I

6.947,34 TL

Intelligent Moving Cities: Technological Leap and Social Integration of Autonomous Mobile Robots

6.942,76 TL

Algorithmic Aspects in Information and Management: 19th International Conference, AAIM 2025, Ulaanbaatar, Mongolia, June 23–25, 2025, Proceedings

6.942,76 TL

İlgili Diğer Ürünler

How Successful Schools Are More than Effective: Principals Who Build and Sustain Teacher and Student Wellbeing and Achievement: 28

6.674,42 TL

Computer Studies: SEN (Teacher’s Guide): AQA Unit Award Scheme compliant syllabus for learners with Special Educational Needs (Social Care Handbooks)

6.682,74 TL

Principles of Geotechnical Engineering, SI Edition

6.679,50 TL

Special Education Law

6.679,21 TL

Assessing Young Children’s Development and Learning: Birth to Age Eight

6.679,21 TL