Structural Decision Diagrams in Digital Test: Theory and Applications
Autor Raimund Ubar et al.
30 ian 2024
Hardback
Preț: 1413.57 lei 1766.96 lei
3-5 săpt.
-20%
Computer Science Foundations and Applied Logic
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 492.54 lei 615.67 lei
6-8 săpt.
-20%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 375.86 lei 469.82 lei
6-8 săpt.
-20%
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 420.45 lei 525.55 lei
38-45 zile
-20%
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 428.40 lei 535.51 lei
6-8 săpt.
-20%
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Autor Shuichi Yukita
16 oct 2024
Hardback
Preț: 1228.89 lei 1536.12 lei
6-8 săpt.
-20%
Structural Decision Diagrams in Digital Test
Autor Artur Jutman
16 feb 2025
Paperback
Preț: 1399.34 lei 1749.18 lei
Indisponibil temporar
-20%
Multi-valued Logic for Decision-Making Under Uncertainty
Autor Ronald Yager
18 feb 2025
Hardback
Preț: 1256.29 lei 1570.36 lei
Indisponibil temporar
-20%
Concise Guide to Fault Tree Analysis
Autor Pavel Krcal
15 feb 2025
Hardback
Preț: 401.51 lei 501.89 lei
Nepublicat încă
-20% Precomandă
First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
3 ian 2026
Hardback
Preț: 1006.97 lei 1258.72 lei
Indisponibil temporar
-20% Nou