(Išleidimo metai: 31-Aug-2025, Paperback / softback, Leidėjas: Association of Computing Machinery,U.S., ISBN-13: 9798400731631)
This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But...Daugiau...
(Išleidimo metai: 31-Aug-2025, Hardback, Leidėjas: Association of Computing Machinery,U.S., ISBN-13: 9798400731617)
This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and on-line tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But...Daugiau...
(Išleidimo metai: 08-Oct-2010, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642160738)
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010....Daugiau...
Ši knyga nebeleidžiama, tačiau mes Jums pranešime naudoto egzemplioriaus kainą
A text on the role of security protocols, how they work, the security properties theyre designed to ensure, and how to design and analyze them. Ryan (an expert in cryptography, mathematical modeling, and computer security and a DERA Fellow) and Schn...Daugiau...
