Beschreibung
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
Approche formelle pour la vérification des IDS
Lieferzeit: Lieferbar innerhalb 14 Tagen
61,90 €
inkl. 7 % MwSt. zzgl. Versandkosten
Approche formelle pour la vérification des Systèmes de Détection d’Intrusions: Utilisation de TLA+
| ISBN: | 6131547890 |
|---|---|
| ISBN 13: | 9786131547898 |
| Autor: | Rekhis, Slim |
| Verlag: | Éditions universitaires européennes |
| Umfang: | 148 S. |
| Erscheinungsdatum: | 12.11.2010 |
| Auflage: | 1/2010 |
| Format: | 1 x 22 x 15 |
| Gewicht: | 238 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Une approche formelle pour les applications web 2+]()
Une approche formelle pour les applications web 2+
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automating Human Workflow in IDS Analysis]()
Automating Human Workflow in IDS Analysis
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches du vivant]()
Approches du vivant
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La Performance des Introductions en Bourse:]()
La Performance des Introductions en Bourse:
89,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches pour une Intercession Efficace]()
Approches pour une Intercession Efficace
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Assistance à la navigation pour les non-voyants]()
Assistance à la navigation pour les non-voyants
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Weiterentwicklung des formellen Völkerstrafrechts]()
Die Weiterentwicklung des formellen Völkerstrafrechts
109,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ontologie pour la vérification des représentations conceptuelles]()
Ontologie pour la vérification des représentations conceptuelles
107,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches expérimentales pour mesurer l'immunocompétence]()
Approches expérimentales pour mesurer l’immunocompétence
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Education formelle et non formelle en Côte d'Ivoire]()
Education formelle et non formelle en Côte d’Ivoire
84,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Les règles du langage chez Searle]()
Les règles du langage chez Searle
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches du millenium]()
Approches du millenium
89,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches adaptatives pour la commande des systemes electriques]()
Approches adaptatives pour la commande des systemes electriques
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelles Grundbuchrecht]()
Formelles Grundbuchrecht
259,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Autres approches pour mesurer la satisfaction des patients?]()
Autres approches pour mesurer la satisfaction des patients?
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Différentes approches pour la détection d'opinions]()
Différentes approches pour la détection d’opinions
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etude des mécanismes de régulation de la charge dans les diélectriques]()
Etude des mécanismes de régulation de la charge dans les diélectriques
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Integral-Differential Scheme (IDS)]()
The Integral-Differential Scheme (IDS)
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification et validation formelles de modèles UML]()
Vérification et validation formelles de modèles UML
69,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantiques formelles]()
Semantiques formelles
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelles Disziplinarrecht]()
Formelles Disziplinarrecht
364,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le principe de la légalité de l'impôt en droit tunisien]()
Le principe de la légalité de l’impôt en droit tunisien
43,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wechselbeziehung formeller und informeller Institutionen]()
Wechselbeziehung formeller und informeller Institutionen
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CANISCOPE 'Manuel pratique pour élever et soigner son chien']()
CANISCOPE ‚Manuel pratique pour élever et soigner son chien‘
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Une approche intuitive pour la deformation des surfaces]()
Une approche intuitive pour la deformation des surfaces
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelle Mikrofinanzprogramme in Malawi]()
Formelle Mikrofinanzprogramme in Malawi
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das formelle Recht der Notherben]()
Das formelle Recht der Notherben
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Investissement privé et Incertitude]()
Investissement privé et Incertitude
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Elaboration d'une méthodologie de vérification de performance]()
Elaboration d’une méthodologie de vérification de performance
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche CMMI pour la conduit de projet]()
Approche CMMI pour la conduit de projet
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Développement dune Application Mobile Android StreetArtPlanet]()
Développement dune Application Mobile Android StreetArtPlanet
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pour une approche stratégique des espaces politiques]()
Pour une approche stratégique des espaces politiques
17,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pour une approche autopoïétique de l'enseignement/apprentissage]()
Pour une approche autopoïétique de l’enseignement/apprentissage
94,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches de la Bible]()
Approches de la Bible
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche multicritère pour la construction dun portefeuille daction]()
Approche multicritère pour la construction dun portefeuille daction
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dictée automatique de textes à haute voix]()
Dictée automatique de textes à haute voix
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analyse discursive et vérification des projets d'action]()
Analyse discursive et vérification des projets d’action
65,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification empirique de la loi d'Okun]()
Vérification empirique de la loi d’Okun
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pour une approche pragmatique de la brevetabilité des biotechnologies]()
Pour une approche pragmatique de la brevetabilité des biotechnologies
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vers une approche formelle de modélisation du processus éditorial en ligne]()
Vers une approche formelle de modélisation du processus éditorial en ligne
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bulbectomie olfactive : nouvelle approche pour étudier la dépression]()
Bulbectomie olfactive : nouvelle approche pour étudier la dépression
81,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification symbolique de modèles]()
Vérification symbolique de modèles
86,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La vérification de l'optimisation des ressources appliquée à l'hôpital]()
La vérification de l’optimisation des ressources appliquée à l’hôpital
57,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etude et vérification dune tour déolienne]()
Etude et vérification dune tour déolienne
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification du support démarreur équipant le turboréacteur CFM 56]()
Vérification du support démarreur équipant le turboréacteur CFM 56
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Verhältnis zwischen formellem und informellem Justizsystem]()
Das Verhältnis zwischen formellem und informellem Justizsystem
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Phytotherapie: Ätherisches Rosmarinöl stark antidiabetisch]()
Phytotherapie: Ätherisches Rosmarinöl stark antidiabetisch
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vers une démarche de vérification formelle darchitectures logicielles]()
Vers une démarche de vérification formelle darchitectures logicielles
69,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelle und Informelle Gruppen]()
Formelle und Informelle Gruppen
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Je pratique la métrologie : Validation - Vérification - Acceptation]()
Je pratique la métrologie : Validation – Vérification – Acceptation
37,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche multi-agents pour la reconnaissance du cancer du sein]()
Approche multi-agents pour la reconnaissance du cancer du sein
29,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelle und materielle Versammlungsrechtswidrigkeit.]()
Formelle und materielle Versammlungsrechtswidrigkeit.
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction à la sémantique formelle]()
Introduction à la sémantique formelle
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La relocalisation comme approche pour la conservation]()
La relocalisation comme approche pour la conservation
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le Corpen]()
Le Corpen
99,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: UEP pour la transmission dun codestream JPEG2000]()
UEP pour la transmission dun codestream JPEG2000
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Précis d'ethnographie formelle]()
Précis d’ethnographie formelle
24,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lintercompréhension : Une autre approche pour lenseignement des langues]()
Lintercompréhension : Une autre approche pour lenseignement des langues
36,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das formelle Recht der Noterben]()
Das formelle Recht der Noterben
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbuch des formellen Grundbuchrechts]()
Handbuch des formellen Grundbuchrechts
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quatre approches linguistiques pour une seule culture]()
Quatre approches linguistiques pour une seule culture
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nouveaux matériaux hybrides pour loptoélectronique]()
Nouveaux matériaux hybrides pour loptoélectronique
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fallbuch IDS]()
Fallbuch IDS
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GENERIERUNG UND ÜBERPRÜFUNG EINDEUTIGER IDS]()
GENERIERUNG UND ÜBERPRÜFUNG EINDEUTIGER IDS
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Une approche basée agent pour la modélisation des collecticiels]()
Une approche basée agent pour la modélisation des collecticiels
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelle Gesetze im römischen Rechte]()
Formelle Gesetze im römischen Rechte
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Une approche formelle de l'interopérabilité pour une famille de DSL]()
Une approche formelle de l’interopérabilité pour une famille de DSL
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entschärfung von Blackhole-Angriffen mit IDS in mobilen Adhoc-Netzen]()
Entschärfung von Blackhole-Angriffen mit IDS in mobilen Adhoc-Netzen
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches rationnelles pour la conception de nouvelles molécules]()
Approches rationnelles pour la conception de nouvelles molécules
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL]()
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL
69,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches hybrides pour la resolution d'un probleme d'ordonnancement]()
Approches hybrides pour la resolution d’un probleme d’ordonnancement
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification des calculs par éléments finis en ingénierie mécanique]()
Vérification des calculs par éléments finis en ingénierie mécanique
113,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pour une approche intégrative de l'intelligence]()
Pour une approche intégrative de l’intelligence
25,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches]()
Approches
8,20 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: vérification formelle de la plate-forme JavaCard]()
vérification formelle de la plate-forme JavaCard
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Education non formelle pour la réinsertion des enfants de la rue]()
Education non formelle pour la réinsertion des enfants de la rue
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formelles Steuerrecht]()
Formelles Steuerrecht
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Validierung von nicht-formell erworbenen Kompetenzen]()
Die Validierung von nicht-formell erworbenen Kompetenzen
54,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abrégé de Logique Formelle]()
Abrégé de Logique Formelle
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vérification d'assemblages de composants logiciels]()
Vérification d’assemblages de composants logiciels
107,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Slim Aarons: A Place in the Sun]()
Slim Aarons: A Place in the Sun
92,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche logique des grammaires pour les langues naturelles]()
Approche logique des grammaires pour les langues naturelles
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Une approche formelle pour la composition des services web]()
Une approche formelle pour la composition des services web
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Verhältnismäßigkeit formeller Rechtsschutzschranken]()
Die Verhältnismäßigkeit formeller Rechtsschutzschranken
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Une Approche Mimétique pour la détection d'Intrusion]()
Une Approche Mimétique pour la détection d’Intrusion
65,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das formelle Recht der Notherben]()
Das formelle Recht der Notherben
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das formelle Grundbuchrecht]()
Das formelle Grundbuchrecht
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches Bio-Inspirées pour la Résolution du VRP]()
Approches Bio-Inspirées pour la Résolution du VRP
65,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le plus grand complot de tous les temps]()
Le plus grand complot de tous les temps
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Méthodes formelles pour le parallélisme]()
Méthodes formelles pour le parallélisme
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: L'audit interne et le pilotage du système d'intelligence économique]()
L’audit interne et le pilotage du système d’intelligence économique
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verbessertes IDS mit einem hybriden Ansatz für maschinelles Lernen]()
Verbessertes IDS mit einem hybriden Ansatz für maschinelles Lernen
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: L'éducation non formelle]()
L’éducation non formelle
18,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche interdisciplinaire pour la ressource en eau karstique]()
Approche interdisciplinaire pour la ressource en eau karstique
82,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nouvelles approches pour létude d'un réseau d'assainissement]()
Nouvelles approches pour létude d’un réseau d’assainissement
107,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybridation des Algorithmes Evolutionnaires Multiobjectifs]()
Hybridation des Algorithmes Evolutionnaires Multiobjectifs
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approches pour l'analyse des activités]()
Approches pour l’analyse des activités
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lajustement nonlinéaire du taux de change vers sa valeur déquilibre]()
Lajustement nonlinéaire du taux de change vers sa valeur déquilibre
107,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pour la sociodidactique de la langue amazighe: approche textuelle]()
Pour la sociodidactique de la langue amazighe: approche textuelle
125,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approche architecturale pour une harmonie paysagère]()
Approche architecturale pour une harmonie paysagère
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
