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 [+]