m

Documents  F.1.3 | enregistrements trouvés : 23

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 305 p.
ISBN 978-3-540-17218-5

Lecture notes in computer science , 0246

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 314 p.
ISBN 978-3-540-19102-5

Lecture notes in computer science , 0304

Localisation : Collection 1er étage

cryptographie

94A60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 400 p.
ISBN 978-3-540-16486-9

Lecture notes in computer science , 0223

Localisation : Collection 1er étage

algorithme # complexité # logique

68Q30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 252 p.
ISBN 978-3-540-55121-8

Lecture notes in computer science , 0570

Localisation : Collection 1er étage

algorithme # algorithme parallèle # analyse des algorithmes # circuit # classe de complexité # complexité # géométrie de l'informatique # gestion des systèmes # grammaire # information des systèmes # informatique théorique # logique # logique mathématique # parallèle # reécriture des systèmes # structure de données # théorie des graphes # traitement de données

03Dxx ; 68D05 ; 68P05 ; 68Q25 ; 94Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 398 p.
ISBN 978-3-540-55676-3

Lecture notes in computer science , 0616

Localisation : Collection 1er étage

analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 523 p.
ISBN 978-3-540-59175-7

Lecture notes in computer science , 0911

Localisation : Collection 1er étage

BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # problème de Yekutieli et Mandelbrojt # programmation logique contrainte # réseau d'automate cyclique # séquence biologique BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # ...

05Cxx ; 68Qxx ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 514 p.
ISBN 978-3-540-60178-4

Lecture notes in computer science , 0960

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Cxx ; 03Fxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 406 p.
ISBN 978-3-540-62559-9

Lecture notes in computer science , 1197

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique # classe de complexité # concept de graphe théorique # géométrie de l'informatique # informatique théorique # langage formel # logique et signification de programme # logique mathématique # mathématique discrète # mode de calcul # modélisation d'objet # problème de complexité # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68R10 ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 414 p.
ISBN 978-3-540-66731-5

Lecture notes in computer science , 1665

Localisation : Collection 1er étage

algorithme # classe de complexité # complexité des algorithmes # géométrie de l informatique # informatique théorique # logique et spécification de programme # logique mathématique # mathématique discrète # mode de calcul # strucutre de données # théorie des graphes

00B25 ; 05-06 ; 68-06 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 217 p.
ISBN 978-3-540-07805-0

Lecture notes in computer science , 0043

Localisation : Collection 1er étage

complexité informatique # logique informatique # machine de turing # théorème de Godel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 125 p.
ISBN 978-90-6196-215-1

Mathematical centre tracts , 0137

Localisation : Collection 1er étage

convexité # inégalité # polyèdre # problème d'extremum # programmation linéaire # programmation mathématique # recherche operationnelle # ensemble convexe

52-02 ; 52A25 ; 52A40 ; 68-01 ; 68C25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 224 p.
ISBN 978-0-471-90814-2

Wiley series in computing

Localisation : Ouvrage RdC (KRON)

algorithme de calcul parallèle # complexité des algorithmes

68Q10 ; 68Q15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 197 p.
ISBN 978-3-540-10290-8

Lecture notes in computer science , 0102

Localisation : Collection 1er étage

algèbre # algèbre différentielle # algorithme # fonction algébrique # informatique théorique # intégration # théorie des nombres

12-02 ; 28-02 ; 68Q40 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 110 p.
ISBN 978-90-6196-400-1

CWI tract , 0078

Localisation : Collection 1er étage

analyse des algorithmes # classe de complexité # complexité de calcul # complexité des problèmes # économie # efficacité de calcul # efficacité des algorithmes # jeu # mathématiques discrètes # métathéorie # modèle de calcul # ordinateur # programmation # programmation mathématique # recherche opérationnelle # science de l'ordinateur # système d'ordinateur

68A05 ; 68C25 ; 68EXX ; 90Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 472 p.
ISBN 978-3-540-55610-7

Lecture notes in computer science , 0609

Localisation : Collection 1er étage

analyse d'algorithme # architecture de processeur # calcul par dispositif abstrait # complexité # infor matique théorique # informatique théorique # logique des programmes # modélisation # réseau d'ordinateur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

68M07 ; 68M10 ; 68Q25 ; 68Qxx ; 68U20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 245 p.
ISBN 978-3-540-52831-9

EATCS monographs on theoretical computer science , 0023

Localisation : Ouvrage RdC (SALO)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-88071-0

Handbook of theoretical computer science

Localisation : Ouvrage RdC (H)

algorithme de graphe # architecture parallèle # classe de complexité # complexité de Kolmogorov # cryptographie # géométrie informatique # modèle de machine # parallèle # problème difficile par présomption ou preuve # seconde classe de machines # structure de donnée # séquentielle # théorie VLSI # théorie de la complexité algébrique # théorie de la complexité indépendante de la machine

68Q15 ; 68Q25 ; 68Q30 ; 68Q35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 226 p.
ISBN 978-0-8176-3719-4

Progress in theoretical computer science

Localisation : Ouvrage RdC (STRA)

automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 62 p.
ISBN 978-0-89871-027-4

CBMS-NSF regional conference series in applied mathematics , 0030

Localisation : Collection 1er étage

L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles

03B48 ; 03D15 ; 68Q15 ; 68Q25 ; 68Q45

... Lire [+]

Z