Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 8 Treffer
- programming languages 7 Treffer
- compilers (computer programs) 6 Treffer
- formal verification 6 Treffer
- computer programming 5 Treffer
-
45 weitere Werte:
- semantics 5 Treffer
- computer software 4 Treffer
- verification 4 Treffer
- floating-point arithmetic 3 Treffer
- proof assistant 3 Treffer
- source code 3 Treffer
- type theory 3 Treffer
- adaptive computing systems 2 Treffer
- algorithms 2 Treffer
- application software 2 Treffer
- c (computer program language) 2 Treffer
- calculus 2 Treffer
- computer input-output equipment 2 Treffer
- computer security 2 Treffer
- concurrency 2 Treffer
- cryptography 2 Treffer
- engineering 2 Treffer
- formalization 2 Treffer
- integrated circuit verification 2 Treffer
- interactive theorem proving 2 Treffer
- interval analysis 2 Treffer
- machine learning 2 Treffer
- machinery 2 Treffer
- open-ended questions 2 Treffer
- proof theory 2 Treffer
- software architecture 2 Treffer
- software engineering 2 Treffer
- software verification 2 Treffer
- verification of computer systems 2 Treffer
- verified compilation 2 Treffer
- acp 1 Treffer
- ad hoc computer networks 1 Treffer
- algebraic topology 1 Treffer
- architecture 1 Treffer
- aspect-oriented programming 1 Treffer
- bison 1 Treffer
- circuit optimization 1 Treffer
- cloud computing 1 Treffer
- combinatorics 1 Treffer
- communities 1 Treffer
- component 1 Treffer
- composition 1 Treffer
- compositionality 1 Treffer
- computational complexity 1 Treffer
- computer arithmetic 1 Treffer
Publikation
- acm transactions on programming languages & systems 13 Treffer
- acm / sigplan notices 8 Treffer
- formal aspects of computing 6 Treffer
- acm international conference proceeding series 4 Treffer
- acm transactions on embedded computing systems 4 Treffer
-
16 weitere Werte:
- acm transactions on mathematical software 4 Treffer
- communications of the acm 4 Treffer
- journal of the acm 4 Treffer
- icse: international conference on software engineering 3 Treffer
- acm transactions on software engineering & methodology 2 Treffer
- proceedings of the 15th symposium principles & practice of declarative programming 2 Treffer
- acm transactions on computational logic 1 Treffer
- proceedings of the 10th international acm sigplan conference: principles & practice of declarative programming 1 Treffer
- proceedings of the 12th acm sigplan international conference: functional programming 1 Treffer
- proceedings of the 1st workshop: modules & libraries for proof assistants 1 Treffer
- proceedings of the 2009 acm sigplan workshop: generic programming 1 Treffer
- proceedings of the 2010 acm symposium: applied computing 1 Treffer
- proceedings of the 41st acm sigplan-sigact symposium principles of programming languages 1 Treffer
- proceedings of the acm sigplan workshop: generic programming 1 Treffer
- proceedings of the third acm haskell symposium: haskell 1 Treffer
- proceedings of the third acm sigplan workshop: mathematically structured functional programming 1 Treffer
Sprache
64 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61Online academicJournalZugriff:
-
In: ICSE: International Conference on Software Engineering, 2018-05-27, S. 117-120Online KonferenzSiehe Detailanzeige für VolltextZugriff:
-
In: ACM International Conference Proceeding Series, 2019-02-14, S. 1-5KonferenzZugriff:
-
In: ACM International Conference Proceeding Series, 2018-12-10, S. 1-11KonferenzZugriff:
-
In: ACM / SIGPLAN Notices, Jg. 52 (2017-10-01), Heft 10, S. 63-74Online academicJournalZugriff:
-
In: ACM / SIGPLAN Notices, Jg. 52 (2017-10-01), Heft 10, S. 52-62Online academicJournalZugriff:
-
In: Journal of the ACM, Jg. 71 (2024-02-01), Heft 1, S. 1-59Online academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), Heft 4, S. 1-16Online academicJournalZugriff:
-
In: ACM International Conference Proceeding Series, 2014-07-17, S. 1-8KonferenzZugriff:
-
In: ACM / SIGPLAN Notices, Jg. 51 (2016-02-01), Heft 2, S. 26-40Online academicJournalZugriff:
-
In: ACM / SIGPLAN Notices, Jg. 50 (2015-09-01), Heft 9, S. 179-191Online academicJournalZugriff:
-
In: Proceedings of the 15th Symposium Principles & Practice of Declarative Programming, 2013-09-16, S. 25-36Online KonferenzZugriff:
-
In: Proceedings of the 15th Symposium Principles & Practice of Declarative Programming, 2013-09-16, S. 13-24Online KonferenzZugriff:
-
In: Proceedings of the Third ACM Haskell Symposium: Haskell, 2010-09-30, S. 25-36Online KonferenzZugriff:
-
In: Proceedings of the 2009 ACM SIGPLAN Workshop: Generic Programming, 2009-08-30, S. 1-12Online KonferenzZugriff:
-
In: Proceedings of the 1st Workshop: Modules & Libraries for Proof Assistants, 2009-08-03, S. 38-45Online KonferenzZugriff:
-
In: ACM International Conference Proceeding Series, 2009-08-03, S. 38-45KonferenzZugriff:
-
In: Proceedings of the ACM SIGPLAN Workshop: Generic Programming, 2008-09-20, S. 49-60Online KonferenzZugriff:
-
In: Proceedings of the 10th International ACM SIGPLAN Conference: Principles & Practice of Declarative Programming, 2008-07-15, S. 89-96Online KonferenzZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Conference: Functional Programming, 2007-10-01, S. 13-24Online KonferenzZugriff: