Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- springer, cham 102 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 25 Treffer
- springer, berlin 21 Treffer
- springer, heidelberg 17 Treffer
- springer, [cham] 14 Treffer
-
37 weitere Werte:
- eptcs, [place of publication not identified] 7 Treffer
- acm, new york 5 Treffer
- crc press, boca raton, fl 4 Treffer
- princeton university press, princeton, nj 4 Treffer
- springer, new york 4 Treffer
- springer-verlag, berlin 4 Treffer
- easychair, manchester 3 Treffer
- cambridge university press, cambridge 2 Treffer
- chapman \& hall/crc, boca raton, fl 2 Treffer
- elsevier sci. b. v., amsterdam 2 Treffer
- elsevier science b.v., amsterdam 2 Treffer
- ieee computer soc., los alamitos, ca 2 Treffer
- mit press, cambridge, ma 2 Treffer
- springer-verlag, new york 2 Treffer
- academic press, new york-london 1 Treffer
- allied publ., new delhi 1 Treffer
- allied publishers private limited, new delhi 1 Treffer
- american institute of physics, new york 1 Treffer
- assoc. discrete math. theor. comput. sci., nancy 1 Treffer
- birkhauser boston, inc., boston, ma 1 Treffer
- birkhauser/springer, basel 1 Treffer
- boole, dun laoghaire 1 Treffer
- cambridge university press, new york 1 Treffer
- elsevier/academic press, london 1 Treffer
- ieee comput. soc. press, los alamitos, ca 1 Treffer
- imperial college press, london 1 Treffer
- kyoto university, research institute for mathematical sciences, kyoto 1 Treffer
- maa press, providence, ri 1 Treffer
- prentice-hall, inc., englewood cliffs, nj 1 Treffer
- princeton univ. press, princeton, nj 1 Treffer
- schloss dagstuhl. leibniz-zentrum fur informatik, wadern 1 Treffer
- siam, philadelphia, pa 1 Treffer
- society for industrial and applied mathematics (siam), philadelphia, pa 1 Treffer
- springer, tokyo 1 Treffer
- springerwiennewyork, vienna 1 Treffer
- the clarendon press, oxford university press, new york 1 Treffer
- world sci. publ., hackensack, nj 1 Treffer
Publikation
- journal of functional programming 10 Treffer
- static analysis 9 Treffer
- theoretical computer science 9 Treffer
- computer aided verification. part ii 8 Treffer
- statistics in medicine 8 Treffer
-
45 weitere Werte:
- tests and proofs 8 Treffer
- verification, model checking, and abstract interpretation 8 Treffer
- computer aided verification. part i 7 Treffer
- formal methods 7 Treffer
- journal of logical and algebraic methods in programming 7 Treffer
- chinese journal of computers. jisuanji xuebao 5 Treffer
- formal aspects of computing 5 Treffer
- journal of automated reasoning 5 Treffer
- logical methods in computer science 5 Treffer
- logic-based program synthesis and transformation 5 Treffer
- fm 2015: formal methods 4 Treffer
- institute of electrical and electronics engineers. transactions on computers 4 Treffer
- journal of software. ruanjian xuebao 4 Treffer
- runtime verification 4 Treffer
- theory and practice of logic programming 4 Treffer
- 26th international conference on rewriting techniques and applications 3 Treffer
- annals of mathematics and artificial intelligence 3 Treffer
- australian \& new zealand journal of statistics 3 Treffer
- fundamenta informaticae 3 Treffer
- journal of mathematical physics 3 Treffer
- journal of the acm 3 Treffer
- logic for programming, artificial intelligence, and reasoning 3 Treffer
- model checking software 3 Treffer
- programming and computer software 3 Treffer
- the mathematical intelligencer 3 Treffer
- 13th international conference on interactive theorem proving 2 Treffer
- 29th european conference on object-oriented programming 2 Treffer
- 36th international symposium on distributed computing 2 Treffer
- acm transactions on modeling and computer simulation 2 Treffer
- acta cybernetica 2 Treffer
- american mathematical monthly 2 Treffer
- annals of operations research 2 Treffer
- application and theory of petri nets and concurrency 2 Treffer
- classical and quantum gravity 2 Treffer
- computer aided verification 2 Treffer
- computer aided verification. part iii 2 Treffer
- computers \& mathematics with applications. an international journal 2 Treffer
- computing. archives for scientific computing 2 Treffer
- fm 2016: formal methods 2 Treffer
- icfp'15---proceedings of the 20th acm sigplan international conference on functional programming 2 Treffer
- information and computation 2 Treffer
- information processing letters 2 Treffer
- information security and cryptology 2 Treffer
- institute of electrical and electronics engineers. transactions on automatic control 2 Treffer
- international game theory review 2 Treffer
Sprache
496 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!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!BuchZugriff:
-
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!BuchZugriff:
-
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!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!Online academicJournalZugriff: