![Approche formelle pour la vérification des IDS Approche formelle pour la vérification des IDS](https://bilder.buecher.de/produkte/32/32413/32413415mq.jpg)
Broschiertes Buch
Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+
12. November 2010
Éditions universitaires européennes
![Ubiquitous Networking Ubiquitous Networking](https://bilder.buecher.de/produkte/53/53888/53888411m.jpg)
Broschiertes Buch
4th International Symposium, UNet 2018, Hammamet, Tunisia, May 2 ¿ 5, 2018, Revised Selected Papers
1st ed. 2018
3. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-02848-0
Ähnliche Artikel
![Une Approche Mimétique pour la détection d'Intrusion Une Approche Mimétique pour la détection d'Intrusion](https://bilder.buecher.de/produkte/33/33698/33698531mq.jpg)
Broschiertes Buch
Conception et implémentation
7. Juli 2011
Éditions universitaires européennes
![Une approche formelle pour la composition des services web Une approche formelle pour la composition des services web](https://bilder.buecher.de/produkte/48/48221/48221288mq.jpg)
23,99 €
Versandfertig in über 4 Wochen
Broschiertes Buch
13. April 2017
Noor Publishing
![Les automates temporisés comme outil de vérification des protocoles de sécurité Les automates temporisés comme outil de vérification des protocoles de sécurité](https://bilder.buecher.de/produkte/62/62512/62512797mq.jpg)
Broschiertes Buch
Une analyse sur une étude de cas
26. August 2021
Editions Notre Savoir
![Approche basée sur les fonctions pour la composition de services Web Approche basée sur les fonctions pour la composition de services Web](https://bilder.buecher.de/produkte/33/33577/33577963mq.jpg)
Broschiertes Buch
Un système de programmation fonctionnelle pour la composition de services Web
3. Juni 2011
Éditions universitaires européennes
![Vérification symbolique de modèles Vérification symbolique de modèles](https://bilder.buecher.de/produkte/33/33584/33584470mq.jpg)
Broschiertes Buch
à l'aide de systèmes de ré-écritures dédiés
29. Juni 2011
Éditions universitaires européennes
![La Machine Pensante La Machine Pensante](https://bilder.buecher.de/produkte/67/67821/67821301m.jpg)
Broschiertes Buch
L'Intelligence Artificielle (IA) et L'Internet des Objets Connectés (IoT)
28. März 2023
Éditions universitaires européennes
![Système de Détection d'Intrusion basé sur l'apprentissage profond Système de Détection d'Intrusion basé sur l'apprentissage profond](https://bilder.buecher.de/produkte/54/54395/54395552mq.jpg)
Broschiertes Buch
24. September 2018
Éditions universitaires européennes
![Approche Bayésienne expérimentale pour l¿analyse des risques Approche Bayésienne expérimentale pour l¿analyse des risques](https://bilder.buecher.de/produkte/69/69757/69757812m.jpg)
Broschiertes Buch
14. Dezember 2023
Éditions universitaires européennes
![Approche du réseau neuronal évolutif pour la détection de la nouveauté Approche du réseau neuronal évolutif pour la détection de la nouveauté](https://bilder.buecher.de/produkte/59/59306/59306182mq.jpg)
Broschiertes Buch
Un examen pragmatique
21. April 2020
Éditions universitaires européennes
![L¿Implémentation d'une solution IPS sous LINUX L¿Implémentation d'une solution IPS sous LINUX](https://bilder.buecher.de/produkte/63/63223/63223089mq.jpg)
Broschiertes Buch
dans une architecture distribuée (Conception et Analyse Informatique)
7. Dezember 2021
Éditions universitaires européennes
Ähnlichkeitssuche: Fact®Finder von OMIKRON