Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Scopus® 54 Treffer
- Complementary Index 18 Treffer
- BASE 12 Treffer
- Applied Science & Technology Source 3 Treffer
- Digital Access to Scholarship at Harvard (DASH) 3 Treffer
-
13 weitere Werte:
- British Library Document Supply Centre Inside Serials & Conference Proceedings 1 Treffer
- Swedish National Bibliography 1 Treffer
- SciELO 1 Treffer
- RAMBI 1 Treffer
- ProjectMUSE 1 Treffer
- LUNA Commons 1 Treffer
- IndianJournals.com 1 Treffer
- Idunn.no 1 Treffer
- IBISWorld 1 Treffer
- British Standards Online 1 Treffer
- BiblioBoard 1 Treffer
- NARCIS 1 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 1 Treffer
Art der Quelle
Schlagwort
- coq 45 Treffer
- separation logic 9 Treffer
- interactive theorem proving 6 Treffer
- verification 6 Treffer
- coq proof assistant 5 Treffer
-
45 weitere Werte:
- semantics 5 Treffer
- formal verification 4 Treffer
- proof assistants 4 Treffer
- dynamic reconfiguration 3 Treffer
- financial contracts 3 Treffer
- formal methods 3 Treffer
- functional programming 3 Treffer
- hoare logic 3 Treffer
- iris 3 Treffer
- llvm 3 Treffer
- monads 3 Treffer
- proof automation 3 Treffer
- theorem proving 3 Treffer
- type theory 3 Treffer
- adaptive computing systems 2 Treffer
- automated theorem proving 2 Treffer
- compilers (computer programs) 2 Treffer
- computer programming 2 Treffer
- computer software development 2 Treffer
- computer software industry 2 Treffer
- concurrency 2 Treffer
- dependent types 2 Treffer
- determinism 2 Treffer
- distributed systems 2 Treffer
- domain-specific language 2 Treffer
- feature selection 2 Treffer
- fine-grained concurrency 2 Treffer
- formal proof 2 Treffer
- formal semantics 2 Treffer
- haskell 2 Treffer
- higher-order abstract syntax 2 Treffer
- internet protocols 2 Treffer
- invariants (mathematics) 2 Treffer
- logical frameworks 2 Treffer
- machine learning 2 Treffer
- operational semantics 2 Treffer
- overloading 2 Treffer
- phil 2 Treffer
- regression analysis 2 Treffer
- robust control 2 Treffer
- robustness 2 Treffer
- software architecture 2 Treffer
- software engineering 2 Treffer
- synchronous data transmission systems 2 Treffer
- translation validation 2 Treffer
Publikation
- acm international conference proceeding series 24 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 13 Treffer
- acm sigplan notices 6 Treffer
- icse: international conference on software engineering 6 Treffer
- proceedings of the acm conference on computer and communications security 4 Treffer
-
21 weitere Werte:
- proceedings of the 15th symposium principles & practice of declarative programming 2 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 2 Treffer
- proceedings of the acm symposium on applied computing 2 Treffer
- cbse 2014 - proceedings of the 17th international acm sigsoft symposium on component-based software engineering (part of comparch 2014) 1 Treffer
- conference record of the annual acm symposium on principles of programming languages 1 Treffer
- erlang 2020 - proceedings of the 19th acm sigplan international workshop on erlang, co-located with icfp 2020 1 Treffer
- plpv 2014 - proceedings of the 2014 acm sigplan workshop on programming languages meets program verification, co-located with popl 2014 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 on programming languages 1 Treffer
- proceedings of the acm on programming languages, 4 (popl 1 Treffer
- proceedings of the acm sigplan conference on languages, compilers, and tools for embedded systems (lctes) 1 Treffer
- proceedings of the acm sigplan workshop: generic programming 1 Treffer
- proceedings of the annual acm symposium on principles of distributed computing 1 Treffer
- proceedings of the international symposium on symbolic and algebraic computation, issac 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
92 Treffer
-
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:
-
In: ACM SIGPLAN NOTICES, Jg. 47 (2012), Heft 1, S. 571-585Online KonferenzZugriff:
-
In: ICSE: International Conference on Software Engineering, 2018-05-27, S. 117-120Online KonferenzZugriff:
-
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:
-
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:
-
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:
-
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:
-
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:
-
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: Proceedings of the ACM SIGPLAN Workshop: Generic Programming, 2008-09-20, S. 49-60Online KonferenzZugriff: