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
- markov decision process 3 Treffer
- nash equilibrium 2 Treffer
- time game 2 Treffer
- belief function 1 Treffer
-
25 weitere Werte:
- clock constraint 1 Treffer
- compact space 1 Treffer
- continuous state space 1 Treffer
- convex game 1 Treffer
- counter automaton 1 Treffer
- exit state 1 Treffer
- game graph 1 Treffer
- index function 1 Treffer
- input tree 1 Treffer
- isometric embedding 1 Treffer
- outgoing transition 1 Treffer
- parity objective 1 Treffer
- partial observation 1 Treffer
- player game 1 Treffer
- positional strategy 1 Treffer
- positive probability 1 Treffer
- preference relation 1 Treffer
- pure strategy 1 Treffer
- synthesis problem 1 Treffer
- tape head 1 Treffer
- topological space 1 Treffer
- transition system 1 Treffer
- tree automaton 1 Treffer
- turing machine 1 Treffer
- weak topology 1 Treffer
Publikation
- concur 2010 - concurrency theory : 21th international conference, concur 2010, paris, france, august 31-september 3, 2010. proceedings 2 Treffer
- foundations of software science and computation structures : 17th international conference, fossacs 2014, held as part of the european joint conferences on theory and practice of software, etaps 2014, grenoble, france, april 5-13, 2014, proceedings 2 Treffer
- automata, languages and programming : 34th international colloquium, icalp 2007, wroclaw, poland, july 9-13, 2007. proceedings 1 Treffer
- automata, languages, and programming : 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part ii 1 Treffer
- automata, languages, and programming : 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii 1 Treffer
-
3 weitere Werte:
- 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 computational structures : 11th international conference, fossacs 2008, held as part of the joint european conferences on theory and practice of software, etaps 2008, budapest, hungary, march 29 - april 6, 2008. proceedings 1 Treffer
- reachability problems : 6th international workshop, rp 2012, bordeaux, france, september 17-19, 2012. proceedings 1 Treffer
10 Treffer
-
2015Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff: