Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;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.
- 421 p.
ISBN 978-3-540-70593-2
Lecture notes in computer science , 5133
Localisation : Collection 1er étage
méthodologie de programmation # calcul formel # précision # concision # spécification # langage sémantique
68Q55 ; 68Q60 ; 68N30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382p.
ISBN 978-3-540-52148-8
Lecture notes in computer science , 0407
Localisation : Collection 1er étage
informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs
00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 504p.
ISBN 978-3-540-56922-0
Lecture notes in computer science , 0697
Localisation : Collection 1er étage
informatique # vérification assistée par ordinateur # simulation nummérique # logique de programmation # softwere pour ingénieurs # algorithme de démonstration de théorème # symmetrie
00B25 ; 68-06 ; 68T15 ; 68N30 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 450p.
ISBN 978-3-540-60045-9
Lecture notes in computer science , 0939
Localisation : Collection 1er étage
infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 506p.
ISBN 978-3-540-66202-0
Lecture notes in computer science , 1633
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes
00B25 ; 68-06 ; 68Q60 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 472p.
ISBN 978-3-540-61474-6
Lecture notes in computer science , 1102
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # analyse formelle # logique de programmation # softwere pour ingénieurs
00B25 ; 68-06 ; 68Q60 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 487p.
ISBN 978-3-540-55179-9
Lecture notes in computer science , 0575
informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486p.
ISBN 978-3-540-63166-8
Lecture notes in computer science , 1254
Localisation : Collection 1er étage
informatique # méthodes 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 ; 68T15 ; 68T35
... 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 [+]
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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 [+]
