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] 34 Treffer
- [info]computer science [cs] 33 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 31 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 6 Treffer
- armoured fighting vehicles 6 Treffer
-
45 weitere Werte:
- asia-pacific 6 Treffer
- automata theory 6 Treffer
- complexity 6 Treffer
- coverability 6 Treffer
- land vehicles 6 Treffer
- acm: d.: software 5 Treffer
- entailment 5 Treffer
- logic 5 Treffer
- markov chain 5 Treffer
- markov decision process 5 Treffer
- non-interference 5 Treffer
- opacity 5 Treffer
- partial order 5 Treffer
- permission 5 Treffer
- separation logic 5 Treffer
- steel industry 5 Treffer
- undecidability 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-dc]computer science [cs]/distributed 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- and cluster computing [cs.dc] 4 Treffer
- armed forces 4 Treffer
- army 4 Treffer
- contracts 4 Treffer
- defence procurement 4 Treffer
- first order logic 4 Treffer
- lsv 4 Treffer
- modal logic 4 Treffer
- parallel 4 Treffer
- parameterized verification 4 Treffer
- petri nets 4 Treffer
- reachability graph 4 Treffer
- rt-pcr 4 Treffer
- steel authority of india ltd. 4 Treffer
- stock exchanges 4 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- acm: f.: theory of computation 3 Treffer
- acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.10: temporal logic 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.5: modal logic 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 3 Treffer
- acm: h.: information systems 3 Treffer
- agricultural pests 3 Treffer
- amino acid sequence 3 Treffer
Verlag
- hal ccsd 85 Treffer
- syndigate media inc. 9 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 8 Treffer
- springer 8 Treffer
- springer nature 6 Treffer
-
11 weitere Werte:
- dagstuhl publishing 4 Treffer
- lipics 4 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 3 Treffer
- wiley-blackwell 3 Treffer
- bennett, coleman & co. ltd. 2 Treffer
- athena information solutions pvt. ltd. 1 Treffer
- elsevier 1 Treffer
- indian institute of finance 1 Treffer
- kluwer academic 1 Treffer
- medknow publications 1 Treffer
- newsrx llc 1 Treffer
Publikation
- jane's defence weekly 6 Treffer
- mena report 5 Treffer
- 37th iarcs foundation on software technology and theoretical computer science ; https://amu.hal.science/hal-01788798 ; 37th iarcs foundation on software technology and theoretical computer science, dec 2017, kanpur, india. ⟨10.4230/lipics.fsttcs.2017.25⟩ 3 Treffer
- decision (0304-0941) 3 Treffer
- journal of the geological society of india 3 Treffer
-
11 weitere Werte:
- plant pathology 3 Treffer
- tradearabia (manama, bahrain) 3 Treffer
- the times of india 2 Treffer
- business world 1 Treffer
- finance india 1 Treffer
- financial services monitor worldwide 1 Treffer
- indian journal of ophthalmology 1 Treffer
- investment weekly news 1 Treffer
- journal of analytical science and technology 1 Treffer
- scientia horticulturae 1 Treffer
- virus genes 1 Treffer
Sprache
Geographischer Bezug
118 Treffer
-
In: Mena Report, 2023-11-30Online ZeitungsartikelZugriff:
-
In: Mena Report, 2023-05-25Online ZeitungsartikelZugriff:
-
In: Jane's Defence Weekly, Jg. 059 (2022-10-21), Heft 047serialPeriodicalZugriff:
-
In: Business World, 2021-03-23serialPeriodicalZugriff:
-
In: Jane's Defence Weekly, Jg. 058 (2021-03-22), Heft 016serialPeriodicalZugriff:
-
In: Jane's Defence Weekly, Jg. 058 (2021-03-22), Heft 016serialPeriodicalZugriff:
-
In: TradeArabia (Manama, Bahrain), 2020-06-03ZeitungsartikelZugriff:
-
In: Investment Weekly News, 2019-05-04, S. 8079ZeitungsartikelZugriff:
-
In: Financial Services Monitor Worldwide, 2018-08-29ZeitungsartikelZugriff:
-
In: The Times of India, 2016-04-08Online ZeitungsartikelZugriff:
-
In: The Times of India, 2016-04-08Online ZeitungsartikelZugriff:
-
In: Mena Report, 2017-03-28Online ZeitungsartikelZugriff:
-
In: Scientia horticulturae, Jg. 106 (2005), Heft 2, S. 213-227academicJournalZugriff:
-
In: Decision (0304-0941), Jg. 43 (2016-09-01), Heft 3, S. 281-300Online academicJournalZugriff:
-
In: Journal of the Geological Society of India, Jg. 90 (2017-09-01), Heft 3, S. 301-311Online academicJournalZugriff:
-
In: FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; https://hal.science/hal-02951944 ; FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India, 2020Online KonferenzZugriff:
-
In: Finance India, Jg. 33 (2019-12-01), Heft 4, S. 967-980Online academicJournalZugriff:
-
In: Plant Pathology, Jg. 54 (2005-10-01), Heft 5, S. 621-624Online academicJournalZugriff:
-
In: Jane's Defence Weekly, Jg. 060 (2023-06-19), Heft 029serialPeriodicalZugriff:
-
In: FSTTCS'20 ; https://hal.science/hal-02917538 ; FSTTCS'20, Dec 2020, on line, India, 2020Online KonferenzZugriff: