Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 360p.
Cote : 00029976
informatique # technique de programmation par contraintes # intelligence artificielle # base de données # interface utilisateur
00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68Txx ; 68P15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 463p.
Cote : 00029978
informatique # algorithme générique pour la méthode de point fix # technique de programmation par contraintes # optimisation # transformation # vérification # analyse de dépendance # domaine abstrait
00B25 ; 68-06 ; 68W40 ; 68N17 ; 68W10 ; 68Q85
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431p.
Cote : 00029985
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 552p.
Cote : 00029987
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 580 p.
Cote : 00024237
système mobile # calcul pi # calcul lambda # mode de calcul # informatique # modèle et méthode pour le calcul concurrent et distribué # programmation # calcul de type pi # processus d'ordre supérieur # application du calcul pi à la programmation orienté objet
68-02 ; 68Q10 ; 68Q85
Localisation : Ouvrage RdC (SANG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 158 p.
Cote : 00025921
informatique # évaluation de performance # processus de Markov # gestion des queues # processus d'évaluation de performance # modélisation # modèle multi-serveur # isomorphisme # bisimilarité # équivalence
68M20 ; 60J05 ; 60J25 ; 60K10 ; 60K25 ; 68Q85 ; 00A06
Localisation : Ouvrage RdC (HILL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 524 p.
Cote : 00026006
ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau
68-06 ; 68Q85 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Cote : 00026600
analyse de système # système de calcul probabiliste # co-algèbre # système concurrent # chaîne de Markov # processus de décision
68Q60 ; 68Q85
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 372p.
Cote : 00029969
informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus
00B25 ; 68-06 ; 68T35 ; 68Q85
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 287p.
Cote : 00029977
informatique théorique # techniques de programmation par contraintes # intelligence artificielle # système expert # stockage et récupération de l'information
00B25 ; 68-06 ; 68Q85 ; 68N17
Localisation : Collection 1er étage
English