Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 58 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 37 Treffer
- [info]computer science [cs] 30 Treffer
- 02 engineering and technology 14 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 14 Treffer
-
45 weitere Werte:
- computer science 11 Treffer
- 01 natural sciences 10 Treffer
- 020201 artificial intelligence & image processing 10 Treffer
- fos: computer and information sciences 10 Treffer
- 0102 computer and information sciences 9 Treffer
- 010201 computation theory & mathematics 9 Treffer
- computer science::computer science and game theory 9 Treffer
- theoretical computer science 9 Treffer
- computer science - computer science and game theory 7 Treffer
- computer science - logic in computer science 7 Treffer
- computer science and game theory (cs.gt) 7 Treffer
- logic in computer science (cs.lo) 7 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 6 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 6 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 5 Treffer
- complexity 5 Treffer
- discrete mathematics 5 Treffer
- mathematics 5 Treffer
- upper and lower bounds 5 Treffer
- 020207 software engineering 4 Treffer
- automaton 4 Treffer
- computer science - formal languages and automata theory 4 Treffer
- computingmilieux_personalcomputing 4 Treffer
- formal languages and automata theory (cs.fl) 4 Treffer
- markov decision processes 4 Treffer
- nash equilibrium 4 Treffer
- software 4 Treffer
- strategic reasoning 4 Treffer
- symmetry 4 Treffer
- temporal logic 4 Treffer
- theory of computation 4 Treffer
- value iteration 4 Treffer
- 000 computer science, knowledge, general works 3 Treffer
- algorithm 3 Treffer
- computer science::formal languages and automata theory 3 Treffer
- dependences 3 Treffer
- energy (signal processing) 3 Treffer
- energy game 3 Treffer
- expressive power 3 Treffer
- game 3 Treffer
- games on graphs 3 Treffer
- information systems 3 Treffer
- linear-time temporal logic 3 Treffer
- mathematical optimization 3 Treffer
- modal logic 3 Treffer
Verlag
Publikation
- issn: 0934-5043 8 Treffer
- fm 2018: formal methods ; fm 2018 - international symposium on formal methods ; https://hal.science/hal-01889222 ; fm 2018 - international symposium on formal methods, jul 2018, oxford, united kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩ 5 Treffer
- issn: 0001-5903 4 Treffer
- issn: 0925-9856 4 Treffer
- issn: 1432-4350 4 Treffer
- 3 weitere Werte:
Sprache
Geographischer Bezug
102 Treffer
-
2020Online unknownZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR'20) ; https://hal.science/hal-02917552 ; 31st International Conference on Concurrency Theory (CONCUR'20), Sep 2020, Vienna, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.18⟩, 2020Online KonferenzZugriff:
-
In: ISSN: 0934-5043, 2021Online academicJournalZugriff:
-
In: ISSN: 1433-2779, 2021Online academicJournalZugriff:
-
In: ISSN: 1432-4350, 2020Online academicJournalZugriff:
-
In: FM 2018: Formal Methods ; FM 2018 - International Symposium on Formal Methods ; https://hal.science/hal-01889222 ; FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩, 2018Online KonferenzZugriff:
-
In: RV 2018 - 18th International Conference on Runtime Verification ; https://hal.science/hal-01889030 ; RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.205-221, ⟨10.1007/978-3-030-03769-7_12⟩, 2018Online KonferenzZugriff:
-
In: Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, 2018Online KonferenzZugriff:
-
In: STACS 2018 - Symposium on Theoretical Aspects of Computer Science ; https://hal.science/hal-01889224 ; STACS 2018 - Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. pp.35 - 36, ⟨10.4230/LIPIcs.STACS.2018.34⟩, 2018Online KonferenzZugriff:
-
In: Handbook of model checking ; https://hal.science/hal-01889280 ; Handbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩; (2018)Online BuchZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 0001-5903, 2018Online academicJournalZugriff:
-
In: 8th International Workshop on Reachability Problems (RP'14) ; https://hal.archives-ouvertes.fr/hal-01091122 ; 8th International Workshop on Reachability Problems (RP'14), Sep 2014, Oxford, United Kingdom. pp.125-137, ⟨10.1007/978-3-319-11439-2_10⟩, 2014Online KonferenzZugriff:
-
In: 39th International Symposium on Mathematical Foundations of Computer Science ; https://hal.inria.fr/hal-00980878 ; 39th International Symposium on Mathematical Foundations of Computer Science, Aug 2014, Budapest, Bulgaria. pp.220--231, ⟨10.1007/978-3-662-44522-8_19⟩, 2014Online KonferenzZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03240099 ; Logical Methods in Computer Science, 2021, 17 (1), pp.1-18, 2021academicJournalZugriff:
-
In: LICS - 27th Annual Symposium on Logic in Computer Science - 2012 ; https://hal.inria.fr/hal-00714359 ; LICS - 27th Annual Symposium on Logic in Computer Science - 2012, Jun 2012, Dubrovnik, Croatia. pp.175-184, ⟨10.1109/LICS.2012.28⟩, 2012Online KonferenzZugriff: