En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents F 19 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computer science logic :
5th workshop, CSL'91#Oct. 7-11 Borger, E. ; Jager, G. ; Kleine Buning, H. ; Richter, M. M. | Springer-Verlag 1992

Congrès

- 427 p.
Call n° : 00015258
gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Trees in algebra and programming-CAAP '94 :
19th international colloquium trees in algebra and programming-CAAP '94#April 11-13 Tison, Sophie | Springer-Verlag 1994

Congrès

- 351 p.
Call n° : 00017369
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres[-]
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...[+]

68P05 ; 68Q10 ; 68Qxx ; 68R10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming :
21th international colloquium, ICALP 94#July 11-14 Abiteboul, Serge ; Shamir, Eli | Springer-Verlag 1994

Congrès

- 782 p.
Call n° : 00021722
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme[-]
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...[+]

68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Lectures on Hilbert modular surfaces Hirzebruch, Friedrich ; Van Der Geer, Gerard ; Hausmann W. ; Koll, F. J. | Les Presse de l'Université de Montréal 1981

Ouvrage

- 193 p.
Call n° : 00005160
application canonique # minimalité # nombre de Chern # résolution des coupes # singularité # surface algébrique # surface modulaire d'Hilbert # variété modulaire d'Hilbert

10D21 ; F

Location : Salle de manutention

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Stacs 87 :
4th annual symposium on theoretical aspects of computer science held in passau#Feb. 19-21 Brandenburg, F. J. ; Vidal-Naquet, G. ; Wirsing, M. | Springer-Verlag 1987

Congrès

- 483 p.
Call n° : 00013965
analyse numérique # combinatoire # environnement de la programmation # informatique théorique # mathématique discrète # théorie des graphes

68N05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata, languages and programming :
18th international colloquium held in madrid#July 8-12 Leach Albert, J. ; Monien, B. ; Rodriguez Artalejo, M. | Springer-Verlag 1991

Congrès

- 762 p.
Call n° : 00014021
algorithme # automate # complexité # langage des automates # langage forme # programmation fonctionnelle # programmation # programmation logique

68Q68

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Fundamentals of computation theory :
8th international conference, fct '91#Sept. 9-13 Budach, L. | Springer-Verlag 1991

Congrès

- 426 p.
Call n° : 00014027
algorithme # algorithmique # architecture parallèle # combinatoire # complexe # géométrie algébrique # géométrie de l'informatique # informatique théorique # langage formel # sémantique
Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Stacs 91 :
8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16 Choffrut, C. ; Jantzen, M. | Springer-Verlag 1991

Congrès

- 548 p.
Call n° : 00014055
algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe

68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Public-key cryptography Salomaa, Arto | Springer-Verlag 1990

Ouvrage

- 245 p.
Call n° : 00015500
chiffrement des données # classe de complexité # communication # complexité d'un problème # corps finis # cryptographie # cryptosystème à clé publique # information # informatique # informatique théorique # standard de chiffrement des données # théorie algébrique du codage # théorie des données

68-XX ; 68P25 ; 68Pxx ; 94A60 ; 94Axx

Location : Ouvrage RdC (SALO)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Future tendencies in computer science, control and applied mathematics :
international conference on the occasion of the 25th anniversary of INRIA#Dec. 8-11 Bensoussan, Alain ; Verjus, J. P. | Springer-Verlag 1992

Congrès

- 376 p.
Call n° : 00016070
automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision

68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language