Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming languages 11 Treffer
- coq 8 Treffer
- compilers (computer programs) 7 Treffer
- verified compilation 6 Treffer
- aspect-oriented programming 5 Treffer
-
45 weitere Werte:
- typing 5 Treffer
- ad hoc computer networks 4 Treffer
- calculus 4 Treffer
- intuitionistic logic 4 Treffer
- semantic computing 4 Treffer
- software verification 4 Treffer
- c (computer program language) 3 Treffer
- computer input-output equipment 3 Treffer
- computer programming 3 Treffer
- computer science 3 Treffer
- computer software development 3 Treffer
- concurrency 3 Treffer
- domain-specific language 3 Treffer
- financial contracts 3 Treffer
- haskell 3 Treffer
- multiprocessors 3 Treffer
- saint hilaire method 3 Treffer
- source code 3 Treffer
- type system 3 Treffer
- type theory 3 Treffer
- verification 3 Treffer
- applied sciences 2 Treffer
- bar induction 2 Treffer
- computer science; control theory; systems 2 Treffer
- determinism 2 Treffer
- exact sciences and technology 2 Treffer
- informatique 2 Treffer
- informatique; automatique theorique; systemes 2 Treffer
- interactive theorem proving 2 Treffer
- langage programmation 2 Treffer
- lenguaje programacion 2 Treffer
- logiciel 2 Treffer
- modeling 2 Treffer
- modelisation 2 Treffer
- modelizacion 2 Treffer
- programming language 2 Treffer
- relaxed memory models 2 Treffer
- sciences appliquees 2 Treffer
- sciences exactes et technologie 2 Treffer
- semantica 2 Treffer
- semantique 2 Treffer
- software 2 Treffer
- software engineering 2 Treffer
- staircases 2 Treffer
- synchronous data transmission systems 2 Treffer
Publikation
- journal of the acm 7 Treffer
- acm transactions on programming languages & systems 4 Treffer
- acm transactions on embedded computing systems 2 Treffer
- icse: international conference on software engineering 2 Treffer
- 38 ; 1 1 Treffer
-
7 weitere Werte:
- acm sigplan notices 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
- issn: 0004-5411 1 Treffer
- journal of the association for computing machinery 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 1 Treffer
Sprache
10 Treffer
-
In: Journal of the ACM, Jg. 66 (2019-04-01), Heft 2, S. 1-35Online academicJournalZugriff:
-
In: Bahr , P , Berthold , J & Elsman , M 2015 , Certified Symbolic Management of Financial Multi-party Contracts . in ICFP 2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming . Association for Computing Machinery , New York, NY, USA , pp. 315-327 . https://doi.org/10.1145/2784731.2784747, 2015academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-02), S. 1-25Online academicJournalZugriff:
-
In: ICSE: International Conference on Software Engineering, 2017, S. 109-111Online KonferenzZugriff:
-
In: Journal of the ACM, Jg. 60 (2013-06-01), Heft 3, S. 1-50Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Communications of the ACM, Jg. 53 (2010-12-01), Heft 12, S. 56-66Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 34 (2012-10-01), Heft 3, S. 12:1- (43S.)Online academicJournalZugriff:
-
In: 38 ; 1, 2018Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: