Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 54 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 54 Treffer
- computer science 54 Treffer
- 020207 software engineering 51 Treffer
- computer 49 Treffer
-
45 weitere Werte:
- computer.software_genre 48 Treffer
- programming language 44 Treffer
- 01 natural sciences 33 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 33 Treffer
- 0102 computer and information sciences 32 Treffer
- 010201 computation theory & mathematics 32 Treffer
- proof assistant 29 Treffer
- compiler 25 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 24 Treffer
- safety, risk, reliability and quality 21 Treffer
- computer graphics and computer-aided design 18 Treffer
- computer.programming_language 18 Treffer
- correctness 18 Treffer
- 020204 information systems 17 Treffer
- artificial intelligence 16 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 15 Treffer
- computational theory and mathematics 14 Treffer
- theoretical computer science 14 Treffer
- fos: computer and information sciences 12 Treffer
- computer science - programming languages 10 Treffer
- coq 10 Treffer
- formal verification 10 Treffer
- programming languages (cs.pl) 10 Treffer
- soundness 10 Treffer
- business 9 Treffer
- business.industry 9 Treffer
- mathematical proof 9 Treffer
- assembly language 8 Treffer
- computer.file_format 8 Treffer
- functional programming 8 Treffer
- semantics (computer science) 8 Treffer
- type theory 8 Treffer
- 020201 artificial intelligence & image processing 7 Treffer
- compiler correctness 7 Treffer
- executable 7 Treffer
- algorithm 6 Treffer
- compilers 6 Treffer
- computer science::programming languages 6 Treffer
- media_common 6 Treffer
- media_common.quotation_subject 6 Treffer
- operational semantics 6 Treffer
- abstract interpretation 5 Treffer
- calculus 5 Treffer
- certification 5 Treffer
- code (cryptography) 5 Treffer
Verlag
Publikation
- proceedings of the acm on programming languages 7 Treffer
- acm sigplan notices 2 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- 3 weitere Werte:
Sprache
67 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
2009Online unknownZugriff: