Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
With recent advances in digital communications leading to an increased threat of piracy, intellectual property owners must exploit new ways of... Læs mere
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.
As an intermediate model between conventional PKC and ID-PKC, CL-PKC can avoid the heavy overhead of certificate management in traditional PKC as well as the... Læs mere
Bemærk: Kan ikke leveres før jul.
Based on the research experience of the authors, this book provides a theoretical structure of fundamental number theory and algebra knowledge... Læs mere
Bemærk: Kan ikke leveres før jul.
Statistical Methods in Computer Security summarizes discussions held at the recent Joint Statistical Meeting to provide a clear layout of current applications in... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.
Bemærk: Kan ikke leveres før jul.
This accessible book gives a new detailed and elementary proof of the Gödel incompleteness theorems and then presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities.
Bemærk: Kan ikke leveres før jul.
This work provides a much-needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts through a fully contextualised analysis.
Bemærk: Kan ikke leveres før jul.
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to... Læs mere
Bemærk: Kan ikke leveres før jul.
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.