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] 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 8 Treffer
- vector addition system 6 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
-
45 weitere Werte:
- [info]computer science [cs] 4 Treffer
- japan 4 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 3 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 3 Treffer
- fast-growing complexity 3 Treffer
- ideal 3 Treffer
- reachability 3 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 2 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 2 Treffer
- [info.info-dc]computer science [cs]/distributed 2 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- and cluster computing [cs.dc] 2 Treffer
- china 2 Treffer
- complexity 2 Treffer
- delay models 2 Treffer
- description logic 2 Treffer
- energy game 2 Treffer
- landslides 2 Treffer
- model parameterization 2 Treffer
- parallel 2 Treffer
- rna viruses 2 Treffer
- romania 2 Treffer
- separating conjunction 2 Treffer
- separation logic 2 Treffer
- stock funds 2 Treffer
- undecidability 2 Treffer
- united states. securities and exchange commission 2 Treffer
- update 2 Treffer
- well quasi order 2 Treffer
- alaska 1 Treffer
- apis mellifera 1 Treffer
- appl, int j. 1 Treffer
- arthropod 1 Treffer
- arthropods 1 Treffer
- austria 1 Treffer
- bees 1 Treffer
- belgium 1 Treffer
- business, international 1 Treffer
- canada 1 Treffer
- carlaviruses 1 Treffer
- cataract 1 Treffer
- earth planet 1 Treffer
- forecasting 1 Treffer
- germany 1 Treffer
Verlag
Publikation
- investment weekly news 2 Treffer
- journal of veterinary medical science 2 Treffer
- formal techniques for safety-critical systems 5th international workshop, ftscs 2016, tokyo, japan, november 14, 2016, revised selected papers ; 5th international workshop on formal techniques for safety-critical systems (ftscs 2016) ; https://hal.science/hal-02538041 ; 5th international workshop on formal techniques for safety-critical systems (ftscs 2016), nov 2016, tokyo, japan. ⟨10.1007/978-3-319-53946-1_8⟩ 1 Treffer
- mena report 1 Treffer
- ophthalmology retina 1 Treffer
- Ein weiterer Wert:
Sprache
Geographischer Bezug
20 Treffer
-
In: Mena Report, 2023-11-03Online ZeitungsartikelZugriff:
-
In: Investment Weekly News, 2019-05-04, S. 8080ZeitungsartikelZugriff:
-
In: Investment Weekly News, 2019-05-04, S. 8081ZeitungsartikelZugriff:
-
In: Journal of Veterinary Medical Science, Jg. 84 (2022-03-01), Heft 3, S. 346-349Online academicJournalZugriff:
-
In: Progress in Earth & Planetary Science, Jg. 6 (2019-06-13), Heft 1, S. N.PAGOnline academicJournalZugriff:
-
In: IJCAI'20: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence ;, 2021Online KonferenzZugriff:
-
In: Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 ; https://hal.archives-ouvertes.fr/hal-03005848 ; Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020Online KonferenzZugriff:
-
In: ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems ; https://inria.hal.science/hal-02395229 ; ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, May 2019, Hirosaki, Japan. pp.76-85, ⟨10.1109/ASYNC.2019.00019⟩, 2019Online KonferenzZugriff:
-
In: 22nd International Conference on Developments in Language Theory (DLT 2018) ; https://inria.hal.science/hal-01937635 ; 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan, 2018Online KonferenzZugriff:
-
In: Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016Online KonferenzZugriff:
-
In: Automated Software Engineering ; 21st IEEE/ACM International Conference on Automated Software Engineering ; https://hal.science/hal-00149566 ; 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩, 2006Online KonferenzZugriff:
-
In: Term Rewriting and Applications, 16th International Conference, RTA'05 ; https://hal.science/hal-01759946 ; Term Rewriting and Applications, 2005Online KonferenzZugriff:
-
In: ICALP 2015: Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-01168300 ; ICALP 2015: Proceedings of the 42nd International Colloquium on Automata, 2015KonferenzZugriff:
-
In: LICS 2015 ; https://hal.science/hal-01168388 ; LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩, 2015KonferenzZugriff:
-
In: 54th IEEE Conference on Decision and Control (CDC'15) ; https://hal.science/hal-01242934 ; 54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan, 2015KonferenzZugriff:
-
In: Proceedings of International Conference on Availability, Reliability and Security ; International Conference on Availability, 2009KonferenzZugriff:
-
In: ICDE '05 Proceedings of the 21st International Conference on Data Engineering ; https://inria.hal.science/hal-00689347 ; ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. pp.1122-1123, ⟨10.1109/ICDE.2005.38⟩, 2005KonferenzZugriff:
-
In: The Journal of veterinary medical science, Jg. 84 (2022-03-03), Heft 3, S. 346-349Online academicJournalZugriff:
-
In: Ophthalmology. Retina, Jg. 5 (2021-11-01), Heft 11, S. 1139-1145academicJournalZugriff: