Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 107 Treffer
- Gale Business: Insights 11 Treffer
- Gale in Context: Biography 3 Treffer
- Gale In Context: Canada 3 Treffer
- Gale In Context: High School 3 Treffer
-
7 weitere Werte:
- Gale in Context: College 3 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 2 Treffer
- Business Source Ultimate 2 Treffer
- Complementary Index 2 Treffer
- PASCAL Archive 1 Treffer
- Janes Defence Equipment & Technology (JDET) - News 1 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 1 Treffer
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 49 Treffer
- [info]computer science [cs] 18 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 16 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 13 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 11 Treffer
-
45 weitere Werte:
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 8 Treffer
- automated deduction 8 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 7 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 6 Treffer
- [spi.auto]engineering sciences [physics]/automatic 6 Treffer
- b method 6 Treffer
- concurrency 6 Treffer
- rewriting 6 Treffer
- set theory 6 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 4 Treffer
- [sdv.bibs]life sciences [q-bio]/quantitative methods [q-bio.qm] 4 Treffer
- attractors 4 Treffer
- biological networks 4 Treffer
- dynamical systems 4 Treffer
- polymorphic types 4 Treffer
- qualitative models 4 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 3 Treffer
- [info.info-au]computer science [cs]/automatic control engineering 3 Treffer
- [math.math-ds]mathematics [math]/dynamical systems [math.ds] 3 Treffer
- acm: d.: software 3 Treffer
- acm: f.: theory of computation 3 Treffer
- aperiodic sampling 3 Treffer
- business 3 Treffer
- complexity 3 Treffer
- counter machine 3 Treffer
- golf -- forecasts and trends 3 Treffer
- golf -- reports 3 Treffer
- golf courses -- forecasts and trends 3 Treffer
- incremental stability 3 Treffer
- model-checking 3 Treffer
- news, opinion and commentary 3 Treffer
- np 3 Treffer
- presburger arithmetic 3 Treffer
- switched systems 3 Treffer
- symbolic control 3 Treffer
- [info.info-dc]computer science [cs]/distributed 2 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 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/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 2 Treffer
- and cluster computing [cs.dc] 2 Treffer
- approximate bisimulation 2 Treffer
- approximate consensus 2 Treffer
- archived 2 Treffer
- arithmetical constraint 2 Treffer
Verlag
- hal ccsd 107 Treffer
- springer 31 Treffer
- pr newswire association llc 8 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 7 Treffer
- ieee computer society press 4 Treffer
-
11 weitere Werte:
- springer international publishing 4 Treffer
- crain communications, inc. 3 Treffer
- elsevier 3 Treffer
- right vision media 3 Treffer
- synthesis media ltd. 2 Treffer
- university of chicago press 2 Treffer
- financial times ltd. 1 Treffer
- ieee 1 Treffer
- plus media solutions 1 Treffer
- springer-verlag 1 Treffer
- syndigate media inc. 1 Treffer
Publikation
- pr newswire 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
- abz 2018 - 6th international conference on abstract state machines, alloy, b, tla, vdm, and z ; https://hal.science/hal-02082755 ; abz 2018 - 6th international conference on abstract state machines, alloy, b, tla, vdm, and z, jun 2018, southampton, united kingdom. pp.409-414, ⟨10.1007/978-3-319-91271-4_32⟩ 4 Treffer
- plus company updates 4 Treffer
- pensions & investments 3 Treffer
-
9 weitere Werte:
- international defence review 2 Treffer
- journal of business 2 Treffer
- land warfare platforms: logistics, support & unmanned 2 Treffer
- process engineering 2 Treffer
- annual meeting of the american venous forum 1 Treffer
- financial services monitor worldwide 1 Treffer
- financial times mandate 1 Treffer
- journal of vascular surgery 1 Treffer
- lipics ; 27th eacsl annual conference on computer science logic (csl 2018) ; https://hal.sorbonne-universite.fr/hal-02077795 ; 27th eacsl annual conference on computer science logic (csl 2018), sep 2018, birmingham, united kingdom. pp.26:1--26:17, ⟨10.4230/lipics.csl.2018.26⟩ 1 Treffer
Geographischer Bezug
133 Treffer
-
In: PR Newswire, 2023-10-02ZeitungsartikelZugriff:
-
In: Plus Company Updates, 2022-01-12ZeitungsartikelZugriff:
-
In: Plus Company Updates, 2022-01-10ZeitungsartikelZugriff:
-
In: Plus Company Updates, 2022-01-10ZeitungsartikelZugriff:
-
In: Plus Company Updates, 2020-05-06ZeitungsartikelZugriff:
-
In: Pensions & Investments, Jg. 33 (2005-11-28), Heft 24, S. 32Online serialPeriodicalSiehe Detailanzeige für VolltextZugriff:
-
In: PR Newswire, 2020-05-27unknownZugriff:
-
In: Financial Services Monitor Worldwide, 2016-12-13ZeitungsartikelZugriff:
-
In: International Defence Review, Jg. 047 (2014-06-03), Heft 007serialPeriodicalZugriff:
-
In: Pensions & Investments, Jg. 46 (2018-04-30), Heft 9Online serialPeriodicalSiehe Detailanzeige für VolltextZugriff:
-
In: Pensions & Investments, Jg. 33 (2005-01-10), Heft 1, S. 23Online serialPeriodicalZugriff:
-
News: Strategies, Products & Mandates - Northern Trust beats US rivals in group trust services race.In: Financial Times Mandate, 2004-08-01serialPeriodicalZugriff:
-
In: Land Warfare Platforms: Logistics, Support & Unmanned, 2007-12-11NachschlagewerkZugriff:
-
In: Land Warfare Platforms: Logistics, Support & Unmanned, 2005-06-13NachschlagewerkZugriff:
-
In: Journal of Business, Jg. 78 (2005), Heft 1, S. 381-403Online academicJournalZugriff:
-
In: Annual Meeting of the American Venous Forum, Jg. 28 (1998), Heft 5, S. 767-776Online KonferenzZugriff:
-
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: ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, 2018Online KonferenzZugriff:
-
In: SMT 2018 - 16th International Workshop on Satisfiability Modulo Theories ; https://hal.science/hal-02083232 ; SMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom ; https://easychair.org/smart-program/FLoC2018/SMT-2018-07-12.html#talk:73371, 2018Online KonferenzZugriff:
-
In: IFAC-PapersOnLine ; 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18, 2018Online KonferenzZugriff: