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] 21 Treffer
- [info]computer science [cs] 15 Treffer
- complexity 13 Treffer
- [sdv.bv.pep]life sciences [q-bio]/vegetal biology/phytopathology and phytopharmacy 11 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 10 Treffer
-
45 weitere Werte:
- model-checking 8 Treffer
- [sdv.mp.vir]life sciences [q-bio]/microbiology and parasitology/virology 7 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 7 Treffer
- ananas 7 Treffer
- plant pathology 7 Treffer
- plant virus 7 Treffer
- reunion island 7 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 6 Treffer
- [sde]environmental sciences 6 Treffer
- [sdv]life sciences [q-bio] 6 Treffer
- separation logic 6 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 5 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 5 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.4: model checking 5 Treffer
- c programs 5 Treffer
- formal specification 5 Treffer
- pineapple mealybug wilt disease 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 4 Treffer
- arithmetical constraint 4 Treffer
- pspace 4 Treffer
- undecidability 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques/d.2.2.9: state diagrams 3 Treffer
- decision procedure 3 Treffer
- diagnosability 3 Treffer
- expressive power 3 Treffer
- first-order logic 3 Treffer
- hoare logic 3 Treffer
- modal logic 3 Treffer
- opacity 3 Treffer
- petri nets 3 Treffer
- pointer 3 Treffer
- quantifier elimination 3 Treffer
- second-order logic 3 Treffer
- smt 3 Treffer
- verification 3 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 2 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.3: formal languages/f.4.3.3: decision problems 2 Treffer
- core formula 2 Treffer
- finite model property 2 Treffer
- general interest 2 Treffer
- linear-time temporal logic ltl 2 Treffer
Verlag
Publikation
- butlleti oficial de les illes balears 8 Treffer
- 15. international symposium of plant virus epidemiology ; https://hal.inrae.fr/hal-03695116 ; 15. international symposium of plant virus epidemiology, jun 2022, madrid, spain. , 2022 ; https://www.isppweb.org/ipve2022/default.html 5 Treffer
- boib. boletin oficial de las islas baleares 5 Treffer
- 15. congress of the mediterranean phytopathological union ; https://hal.inrae.fr/hal-02737719 ; 15. congress of the mediterranean phytopathological union, jun 2017, cordoba, spain 4 Treffer
- borme. boletin oficial del registro mercantil 3 Treffer
-
6 weitere Werte:
- computer security - 23rd european symposium on research in computer security ; https://hal.science/hal-01906651 ; computer security - 23rd european symposium on research in computer security, 2018, barcelone, spain 2 Treffer
- esorics 2018 - 23rd european symposium on research in computer security ; https://inria.hal.science/hal-01900083 ; esorics 2018 - 23rd european symposium on research in computer security, sep 2018, barcelona, spain 2 Treffer
- derecho y empresa 1 Treffer
- hina brief news bulletin 1 Treffer
- hina english digest 1 Treffer
- plos one 1 Treffer
Sprache
Geographischer Bezug
83 Treffer
-
In: Butlletí Oficial de les Illes Balears, 2015-04-25academicJournalZugriff:
-
In: BOIB. Boletín Oficial de las Islas Baleares, 2015-04-25academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2014-12-06academicJournalZugriff:
-
In: BOIB. Boletín Oficial de las Islas Baleares, 2014-12-06academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2013-10-01academicJournalZugriff:
-
In: BOIB. Boletín Oficial de las Islas Baleares, 2013-10-01academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2012-12-01academicJournalZugriff:
-
In: BOIB. Boletín Oficial de las Islas Baleares, 2012-12-01academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2012-03-08academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2011-11-19academicJournalZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2011-10-29academicJournalZugriff:
-
In: BORME. Boletin Oficial del Registro Mercantil, 2017-10-04ZeitungsartikelZugriff:
-
In: Derecho y Empresa, 2005-12-01academicJournalZugriff:
-
In: BORME. Boletin Oficial del Registro Mercantil, 2016-06-29ZeitungsartikelZugriff:
-
In: Butlletí Oficial de les Illes Balears, 2015-08-18ZeitungsartikelZugriff:
-
In: BOIB. Boletín Oficial de las Islas Baleares, 2015-08-18ZeitungsartikelZugriff:
-
In: Hina Brief News Bulletin, 2017-10-01ZeitungsartikelZugriff:
-
In: Hina English Digest, 2017-10-01ZeitungsartikelZugriff:
-
In: 15. International symposium of plant virus epidemiology ; https://hal.inrae.fr/hal-03695116 ; 15. International symposium of plant virus epidemiology, Jun 2022, Madrid,, 2022Online KonferenzZugriff:
-
In: Phytopathogenic Mollicutes ; 4. meeting of the International Phytoplasmologist Working Group ; https://hal.inrae.fr/hal-02738220 ; 4. meeting of the International Phytoplasmologist Working Group, Sep 2019, Valencia, Spain. ⟨10.5958/2249-4677.2019.00027.6⟩ ; http://valencia2019.ipwgnet.org/, 2019KonferenzZugriff: