m

F Nous contacter

0

Documents  68Q85 | enregistrements trouvés : 18

O
     

-A +A

P Q

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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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 [+]

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 [+]

Z