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.2.2 35 results

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

Distributed algorithms :
6th international Workshop, WDAG'92#Nov. 2-4 Segall, A. ; Zaks, S. | Springer-Verlag 1992

Congrès

- 380 p.
Call n° : 00015377
algorithme distribué # programmation distribué # protocole réseau # système d'exploitation # système distribué

68-06 ; 68M10 ; 68Q22

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

Computers and intractability :
a guide to the theory of NP-completeness Garey, Michael R. ; Johnson, David S. | Freeman W.H. And Co. 1979

Ouvrage

- 340 p.
Call n° : 00026083
NP-complétude # NP-dureté # classement et ordonnancement # complexité # intractabilité # ordinateur # programmation mathématique

68Q25 ; 90B35 ; 90Cxx

Location : Disparu;Ouvrage RdC (GARE)

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

Algorithmic number theory :
proceeding first international symposium, ANTS-I#May 6-9 Adleman, LeOnard M. ; Huang, Ming-Deh A. | Springer-Verlag 1994

Congrès

- 322 p.
Call n° : 00017481
CM-champ # algorithme # complexité # courbe elliptique rationnelle # courbe hyperelliptique # criblage de treillis # cycle d'isogénie # difficulté à trouver des témoins fiables # division d'essais # informatique # méthode symbolique en mathématique algorithmique # ordinateur quantique # réduction # théorie des nombres # théorie des nombres algorithmique # variété CM abelienne

11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40

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

Graph drawing :
DIMACS international workshop, GD'94#Oct. 10-12 Tamassia, Roberto ; Tollis, Ioannis G. | Springer 1995

Congrès

- 469 p.
Call n° : 00018626
application et système # approche déclarative # contestation de tracé de graphe # démonstration de système # galerie de poster # géométrie # représentation de visibilité # tracé de proximité # tracé orthogonal # tracé planaire # tracé tri-dimensionnel # tracé vers le haut # traversée

05Cxx ; 68R10 ; 90C35 ; 94C15

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

Combinatorial pattern matching :
7th annual symposium, CPM 96 at Aliso Creek Inn#June 10-12 Hirschberg, Dan ; Myers, Gene | Springer 1996

Congrès

- 391 p.
Call n° : 00019676
algorithmique non numérique # analyse des algorithmes # application # bio- informatique # bio-mathématique # codage # combinatoire # complexité des algorithmes # généralité # génération d'index # mathématique discrète # recherche et restitution d'information # reconnaissance de forme # reconnaissance des formes # stockage d'information # système d'information # système d'information médicale # théorie de l'information # traitement de texte

68B20 ; 68Q25 ; 68U15 ; 94A15 ; 94A60

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

Algorithmic number theory :
second international symposium, ANTS-II#May 18-23 Cohen, Henri | Springer 1996

Congrès

- 403 p.
Call n° : 00020970
algorithme non numérique # algorithmique # algèbre # algèbre de l'informatique # analyse d'algorithme # arithmétique # corps des nombres finis # cryptage des données # cryptographie # encryptage de données # grammaire # informatique théorique # mathématique de l'informatique # mathématique discrète # polynôme # problème de complexité # théorie algorithmique des nombres # théorie des nombres # traitement des données informatiques

11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40

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

Mathematical foundations of computer science 1991 : Tarlecki A. | Springer-Verlag 1991

Congrès

- 435 p.
Call n° : 00022075
algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme

68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05

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

Algorithmic number theory :
Proceedings of the third international symposium on ants-III#June 21-25 Buhler, J. P. | Springer 1998

Congrès

- 640 p.
Call n° : 00022750
algorithmique # théorie des nombres # théorie des nombres calculatoires # traitement informatique

11T71 ; 11Yxx ; 12Y05 ; 68P25 ; 68Q20 ; 68Q25 ; 68Q40 ; 94A60

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

Extrenal memory algorithms :
DIMACS workshop on ... held at Ruthgers University#May 20-22 Abello, James M. ; Vitter, Jeffrey Scott | American Mathematical Society 1999

Congrès

- 306 p.
Call n° : 00023002
algorithme de calcul # algorithme numérique # algorithmique # algèbre numérique # calcul des algorithmes numériques # calcul parallèle # complexité des algorithmes # gestion de mémoire # infographie # informatique théorique # mathématique discrète # modèle de calcul # structure des données # traitement des données

65Fxx ; 65Y20 ; 68Pxx ; 68Q05 ; 68Q25 ; 68R01 ; 68R10 ; 68U05 ; 68W01 ; 68W40

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

Advances in cryptology - ASIACRYPT 2000 : 
6th international conference on the theory and application of cryptology and information security#Dec. 3-7 Okamoto, Tatsuaki | Springer 2000

Congrès

- 630 p.
Call n° : 00025616
cryptanalyse # signature digitale # fonction booléenne # zero-knowledge et sécurité prouvable # schéma à clé symétrique # algorithme de théorie des nombres # courbe elliptique et hyperelliptique # cryptographie à clé publique # distribution de clés

94-06 ; 94A60 ; 94A62

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