Viimati ilmunud raamatud https://www.kriso.ee Sun, 31 Aug 2025 00:00:00 GMT Sun, 31 Aug 2025 00:00:00 GMT Thinking About Programs https://www.kriso.ee/thinking-about-programs-db-9798400731631.html <a href="https://www.kriso.ee/thinking-about-programs-db-9798400731631.html"><img border="0" src="https://www.kriso.ee/covers/thumb/979840/9798400731631.jpg" align="left" hspace="5" > </a>Gavin Lowe<br>ISBN: 9798400731631<br> Kirjastus: Association of Computing Machinery,U.S.<br> Formaat: Pehme köide, Ilmumisaeg: 31-Aug-2025<br> Hind: 51,40 € https://www.kriso.ee/db/9798400731631.html Sun, 31 Aug 2025 00:00:00 GMT Thinking About Programs https://www.kriso.ee/thinking-about-programs-db-9798400731617.html <a href="https://www.kriso.ee/thinking-about-programs-db-9798400731617.html"><img border="0" src="https://www.kriso.ee/covers/thumb/979840/9798400731617.jpg" align="left" hspace="5" > </a>Gavin Lowe<br>ISBN: 9798400731617<br> Kirjastus: Association of Computing Machinery,U.S.<br> Formaat: Kõva köide, Ilmumisaeg: 31-Aug-2025<br> Hind: 73,00 € https://www.kriso.ee/db/9798400731617.html Sun, 31 Aug 2025 00:00:00 GMT Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers https://www.kriso.ee/automated-reasoning-security-protocol-analysis-issues-db-9783642160738.html <a href="https://www.kriso.ee/automated-reasoning-security-protocol-analysis-issues-db-9783642160738.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642160738.jpg" align="left" hspace="5" > </a>Alessandro Armando, Gavin Lowe<br>ISBN: 9783642160738<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 08-Oct-2009<br> Hind: 48,70 € https://www.kriso.ee/db/9783642160738.html Thu, 08 Oct 2009 00:00:00 GMT Modelling & Analysis of Security Protocols https://www.kriso.ee/modelling-analysis-security-protocols-db-9780201674712.html <a href="https://www.kriso.ee/modelling-analysis-security-protocols-db-9780201674712.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978020/9780201674712.jpg" align="left" hspace="5" > </a>Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe<br>ISBN: 9780201674712<br> Kirjastus: Addison Wesley<br> Formaat: Pehme köide, Ilmumisaeg: 06-Dec-2000<br> Hind: 103,14 € https://www.kriso.ee/db/9780201674712.html Wed, 06 Dec 2000 00:00:00 GMT