Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 53 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 27 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 10 Treffer
- [info]computer science [cs] 10 Treffer
- [phys.astr.co]physics [physics]/astrophysics [astro-ph]/cosmology and extra-galactic astrophysics [astro-ph.co] 10 Treffer
-
45 weitere Werte:
- [phys.hphe]physics [physics]/high energy physics - phenomenology [hep-ph] 10 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 9 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 7 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 7 Treffer
- [info.info-dc]computer science [cs]/distributed 6 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 6 Treffer
- and cluster computing [cs.dc] 6 Treffer
- birth-death processes 6 Treffer
- complexity 6 Treffer
- parallel 6 Treffer
- [info.info-es]computer science [cs]/embedded systems 5 Treffer
- [sdu.astr]sciences of the universe [physics]/astrophysics [astro-ph] 5 Treffer
- [sdv]life sciences [q-bio] 5 Treffer
- imitator 5 Treffer
- model checking 5 Treffer
- parameter synthesis 5 Treffer
- real-time systems 5 Treffer
- scheduling 5 Treffer
- termination 5 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 4 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 4 Treffer
- [info.info-sy]computer science [cs]/systems and control [cs.sy] 4 Treffer
- attractors 4 Treffer
- biological networks 4 Treffer
- concurrency 4 Treffer
- dynamical systems 4 Treffer
- earthquakes 4 Treffer
- euler method 4 Treffer
- hybrid system 4 Treffer
- majority consensus 4 Treffer
- microbiological circuits 4 Treffer
- phase synchronization 4 Treffer
- qualitative models 4 Treffer
- reachability 4 Treffer
- reaction-diffusion system 4 Treffer
- reprogramming 4 Treffer
- seismic networks 4 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- abstract machines 3 Treffer
- composition operator 3 Treffer
- dependent types 3 Treffer
- expressive power 3 Treffer
- finite fields 3 Treffer
Verlag
- hal ccsd 116 Treffer
- springer 11 Treffer
- american institute of physics 10 Treffer
- acm 6 Treffer
- ieee 5 Treffer
-
11 weitere Werte:
- hagit attiya 3 Treffer
- leibniz international proceedings in informatics (lipics) 3 Treffer
- oxford university press / usa 3 Treffer
- springer international publishing 3 Treffer
- syndigate media inc. 3 Treffer
- elsevier b.v. 2 Treffer
- ieee computer society press 2 Treffer
- biomed central ltd. 1 Treffer
- copernicus gesellschaft mbh 1 Treffer
- gesellschaft fur informatik 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
Publikation
- disc 2020 - 34th international symposium on distributed computing ; https://hal.science/hal-02946883 ; disc 2020 - 34th international symposium on distributed computing, 2020, virtual, germany. p. 1-17, ⟨10.4230/lipics.disc.2020.6⟩ 3 Treffer
- geophysical journal international 3 Treffer
- high energy gamma-ray astronomy ; international symposium on high energy gamma-ray astronomy ; https://hal.in2p3.fr/in2p3-00087373 ; international symposium on high energy gamma-ray astronomy, jun 2000, heidelberg, germany. pp.878-881 3 Treffer
- high energy gamma-ray astronomy ; international symposium on high energy gamma-ray astronomy ; https://hal.in2p3.fr/in2p3-00087375 ; international symposium on high energy gamma-ray astronomy, jun 2000, heidelberg, germany. pp.874-877 3 Treffer
- mena report 2 Treffer
- 5 weitere Werte:
Sprache
Geographischer Bezug
127 Treffer
-
In: Mena Report, 2018-11-21Online ZeitungsartikelZugriff:
-
In: Financial Services Monitor Worldwide, 2018-05-25ZeitungsartikelZugriff:
-
In: Belfast Telegraph (Northern Ireland), 2002-06-08, S. 2ZeitungsartikelZugriff:
-
In: Journal of International Financial Markets, Institutions & Money, Jg. 32 (2014-09-01), S. 219-239academicJournalZugriff:
-
In: Quaternary Geochronology, Jg. 51 (2019-04-01), S. 130-139academicJournalZugriff:
-
In: Geophysical Journal International, Jg. 216 (2019-03-01), Heft 3, S. 2025-2036Online academicJournalZugriff:
-
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20), July 8--11, 2020, Saarbrücken, Germany ; LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science ; https://hal.science/hal-02557823, 2020Online KonferenzZugriff:
-
In: Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS) ; https://inria.hal.science/inria-00578896 ; Theory of Security and Applications (TOSCA, 2011Online KonferenzZugriff:
-
In: DISC 2020 - 34th International Symposium on DIStributed Computing ; https://hal.science/hal-02946883, 2020Online KonferenzZugriff:
-
In: CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology ; https://hal.science/hal-02898841 ; CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩ ; https://cmsb2020.uni-saarland.de/, 2020Online KonferenzZugriff:
-
In: 35th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.science/hal-03005865 ; 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbruecken, Germany. ⟨10.1145/3373718.3394787⟩, 2020Online KonferenzZugriff:
-
In: ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02961583 ; ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩, 2020Online KonferenzZugriff:
-
In: This manuscript is the extended version of the manuscript of the same name published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019) ; 19th International Conference on Application of Concurrency to System Design (ACSD 2019) ; https://hal.science/hal-02072159 ; 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany ; http://www.petrinets2019.de/call-for-papers-acsd-2019/, 2019KonferenzZugriff:
-
In: HOR 2019 - 10th International Workshop on Higher-Order Rewriting ; https://hal.science/hal-02442465 ; HOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19 ; https://hor2019.github.io/proc-HOR-IWC-CoCo.pdf, 2019Online KonferenzZugriff:
-
In: Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency ; https://hal.science/hal-02176771 ; Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany, 2019Online KonferenzZugriff:
-
In: FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-01943941 ; FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩ ; http://easyconferences.eu/fscd2019/, 2019Online KonferenzZugriff:
-
In: Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency ; https://inria.hal.science/hal-02081019 ; Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany, 2019Online KonferenzZugriff:
-
In: Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, 2018Online KonferenzZugriff:
-
In: DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition ; https://hal.science/hal-01738254 ; DATE 2018 - Design, 2018Online KonferenzZugriff:
-
In: Geophysical Research Abstracts, Jg. 21 (2019), S. 1-1Online academicJournalZugriff: