Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 684p.
ISBN 978-3-540-58043-0
Lecture notes in computer science , 0803
Localisation : Collection 1er étage
informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle
00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 372p.
ISBN 978-3-540-54477-7
Lecture notes in computer science , 0531
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus
00B25 ; 68-06 ; 68T35 ; 68Q85
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 524 p.
ISBN 978-3-540-40753-9
Lecture notes in computer science , 2761
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 287p.
ISBN 978-3-540-59479-6
Lecture notes in computer science , 0923
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 316p.
ISBN 978-3-540-59155-9
Lecture notes in computer science , 0910
Localisation : Collection 1er étage
informatique # techniques de programmation par contraintes # intelligence artificielle # domaine de contraintes symboliques # Prolog
00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68N19
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 360p.
ISBN 978-3-540-58601-2
Lecture notes in computer science , 0874
Localisation : Collection 1er étage
informatique # technique de programmation par contraintes # intelligence artificielle # base de données # interface utilisateur
00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68Txx ; 68P15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 463p.
ISBN 978-3-540-58485-8
Lecture notes in computer science , 0864
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 283p.
ISBN 978-3-540-57264-0
Lecture notes in computer science , 0724
Localisation : Collection 1er étage
informatique # algorithme générique pour la méthode de point fix # analyse statique pour le calcul parallèle
00B25 ; 68-06 ; 68Q85 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 443p.
ISBN 978-3-540-65703-3
Lecture notes in computer science , 1579
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 552p.
ISBN 978-3-540-67282-1
Lecture notes in computer science , 1785
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 289p.
ISBN 978-3-540-60630-7
Lecture notes in computer science , 1019
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 434p.
ISBN 978-3-540-61042-7
Lecture notes in computer science , 1055
Localisation : Collection 1er étage
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 ; 68N30 ; 68Q85 ; 68W15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431p.
ISBN 978-3-540-62790-6
Lecture notes in computer science , 1217
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p.
ISBN 978-0-521-57189-0
Distinguished dissertations in computer science
Localisation : Ouvrage RdC (HILL)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- IX-434 p.
ISBN 978-0-521-76036-2
New Mathematical Monographs , 0013
Localisation : Ouvrage RdC (GRAN)
théorie de l'homotopie # topologie algébrique # phénomène non réversible
55Mxx ; 55-01 ; 55U35 ; 18D05 ; 68Q85
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 215 p.
ISBN 978-0-8218-3571-5
CRM monographs series , 0023
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 580 p.
ISBN 978-0-521-78177-0
Localisation : Ouvrage RdC (SANG)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 278 p.
ISBN 978-981-283-745-5
Localisation : Ouvrage RdC (DENE)
système algébrique # informatique # catégories d'algèbres # catégories équationnelles # théorie algébrique des automates # algèbre universel # coalgèbre # théorie des catégories # clone # théorème de Birkhoff # treillis de Post # bi-simulation
08-01 ; 08-02 ; 08A70 ; 08C05 ; 18C05 ; 68Q65 ; 68Q70 ; 68Q85
... Lire [+]
