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 68Nxx 89 résultats

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

Compilers
principles, techniques, and tools Aho, Alfred ; Sethi, Ravi ; Ullman , Jeffrey D. | Addison-Wesley Publishing Company 1986

Ouvrage

- 796 p.
Cote : 00011505
compilateur # générateur de programme # langage de programmation

68N15 ; 68N20 ; 68Nxx

Localisation : Ouvrage RdC (AHO)

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

Third international conference on logic programming :
proceedings at imperial college of science and technology#July 14-18 Shapiro, Ehud | Springer-Verlag 1986

Congrès

- 720 p.
Cote : 00011524
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX

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

Fifth generation computer systems 1984
proceedings of the international conference on...
Nov. 6-9 | North-Holland ; Ohmsha Ltd 1984

Congrès


Cote : 00009647
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

Localisation : Colloque 1er étage (TOKY)

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

Vector and parallel processors in computational science
proceedings of the 2nd international conference
Aug. 28-31 Duff, I. S. ; Reid, J. K. | North-Holland 1985

Congrès


Cote : 00009650
Europe # Japon # algorithme parallèle # algorithme à flux de données # dynamique des fluides # hydrodynamique galactique # machine MIMD # matériel et langage # multiprocesseur architecture de processeur # méthode numérique et algorithme # processeur parallèle # processeur vectoriel # processeur à rangée # simulation Monte-Carlo # super calculateur # équation de Navier-Stokes

68-06 ; 68Nxx ; 68Qxx

Localisation : Colloque 1er étage (OXFO)

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

Algorithms
the construction,proof,and analysis of programs Berlioux, Pierre ; Bizard, Philippe | John Wiley And Sons 1987

Ouvrage

- 145 p.
Cote : 00013002
algorithme # algorithmique # programmation

68Nxx ; 68Q25

Localisation : Ouvrage RdC (BERL)

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 methods of specification and synthesis of software systems '85 :
proceedings of the international spring school#Apri l 22-26 Bibel, W. ; Jentke, K. P. | Springer-Verlag 1986

Congrès

- 245 p.
Cote : 00013948
algorithme # algorithmique # informatique théorique

68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx

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

Foundations of software technology and theoretical computer science :
fifth conference#Dec. 16-18 Maheshwari, S. N. | Springer-Verlag 1985

Congrès

- 521 p.
Cote : 00013424
algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme

68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx

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

24eme congres national d'analyse numerique
palais des congres et club mediterranee
mai 25-28 Conrad, Francis ; Kavian, Otared ; Pierre, Michel | S.N. 1992

Congrès


Cote : 00014672
an neaux de vorticite # analyse numerique # configuration optimale pour les edp # cristaux liquides # equation aux derivees partielles # methode de volumes finis # modeles de ginzburg-landau # modelisation numerique d'ecoulement reactif # problemes variationnels # singularites # suites stationnaires # visualisation scientifique

65-06 ; 65Kxx ; 65Mxx ; 68Nxx

Localisation : Colloque 1er étage (VITT)

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 foundations of computer science 1992 :
17th international symposium#Aug. 24-28 Havel, I. M. ; Koubek, V. | Springer-Verlag 1992

Congrès

- 521 p.
Cote : 00015254
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation[-]
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...[+]

68-06 ; 68-50 ; 68Nxx ; 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

Meta-programming in logic :
Third international workshop, META-92#June 1992 Pettorossi, Alberto | Springer-Verlag 1992

Congrès

- 351 p.
Cote : 00015452
méta-programmation # programmation logique # programmation transformationnelle

68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4

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

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue