Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- winning strategy 4 Treffer
- stochastic game 2 Treffer
- time game 2 Treffer
- boolean circuit 1 Treffer
- classical game 1 Treffer
-
18 weitere Werte:
- conjunctive normal form 1 Treffer
- extensive form game 1 Treffer
- imperfect information 1 Treffer
- imperfect monitoring 1 Treffer
- local game 1 Treffer
- medium access control 1 Treffer
- memory content 1 Treffer
- nash equilibrium problem 1 Treffer
- power control 1 Treffer
- preference relation 1 Treffer
- public signal 1 Treffer
- pure nash equilibrium 1 Treffer
- pure strategy 1 Treffer
- sink node 1 Treffer
- stationary strategy 1 Treffer
- terminal state 1 Treffer
- transition system 1 Treffer
- winning region 1 Treffer
Verlag
Publikation
- concur 2010 - concurrency theory : 21th international conference, concur 2010, paris, france, august 31-september 3, 2010. proceedings 3 Treffer
- computer aided verification : 25th international conference, cav 2013, saint petersburg, russia, july 13-19, 2013. proceedings 1 Treffer
- concur 2011 - concurrency theory : 22nd international conference, concur 2011, aachen, germany, september 6-9, 2011. proceedings 1 Treffer
- formal modeling and analysis of timed systems : 8th international conference, formats 2010, klosterneuburg, austria, september 8-10, 2010. proceedings 1 Treffer
- foundations of software science and computation structures : 21st international conference, fossacs 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, thessaloniki, greece, april 14-20, 2018. proceedings 1 Treffer
- Ein weiterer Wert:
8 Treffer
-
2018Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff: