Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Computer Science
We show that two-player stochastic games with perfect-information and shift-invariant submixing payoff functions are half-positional, i.e. in these games the maximizer has a positional optimal strategy. This extension of our previous result for one-player games relies on an interesting existence result about the existence of epsilon-subgame-perfect strategies.
68Q60 ; 91AXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 341 p.
ISBN 978-3-540-09981-9
Lecture notes in computer science , 0083
Localisation : Collection 1er étage
conception assistée par ordinateur # langage # programmation # sémantique # testes
68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 322 p.
ISBN 978-3-540-07804-3
Lecture notes in computer science , 0044
Localisation : Collection 1er étage
architecture des systèmes # programmation # programme # traitement des données # vérification de programme
68M07 ; 68Mxx ; 68P05 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 567 p.
ISBN 978-3-540-10007-2
Lecture notes in computer science , 0086
Localisation : Collection 1er étage
conception assistée par ordinateur # programmation # specification de programme
68-02 ; 68A05 ; 68A30 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 424 p.
ISBN 978-3-540-15648-2
Lecture notes in computer science , 0193
Localisation : Collection 1er étage
construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme
68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 708 p.
ISBN 978-3-540-16780-8
Lecture notes in computer science , 0230
Localisation : Collection 1er étage
déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes
68Q60 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 540 p.
ISBN 978-3-540-54430-2
Lecture notes in computer science , 0527
Localisation : Collection 1er étage
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications
68N05 ; 68N15 ; 68Q10 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 523 p.
ISBN 978-3-540-15670-3
Lecture notes in computer science , 0197
Localisation : Collection 1er étage
algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware
68Q40 ; 68Q60 ; 68Q65
... 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.
- 564 p.
ISBN 978-3-540-61228-5
Lecture notes in computer science , 1073
Localisation : Collection 1er étage
algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture
68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 203 p.
ISBN 978-0-8218-0680-7
DIMACS series in discrete mathematics and theoretical computer science , 0032
Localisation : Collection 1er étage
informatique théorique # mathématique discrète # spécification de système # système de vérification
68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-0-8218-0579-4
DIMACS series in discrete mathematics and theoretical computer science , 0029
Localisation : Collection 1er étage
classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification
68Q10 ; 68Q45 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-61464-7
Lecture notes in computer science , 1103
Localisation : Collection 1er étage
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 642 p.
ISBN 978-3-540-60105-0
Lecture notes in computer science , 1000
Localisation : Collection 1er étage
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...
68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 391 p.
ISBN 978-3-540-62031-0
Lecture notes in computer science , 1179
Localisation : Collection 1er étage
architecture des systèmes informatiques # architecture parallèle # programmation parallèle # réseau # spécification et verification de système
68Q60 ; 68Qxx ; 94Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 761 p.
ISBN 978-3-540-56610-6
Lecture notes in computer science , 0668
Localisation : Collection 1er étage
analyse des algorithmes # calcul informatique # calcul parallèle # informatique théorique # langage de programmation # logique et arborescence # logique et spécification des programmes # programmation concurrente # spécification # système # système concurrent
68Q10 ; 68Q25 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-54345-9
Lecture notes in computer science , 0520
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 592 p.
ISBN 978-3-540-61550-7
Lecture notes in computer science , 1113
Localisation : Collection 1er étage
aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d
68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 552p.
ISBN 978-3-540-64608-2
Lecture notes in computer science , 1427
Localisation : Collection 1er étage
informatique # méthode de vérification assistée par ordinateur #logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 582p.
ISBN 978-3-540-67770-3
Lecture notes in computer science , 1855
Localisation : Collection 1er étage
informatique # méthode de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]