for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Bog, Paperback / softback, Engelsk)
This book constitutes revised lectures from the 11th Symposium on Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik (Bog, Paperback / softback, Engelsk)
However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Introduction to Cryptography: Principles and Applications (Bog, Hardback, Engelsk)
In the second edition the authors added a complete description of the AES, an extended section on cryptographic hash functions, and new sections on random oracle proofs and public-key encryption schemes that are provably secure against adaptively-chosen-ciphertext attacks.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Carl Adam Petri: Life and Science (Bog, Hardback, Engelsk)
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Boolean Functions and Their Applications in Cryptography (Bog, Hardback, Engelsk)
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Cryptology – EUROCRYPT 2016: 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume proceedings LNCS 9665 + 9666constitutes the thoroughly refereed proceedings of the 35th AnnualInternational Conference on the Theory and Applications of CryptographicTechniques, EUROCRYPT 2016, held in Vienna, Austria, in May 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Discrete and Topological Models in Molecular Biology (Bog, Paperback / softback, Engelsk)
Theoretical tools and insights from discrete mathematics, theoretical computer science, and topology now play essential roles in our understanding of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
On Meaningful Scientific Laws (Bog, Paperback / softback, Engelsk)
The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken Experiments”. Mathematical expressions of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Topological Signal Processing (Bog, Paperback / softback, Engelsk)
Signal processing is the discipline of extracting information from collections of measurements. Distortions caused by uncertainty, noise, and clutter degrade the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Statistisches und maschinelles Lernen: Gangige Verfahren im Uberblick (Bog, Paperback / softback, Tysk)
Dieses Buch verschafft Ihnen einen Überblick über einige der bekanntesten Verfahren des maschinellen Lernens aus der Perspektive der mathematischen Statistik.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk)
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
Levering: 6 - 9 hverdage -
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Bog, Hardback, Engelsk)
Advances in Natural Deduction
Levering: Skaffevare (forvent 14 - 30 hverdage)
