Představení autora Daniel Kroening:

Doposud vydané knihy od Daniel Kroening:

Rozhodovací postupy: Algoritmické hledisko - Decision Procedures: An Algorithmic Point of...
Springer Nature
Rozhodovací procedura je algoritmus, který při...
Rozhodovací postupy: Algoritmické hledisko - Decision Procedures: An Algorithmic Point of View
<<
1
>>

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)