m

F Nous contacter

0

Documents  68Q65 | enregistrements trouvés : 13

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 266 p.
ISBN 978-3-540-17660-2

Lecture notes in computer science , 0249

Localisation : Collection 1er étage

algorithme # informatique théorique # preuve # spécification algébrique

68Q65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 523 p.
ISBN 978-3-540-15670-3

Lecture notes in computer science , 0197

Localisation : Collection 1er étage

algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites

68-06 ; 68Q42 ; 68Q65 ; 68Qxx

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

- 420 p.
ISBN 978-0-387-23759-6

Monographs in computer science

Localisation : Ouvrage RdC (POER)

aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème

03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 372 p.
ISBN 978-83-01-06859-2

Localisation : Ouvrage RdC (MIRK)

logique algorithmique # algèbre de Boole # logique de programmation # LOGLAN

03B70 ; 68Q65 ; 03-02 ; 68-02 ; 03B45 ; 68W99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 304 p.
ISBN 978-3-540-11210-5

Lecture notes in computer science , 0130

Localisation : Collection 1er étage

informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique

68Q65 ; 68Q60 ; 68-01 ; 03B45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 611 p.
ISBN 978-0-19-853791-5

Oxford science publications

Localisation : Ouvrage RdC (Hand)

intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps

68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-88074-1

Localisation : Ouvrage RdC (H)

automate # calcul lambda # calcul partagé # calcul réparti # informatique théorique # langage de programmation # logique et programmation # logique modale # logique temporelle # programmation logique # schéma de programme # spécification d'algèbre # sémantique # sémantique algébrique # théorie des données relationnelles # théorie du langage

68Q45 ; 68Q55 ; 68Q65 ; 90Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 428 p.
ISBN 978-2-84074-114-5

Localisation : Ouvrage RdC (COUS)

analyse syntaxique # application # arithmétique exacte # compilation # dessin # filtrage # fonction d'arbre # graphe # géométrie # implémentation # programmation fonctionnelle # structure de données # sémantique # terme # variable # équilibre d'arbre

68N05 ; 68P05 ; 68Q55 ; 68Q65 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 251 p.
ISBN 978-0-8176-3700-2

Progress in theoretical computer science

Localisation : Ouvrage RdC (HUSS)

calcul algébrique # calcul informatique # calcul non déterministe # graphe # informatique théorique # processus de communication # protocole # réécriture de système # spécification algébrique # spécification non déterministe

68Q40 ; 68Q42 ; 68Q65 ; 68Q78 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 181 p.
ISBN 978-3-540-12330-9

Lecture notes in computer science , 0156

Localisation : Collection 1er étage

informatique graphique # intelligence artificielle # programmation dynamique # structure de données

68P05 ; 68Pxx ; 68Q65 ; 68Q99 ; 90C39

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 397 p.
ISBN 978-0-201-41635-0

Localisation : Ouvrage RdC (Alge)

algèbre particulière # algèbre spécifique # informatique théorique

68Q65

... Lire [+]

Z