F Nous contacter

0

Documents  68Q60 | enregistrements trouvés : 52

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

y

Research talks

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

V

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection RdC

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

V

- 567 p.
ISBN 978-3-540-10007-2

Lecture notes in computer science , 0086

Localisation : Collection RdC

conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

... Lire [+]

V

- 382p.
ISBN 978-3-540-52148-8

Lecture notes in computer science , 0407

Localisation : Collection RdC

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

V

- 552p.
ISBN 978-3-540-64608-2

Lecture notes in computer science , 1427

Localisation : Collection RdC

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

V

- 506p.
ISBN 978-3-540-66202-0

Lecture notes in computer science , 1633

Localisation : Collection RdC

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

V

- 582p.
ISBN 978-3-540-67770-3

Lecture notes in computer science , 1855

Localisation : Collection RdC

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

V

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

V

- 504p.
ISBN 978-3-540-56922-0

Lecture notes in computer science , 0697

Localisation : Collection RdC

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

V

- 450p.
ISBN 978-3-540-60045-9

Lecture notes in computer science , 0939

Localisation : Collection RdC

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

V

- 472p.
ISBN 978-3-540-61474-6

Lecture notes in computer science , 1102

Localisation : Collection RdC

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

V

- 486p.
ISBN 978-3-540-63166-8

Lecture notes in computer science , 1254

Localisation : Collection RdC

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

V

- 642 p.
ISBN 978-3-540-60105-0

Lecture notes in computer science , 1000

Localisation : Collection RdC

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

V

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

DIMACS series in discrete mathematics and theoretical computer science , 0003

Localisation : Collection RdC

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

V

- 540 p.
ISBN 978-3-540-54430-2

Lecture notes in computer science , 0527

Localisation : Collection RdC

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

V

- 391 p.
ISBN 978-3-540-62031-0

Lecture notes in computer science , 1179

Localisation : Collection RdC

architecture des systèmes informatiques # architecture parallèle # programmation parallèle # réseau # spécification et verification de système

68Q60 ; 68Qxx ; 94Cxx

... Lire [+]

V

- 322 p.
ISBN 978-3-540-07804-3

Lecture notes in computer science , 0044

Localisation : Collection RdC

architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

... Lire [+]

V

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection RdC

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

V

- 341 p.
ISBN 978-3-540-09981-9

Lecture notes in computer science , 0083

Localisation : Collection RdC

conception assistée par ordinateur # langage # programmation # sémantique # testes

68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07

... Lire [+]

V

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection RdC

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z