Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Theory and Applications
Livre (broché)env. 260.00 CHF
disponible dès février 2025

Informations bibliographiques

février 2025, env. 595 Pages, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-031-44736-5

Mots-clés

Autres titres de la collection: Computer Science Foundations and Applied Logic

Afficher tout
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
0
disponible dès juillet 2025
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
env. 103.00 CHF
disponible dès avril 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
env. 89.00 CHF
disponible dès mars 2025
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer International Publishing, 2025
978-3-031-74761-8
env. 236.00 CHF
disponible dès mars 2025
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer International Publishing, 2025
978-3-031-48280-9
env. 83.00 CHF
disponible dès février 2025
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
237.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Die Exzellenzfabrik - Wie Rolex zur Weltmarke wurde
VersusVahlen, Franz, 2025
978-3-03909-347-2
34.90 CHF
disponible de suite
Modern Programmable Interconnect Design
Springer International Publishing, 2025
978-3-031-80628-5
env. 198.00 CHF
disponible dès avril 2025
Quantum Computing Architecture and Hardware for Engineers
Step by Step
Springer International Publishing, 2025
978-3-031-78218-3
env. 76.00 CHF
disponible dès avril 2025
Embedded Microprocessor System Design using FPGAs
Springer International Publishing, 2025
978-3-031-82821-8
env. 157.00 CHF
disponible dès avril 2025
Design of Quantum Teleportation Schemes
Springer International Publishing, 2025
978-3-031-82724-2
env. 178.00 CHF
disponible dès mars 2025
Foundations of Robotics
Springer International Publishing, 2025
978-3-031-85522-1
env. 157.00 CHF
disponible dès juillet 2025
Piezoelectric Energy Harvesting Systems
Integrated Analysis and Implementation
Springer Nature EN, 2025
978-3-662-53602-5
env. 134.00 CHF
disponible dès décembre 2025
Viaggio nella fisica moderna
Da Einstein alle nuove tecnologie quantistiche
Springer International Publishing, 2025
978-3-031-81608-6
env. 41.50 CHF
disponible dès mars 2025