Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Presents methods for solving counting problems and other types of problems that involve discrete structures. This work illustrates the relationship of these structures to... Læs mere
Bemærk: Kan ikke leveres før jul.
First published in 1990, this book consists of a detailed exposition of results of the theory of "interpretation" developed by G. Kreisel — the relative impenetrability of which gives the elucidation contained here great value for anyone seeking to understand his work.
Bemærk: Kan ikke leveres før jul.
"Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book proposes a new model—the IrisCryptoAgentSystem (ICAS)—based on a biometric method for authentication using the iris of the eye. It explains how... Læs mere
Bemærk: Kan ikke leveres før jul.
This book covers Blockchain from a scientific perspective as to what are the underlying principles and how it enables applications to survive and surf on its shoulder.
Bemærk: Kan ikke leveres før jul.
This book focuses on image based security techniques, namely visual cryptography, watermarking, and steganography. The book includes many examples, applications and advanced research issues, as well as implementation using MATLAB wherever required.
Bemærk: Kan ikke leveres før jul.
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not.
Bemærk: Kan ikke leveres før jul.
Fundamentals of Linear Algebra is like no other book on the subject. By following a natural and unified approach to the subject it has, in less than 250 pages, achieved a more complete coverage of the subject than books with more than twice as many pages.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic.