Knygos pagal Computer Science Foundations and Applied Logic

Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

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

Eike Best, Raymond Devillers

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Structural Decision Diagrams in Digital Test: Theory and Applications

Jaan Raik, Maksim Jenihhin, Artur Jutman, Raimund Ubar

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

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

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Category Theory Using Haskell: An Introduction with Moggi and Yoneda

Shuichi Yukita

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Multi-valued Logic for Decision-Making Under Uncertainty

Ronald Yager, Evgeny Kagan, Alexander Rybalov

Turime sandėlyje pas mūsų tiekėją

Į krepšelį