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%
Computer Science Foundations and Applied Logic
Concise Guide to Fault Tree Analysis
Autor Pavel Krcal
15 feb 2025
Hardback
Preț: 401.80 lei 502.24 lei
Nepublicat încă
-20% Precomandă
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 420.73 lei 525.92 lei
38-44 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%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 493.40 lei 616.75 lei
6-8 săpt.
-20%
Proof Assistants and Their Applications in Mathematics and Computer Science
Editat de Assia Mahboubi et al.
12 feb 2026
Hardback
Preț: 465.68 lei 561.06 lei
Nepublicat încă
-17% Precomandă
First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
13 ian 2026
Hardback
Preț: 1006.97 lei 1258.72 lei
Nepublicat încă
-20% Precomandă
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%
Multi-valued Logic for Decision-Making Under Uncertainty
Autor Ronald Yager
18 feb 2025
Hardback
Preț: 1257.16 lei 1571.46 lei
Indisponibil temporar
-20%
Structural Decision Diagrams in Digital Test
Autor Artur Jutman
16 feb 2025
Paperback
Preț: 1400.33 lei 1750.41 lei
Indisponibil temporar
-20%
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%