Spende 15. September, 2024 – 1. Oktober, 2024
Über Spenden
Suche nach Büchern
Bücher
Spende:
64.1% erreicht
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
search
1
Modélisation de politiques de sécurité à l’aide de méthode de spécifications formelles
Pierre Konopacki
à
contraintes
être
eb3
modèle
xacml
onc
sécurité
permissions
sod
psec
règle
système
méthode
l’aide
utilisé
contrainte
patrons
modélisation
correspond
interdictions
réaliser
diagramme
modèles
permettent
hapitre
valider
l’action
manière
patron
éléments
cheque
propriétés
obligations
rbac
rôle
clid
deposer
vérification
chèque
même
correspondant
validation
différentes
statique
dépôt
règles
obligation
pid
montant
Sprache:
french
Datei:
PDF, 2.13 MB
Ihre Tags:
0
/
0
french
2
Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine
Mohamed Hilia
à
atomc
composition
spécification
sémantique
coopération
andc
règles
modèle
domaines
somc
système
event
être
l’ontologie
allc
logique
figure
formelle
environnement
été
configuration
présente
isabelle
correction
contrôle
techniques
canevas
coopératifs
permettant
représente
vues
bcdl0
reeducationprogram
l’environnement
approches
formel
calendarevent
conceptf
systèmes
proposé
sémantiques
ambiante
notifyprogramevent
constructive
provisioning
d’abstraction
formule
module
programme
Sprache:
french
Datei:
PDF, 4.02 MB
Ihre Tags:
0
/
0
french
3
Contributions à l’évaluation de systèmes biométriques embarqués
Benoît Vibert
à
minuties
template
données
biométrique
méthode
biométriques
figure
système
plateforme
cité
comparaison
méthodes
taux
digitales
systèmes
digitale
module
différentes
réduction
qualité
permettant
résultats
capteur
valeurs
d’empreintes
sécurisé
été
l’algorithme
l’image
biometric
être
barycentre
sélection
attaques
algorithmes
empreintes
d’évaluation
élément
d’empreinte
l’empreinte
carte
evabio
algorithme
attaque
nmax
très
fingerprint
l’auc
templates
Sprache:
french
Datei:
PDF, 44.48 MB
Ihre Tags:
0
/
0
french
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×