Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Theory and Applications
Buch (broschiert)ca. 260.00 CHF
erhältlich ab Februar 2025

Bibliografische Angaben

Februar 2025, ca. 595 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-031-44736-5

Schlagworte

Weitere Titel der Reihe: Computer Science Foundations and Applied Logic

Alle anzeigen
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
0
erhältlich ab Juli 2025
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
ca. 103.00 CHF
erhältlich ab April 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
ca. 89.00 CHF
erhältlich ab März 2025
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer International Publishing, 2025
978-3-031-74761-8
ca. 236.00 CHF
erhältlich ab März 2025
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer International Publishing, 2025
978-3-031-48280-9
ca. 83.00 CHF
erhältlich ab Februar 2025
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
237.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

Controlling the Effective Hamiltonian of a Driven Quantum Superconducting ...
Springer International Publishing, 2025
978-3-031-83269-7
ca. 157.00 CHF
erhältlich ab März 2025
Introduction to Operations and Supply Chain Simulation with AnyLogic
Springer International Publishing, 2025
978-3-031-73663-6
ca. 134.00 CHF
erhältlich ab März 2025
Konsequenz statt Kompromiss (AT)
Praktischer Effizienzleitfaden mit Diagnose-Tool
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-11548-7
ca. 46.50 CHF
erhältlich ab März 2026
Discrete Structures
Springer International Publishing, 2025
978-3-031-73433-5
ca. 89.00 CHF
erhältlich ab März 2025
Embedded Microprocessor System Design using FPGAs
Springer International Publishing, 2025
978-3-031-82821-8
ca. 157.00 CHF
erhältlich ab April 2025
Dial-A-Ride Problems in Transportation Service
Springer International Publishing, 2025
978-3-031-66345-1
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Digital Electronics
Springer International Publishing, 2025
978-3-031-69725-8
ca. 69.00 CHF
erhältlich ab April 2025
Modern Programmable Interconnect Design
Springer International Publishing, 2025
978-3-031-80628-5
ca. 198.00 CHF
erhältlich ab April 2025