Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 18 Treffer
- computer science 17 Treffer
- computer.software_genre 17 Treffer
- programming language 17 Treffer
- 02 engineering and technology 16 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 16 Treffer
- 020207 software engineering 14 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 12 Treffer
- correctness 8 Treffer
- software 8 Treffer
- computer.programming_language 7 Treffer
- proof assistant 7 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- mathematical proof 5 Treffer
- safety, risk, reliability and quality 5 Treffer
- semantics 5 Treffer
- soundness 5 Treffer
- theoretical computer science 5 Treffer
- computer science::logic in computer science 4 Treffer
- computer science::programming languages 4 Treffer
- fos: computer and information sciences 4 Treffer
- mathematics 4 Treffer
- calculus 3 Treffer
- computer science - programming languages 3 Treffer
- computer.file_format 3 Treffer
- coq 3 Treffer
- interpretation (logic) 3 Treffer
- operational semantics 3 Treffer
- programming languages (cs.pl) 3 Treffer
- type theory 3 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- [info]computer science [cs] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 020204 information systems 2 Treffer
- 05 social sciences 2 Treffer
- 0502 economics and business 2 Treffer
- 050211 marketing 2 Treffer
- 16. peace & justice 2 Treffer
- abstract machine 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computational theory and mathematics 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer science applications 2 Treffer
- concurrency 2 Treffer
- denotational semantics 2 Treffer
- digital subscriber line 2 Treffer
Verlag
Publikation
21 Treffer
-
2007Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021-06-18Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 851 (2021), S. 39-61Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 32 (2020-07-01), S. 275-314Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-08-02), S. 1-34Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Frontiers of Information Technology & Electronic Engineering, Jg. 18 (2017-11-01), S. 1773-1783Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 56 (2016-02-25), S. 343-365Online unknownZugriff:
-
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016-06-02Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825Online unknownZugriff: