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 68Q50 22 results

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

Introduction to computer theory Cohen, Daniel I. A. | John Wiley And Sons 1985

Ouvrage

- 431 p.
Call n° : 00010218
automatique théorique # conception et fabrication de logiciel # informatique # informatique theorique # langage # langage de programmation

68-01 ; 68-02 ; 68Nxx ; 68Q45 ; 68Q50

Location : Ouvrage RdC (COHE)

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

Graph-theoretic concepts in computer science :
proceedings of the international workshop wg '86#June 17-19 Schmidt, G. ; Tinhofer, G. | Springer-Verlag 1987

Congrès

- 305 p.
Call n° : 00011511
algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture

68Mxx ; 68Q05 ; 68Q30 ; 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

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

The mathematical theory of l systems Rozenberg, Grzegorz ; Salomaa, Arto | Academic Press 1980

Ouvrage

- 352 p.
Call n° : 00005057
grammaire d'itérations # homomorphisme unique itéré # langage formel # plusieurshomomorphisme itérés # substitution finie simple itérée # système iL # systèmes DOL,OL,EOL,TOL,ETOL # théorie mathématique des systèmes L

03D05 ; 68Q42 ; 68Q45 ; 68Q50

Location : Ouvrage RdC (ROZE)

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

Context-free grammars Nijholt, Anton | Springer-Verlag 1980

Ouvrage

- 253 p.
Call n° : 00013820
compileur # générateur # grammaire # langage # processeur

68N20 ; 68Q50 ; 68Q52

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

Caap '86 :
11th colloquium on trees in algebra and programming#March 24-26 Franchi-Zannettacci, P. | Springer-Verlag 1986

Congrès

- 306 p.
Call n° : 00013947
arbre # grammaire # graphe # sémantique # syntaxe

68Q50 ; 68Q55 ; 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

Newcat :
parsing natural language using left-associative grammar Hausser, Roland | Springer-Verlag 1986

Ouvrage

- 540 p.
Call n° : 00013956
grammaire # informatique théorique

68Q50 ; 68Q52

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

Theoritical aspects of computer software :
international conference tacs'91 held at sendai#Sept. 24-27 Ito, T. ; Meyer, R. R. | Springer-Verlag 1991

Congrès

- 770 p.
Call n° : 00014024
complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types

68Pxx ; 68Q50 ; 68Q55

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

Outils logiques pour le traitement du temps
de la linguistique a l'intelligence artificielle Bestougeff, Helene ; Ligozat, Gerard | Masson 1989

Ouvrage

- 272 p.
Call n° : 00013400
intelligence artificielle # langage # linguistique # logique temporelle # traitement du temps

58TXX ; 68Q45 ; 68Q50 ; 68Q55 ; 68S05

Location : Ouvrage RdC (BEST)

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

Word equations and related topics :
1st international workshop iwwert'90#Oct. 1-3 Schulz, K. U. | Springer-Verlag 1992

Congrès

- 256 p.
Call n° : 00014316
algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve

68P05 ; 68Q45 ; 68Q50 ; 68Q55

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