Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer.software_genre 47 Treffer
- programming language 46 Treffer
- safety, risk, reliability and quality 34 Treffer
- 01 natural sciences 28 Treffer
- 0102 computer and information sciences 24 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 24 Treffer
- proof assistant 23 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 21 Treffer
- 020204 information systems 20 Treffer
- computer.programming_language 19 Treffer
- correctness 17 Treffer
- semantics (computer science) 15 Treffer
- compiler 12 Treffer
- computer graphics and computer-aided design 10 Treffer
- concurrency 10 Treffer
- mathematical proof 10 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 10 Treffer
- business 9 Treffer
- business.industry 9 Treffer
- functional programming 9 Treffer
- soundness 8 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- formal verification 7 Treffer
- haskell 6 Treffer
- software_programminglanguages 6 Treffer
- theoretical computer science 6 Treffer
- computer.file_format 5 Treffer
- semantics 5 Treffer
- separation logic 5 Treffer
- 0103 physical sciences 4 Treffer
- 010302 applied physics 4 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- assembly language 4 Treffer
- code (cryptography) 4 Treffer
- compiler correctness 4 Treffer
- computer science - programming languages 4 Treffer
- computer science::programming languages 4 Treffer
- data structure 4 Treffer
- executable 4 Treffer
- fos: computer and information sciences 4 Treffer
- media_common 4 Treffer
- media_common.quotation_subject 4 Treffer
- programming languages (cs.pl) 4 Treffer
- software_programmingtechniques 4 Treffer
- type safety 4 Treffer
- 020206 networking & telecommunications 3 Treffer
- abstraction layer 3 Treffer
- combinatory logic 3 Treffer
- compilers 3 Treffer
- distributed computing 3 Treffer
Publikation
Sprache
53 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-15Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-10-10), S. 1-27Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-10-10), S. 1-29Online unknownZugriff:
-
In: ACM Transactions on Software Engineering and Methodology, Jg. 28 (2019-07-29), S. 1-46Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-07-26), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2017-12-27), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-29Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-22), S. 1-25Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-24Online unknownZugriff: