Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide

Name: Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Brand: Springer

2.733,94 TL

Benzer Ürünler

Security Protocols and Threat Models: Security and Privacy via The Applied p-Calculus

3.222,55 TL

Healthcare Industry Assessment: Analyzing Risks, Security, and Reliability: 11

10.008,33 TL

How to live with 1000 Cats - A Comprehensive Guide

1.024,80 TL

Mağaza Fiyatları

1 FİYAT

Sadece Ücretsiz Kargo

Amazon US

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide

2.733,94 TL

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide Özellikleri

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide Yorumları

Ürüne Puan Ver

Ansiklopedi Benzer Kategoriler

Dil Kartları

Bilgisayar Kitapları

Sınav Kitapları

İmla Kılavuzu

Sözlük

Ansiklopedi Ürünleri

The Irish Times Universal Atlas of the World: DETAILED WORLD ATLAS WITH EXTRA MAPPING OF IRELAND

3.769,86 TL

Valutazione del ruolo della Chiesa cattolica nella commercializzazione dei prodotti agricoli

3.765,96 TL

Bewertung der Rolle der katholischen Kirche bei der Vermarktung landwirtschaftlicher Erzeugnisse

3.763,62 TL

Konditerskoe iskusstvo: ot novichka do mastera

3.763,00 TL

Enzyklopädie: Die Kaiserliche Marine im Ersten Weltkrieg: Alle Schiffe, Daten, Kommandanten und Kriegseinsätze

3.761,10 TL

Springer Ürünleri

HCI International 2025 – Late Breaking Papers: 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VIII

3.929,93 TL

Web Engineering: 25th International Conference, ICWE 2025, Delft, The Netherlands, June 30 – July 3, 2025, Proceedings

3.927,68 TL

Security, Privacy, and Applied Cryptography Engineering: 15th International Conference, SPACE 2025, Guwahati, India, December 16–19, 2025, Proceedings

3.919,98 TL

Financial Cryptography and Data Security: 29th International Conference, FC 2025, Miyakojima, Japan, April 14–18, 2025, Revised Selected Papers, Part II

3.915,40 TL

Unconventional Computation and Natural Computation: 22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

3.913,39 TL

Springer Ansiklopedi Ürünleri

Post-Quantum Cryptography: 16th International Workshop, PQCrypto 2025, Taipei, Taiwan, April 8–10, 2025, Proceedings, Part I

4.068,43 TL

Prompting Causal Events

4.060,12 TL

Blockchain Transformations: Navigating the Decentralized Protocols Era

4.046,57 TL

Blockchain, Metaverse and Trustworthy Systems: 6th International Conference, BlockSys 2024, Hangzhou, China, July 12–14, 2024, Revised Selected Papers, Part II

4.013,09 TL

Secure IT Systems: 30th Nordic Conference, NordSec 2025, Tartu, Estonia, November 12-13, 2025, Proceedings

4.001,67 TL

İlgili Diğer Ürünler

HCI International 2025 – Late Breaking Papers: 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VIII

3.929,93 TL

Web Engineering: 25th International Conference, ICWE 2025, Delft, The Netherlands, June 30 – July 3, 2025, Proceedings

3.927,68 TL

GraphQL API Unveiled: Comprehensive Guide to API Mastery

3.929,46 TL

Dodo Yeesho in Chennai: The magical bag and stick in Python, Swift and Scala Programming languages in the Era of Artificial Intelligence (Level 1-5), ... Indian Star Tortoise, Moluccan Cockatoo and

3.927,69 TL

Medios Informáticos: Temas teóricos: Pruebas de ingreso a los cuerpos docentes

3.927,58 TL