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 68Q40 62 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Proceedings of the 6th symposium on computer arithmetic,aarhus university,aarh US,DENMARK,JUNE 20-22,1983 | I.E.E.E. Computer Society Press 1984

Congrès


Cote : 00008717

68Q40

Localisation : Colloque 1er étage (AACH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Canonical forms in finitely presented algebras Le Chenadec, Philippe | John Wiley & Sons, Inc. ; Pitman 1985

Ouvrage

- 431 p.
Cote : 00010187
algèbre universelle # informatique algébrique # prestation d'algébre universelle # théorie des graphes # théorie des structure d'algèbre universel

03C05 ; 06-XX ; 08A05 ; 08Axx ; 68Q40

Localisation : Ouvrage RdC (LECH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical logic and theoretical computer science :
papers presented during the XVI special year of the department of mathematics of the university of Maryland Kueker, David W. ; Lopez-Escobar, Edgar G. K. ; Smith, Carl H. | Inc. ; Marcel Dekker 1987

Congrès

- 383 p.
Cote : 00011143
algèbre de l'informatique # logique mathématiques # logique symbolique

03-02 ; 68Pxx ; 68Q40

Localisation : Colloque 1er étage (COLL)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Seminar on concurrency :
carnegie-mellon university#July 9-11 Brookes, S. D. ; Roscoe, A. W. ; Winskel, G. | Springer-Verlag 1985

Congrès

- 523 p.
Cote : 00013419
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Theory of computing and systems :
ISTCS'92 Israel symposium#May 27-28 Dolev, D. ; Galil Z. ; Rodeh | Springer-Verlag 1992

Congrès

- 219 p.
Cote : 00015253
analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information

68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic and logic programming :
3rd international conference#2-4 Kirchner, H. ; Levi, G. | Springer-Verlag 1992

Congrès

- 457 p.
Cote : 00015260
arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Principes et applications de l'analyse booléenne Carvallo, Michel | Gauthier-Villars 1965

Ouvrage

- 131 p.
Cote : 00007274
algèbre de Boole # anal yse booléenne # calcul binaire # ensemble # fon ction de Boole # fonction caractéristique # graphe # logique des propositions # logique symbolique # réseau # équation de Boole

03B05 ; 03G05 ; 04A05 ; 06Exx ; 68Q40

Localisation : Ouvrage RdC (CARV)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Gröbner Bases
a computational approach to commutative algebra Becker, Thomas ; Weispfenning, Volker ; Kredel, Heinz | Springer-Verlag 1993

Ouvrage


Cote : 00016122
algèbre commutative # base de Gröbner # calcul algébrique sur ordinateur # calcul sur ordinateur pour l'algèbre commutative # calcul sur ordinateur pour la théorie des corps # calcul symbolique # extension de corps # idéal de polynôme # traitement des données

12Fxx ; 12Y05 ; 13P10 ; 68Q40

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Séries de Fourier absolument convergentes Kahane, Jean-Pierre | Springer-Verlag 1970

Ouvrage

- 168 p.
Cote : 00004638
calcul symbolique # ensemble d'Helson # mesure aléatoire # pseudomesure # série de Fourier # série lacunaire

42B05 ; 60A10 ; 60G57 ; 68Q40

Localisation : Ouvrage RdC (KAHA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue