Raamatud Computer Science Foundations and Applied Logic

Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit

Meie tarnija laos

Lisa ostukorvi

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

Eike Best, Raymond Devillers

Meie tarnija laos

Lisa ostukorvi

Structural Decision Diagrams in Digital Test: Theory and Applications

Jaan Raik, Maksim Jenihhin, Artur Jutman, Raimund Ubar

Meie tarnija laos

Lisa ostukorvi

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Meie tarnija laos

Lisa ostukorvi

Category Theory Using Haskell: An Introduction with Moggi and Yoneda

Shuichi Yukita

Meie tarnija laos

Lisa ostukorvi

Multi-valued Logic for Decision-Making Under Uncertainty

Ronald Yager, Evgeny Kagan, Alexander Rybalov

Meie tarnija laos

Lisa ostukorvi