m

F Nous contacter

0

Documents  68Q05 | enregistrements trouvés : 85

O

-A +A

P Q

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

- 173 p.
ISBN 978-0-521-31524-1

London mathematical society lecture note series , 0103

Localisation : Collection 1er étage

05-04 ; 68Q05

... Lire [+]

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.

- 328 p.
ISBN 978-3-540-16766-2

Lecture notes in computer science , 0227

Localisation : Collection 1er étage

algorithme vlsi # algorithmique # architecture # informatique parallèle # processeur

68Q05 ; 68Q10 ; 68Q35

... Lire [+]

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

- 365 p.
ISBN 978-3-540-11973-9

Lecture notes in computer science , 0145

Localisation : Collection 1er étage

algorithme non numériques et problèmes # langage de programmation # modes de calcul # spécification # structures de données # système d'exploitation # vérification et raisonnement

68N05 ; 68N25 ; 68P05 ; 68Q05 ; 68Q10

... Lire [+]

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

- 474 p.
ISBN 978-3-540-16761-7

Lecture notes in computer science , 0226

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes

68Q05 ; 68Q25 ; 68Q45 ; 68R10

... Lire [+]

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


ISBN 978-0-8218-0131-4

Proceedings of symposia in applied mathematics , 0038

Localisation : Collection 1er étage

complexite # informatique # theorie de la complexite

68Q05 ; 68Q10 ; 68Q20 ; 68Q75

... Lire [+]

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

- 620 p.
ISBN 978-3-540-55092-1

Lecture notes in computer science , 0571

Localisation : Collection 1er étage

calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

68M20 ; 68Q05 ; 68Q10

... Lire [+]

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

- 723 p.
ISBN 978-3-540-55564-3

Lecture notes in computer science , 0600

Localisation : Collection 1er étage

calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel

68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 628 p.
ISBN 978-0-8218-6594-1

DIMACS series in discrete mathematics and theoretical computer science , 0003

Localisation : Collection 1er étage

analyse des systèmes # calcul # circuit digital intégré # conception calcul assisté # conception et construction # condition de finitude # configuration machine # environnement et analyse des réseaux de petri # logique # lotos # papetri # processus # simulation optimal # spécification # système concurent # traitement des données # vérification des systèmes

68M15 ; 68Q05 ; 68Q60

... Lire [+]

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


ISBN 978-85-244-0094-0

Localisation : Salle de manutention

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

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


ISBN 978-85-244-0094-0

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

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

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 221 p.
ISBN 978-0-8218-0518-3

DIMACS series in discrete mathematics and theoretical computer science , 0027

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # automate de tessellation # calcul parallèle # calcul, processeur # classe de complexité # informatique théorique # itérativité # réécriture de système # structure cellulaire

68Q05 ; 68Q10 ; 68Q15 ; 68Q22 ; 68Q42

... Lire [+]

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

- 445 p.
ISBN 978-3-540-62048-8

Lecture notes in computer science , 1178

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique théorique # calcul statistique # géométrie de l'informatique # informatique graphique # logiciel statistique # mathématique discrète # mode et modèle de calcul # modélisation d'objet # probabilité # problème de complexité

68-XX ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

... 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.

- 310 p.
ISBN 978-3-540-62592-6

Lecture notes in computer science , 1203

Localisation : Collection 1er étage

algorithme # calcul informatique # complexité des algorithmes # géométrie de l'informatique # informatique graphique # mathématique discrète # mode de calcul # modèle de calcul # modélisation d'objet # méthodologie # structure des données

68P05 ; 68Q05 ; 68Q10 ; 68Q25 ; 68Qxx

... Lire [+]

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

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

... Lire [+]

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

- 680 p.
ISBN 978-3-540-61440-1

Lecture notes in computer science , 1099

Localisation : Collection 1er étage

algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information

68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx

... 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.

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

Z