**Computer Viruses: from theory to applications (Collection IRIS)**This book deals with computer viruses envisaged from three different points of view, namely the theoretical fundamentals of computer virology, algorithmic and practical aspects of viruses and their potential applications to various areas. The theoretical formalization by means of Turing machines, self-reproducing automata and recursive functions... | | **Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing)**The present book deals with algebras, congruences, morphisms, reasoning about identities, classes of algebras and their axiomatizability, etc., from the point of view of fuzzy logic. We therefore deal with topics traditionally studied in universal algebra. Our approach is the following. In classical universal algebra, one works in bivalent setting.... | | |