Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- schloss dagstuhl. leibniz-zent. inform., wadern 5 Treffer
- ieee, [piscataway], nj 4 Treffer
- acm, new york 3 Treffer
- eptcs, [place of publication not identified] 2 Treffer
- ieee comput. soc. press, los alamitos, ca 2 Treffer
-
9 weitere Werte:
- ieee computer soc., los alamitos, ca 2 Treffer
- springer, berlin 2 Treffer
- springer, cham 2 Treffer
- birkhauser/springer, cham 1 Treffer
- cambridge university press, cambridge 1 Treffer
- elsevier sci. b. v., amsterdam 1 Treffer
- springer, heidelberg 1 Treffer
- springer-verlag london, ltd., london 1 Treffer
- world sci. publ., hackensack, nj 1 Treffer
Publikation
- logical methods in computer science 7 Treffer
- mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science 4 Treffer
- 2017 32nd annual acm/ieee symposium on logic in computer science (lics) 2 Treffer
- annals of pure and applied logic 2 Treffer
- computational statistics \& data analysis 2 Treffer
-
45 weitere Werte:
- computer science logic 2018 2 Treffer
- designs, codes and cryptography. an international journal 2 Treffer
- informatica. an international journal of computing and informatics 2 Treffer
- information and computation 2 Treffer
- journal of computational and applied mathematics 2 Treffer
- journal of multivariate analysis 2 Treffer
- journal of statistical planning and inference 2 Treffer
- journal of the acm 2 Treffer
- journal of the royal statistical society. series b. statistical methodology 2 Treffer
- mathematica scandinavica 2 Treffer
- 11th annual ieee symposium on logic in computer science (new brunswick, nj, 1996) 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science (lics 2013) 1 Treffer
- 2019 34th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- 2023 38th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- 24th eacsl annual conference on computer science logic 1 Treffer
- 25th annual ieee symposium on logic in computer science lics 2010 1 Treffer
- 26th international conference on types for proofs and programs 1 Treffer
- 29th eacsl annual conference on computer science logic 1 Treffer
- 4or. a quarterly journal of operations research 1 Treffer
- acm transactions on computational logic 1 Treffer
- advances in dynamic and mean field games 1 Treffer
- american journal of mathematical and management sciences 1 Treffer
- american mathematical monthly 1 Treffer
- automata, languages and programming. part ii 1 Treffer
- automated deduction---cade 26 1 Treffer
- automated reasoning with analytic tableaux and related methods 1 Treffer
- communications in mathematical physics 1 Treffer
- computers \& fluids. an international journal 1 Treffer
- electronic journal of statistics 1 Treffer
- european journal of operational research 1 Treffer
- frontiers of mathematics in china 1 Treffer
- ieee transactions on signal processing 1 Treffer
- ima journal of applied mathematics 1 Treffer
- institute of electrical and electronics engineers. transactions on antennas and propagation 1 Treffer
- institute of electrical and electronics engineers. transactions on automatic control 1 Treffer
- institute of electrical and electronics engineers. transactions on computers 1 Treffer
- internet mathematics 1 Treffer
- journal d'analyse mathematique 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of classification 1 Treffer
- journal of computational mathematics 1 Treffer
- journal of logic and computation 1 Treffer
- lics '18---33rd annual acm/ieee symposium on logic in computer science 1 Treffer
- lietuvos tsr mokslu akademija. lietuvos tsr aukstosios mokyklos. lietuvos fizikos rinkinys. akademiya nauk litovskoi\ ssr. vysshie shkoly litovskoi\ ssr. litovskii\ fizicheskii\ sbornik 1 Treffer
Sprache
97 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: