Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Schlagwort: computer science
- Entferne Filter: Schlagwort: 0202 electrical engineering, electronic engineering, information engineering
- Entferne Filter: Schlagwort: 020207 software engineering
- Entferne Filter: Schlagwort: [info.info-pl]computer science [cs]/programming languages [cs.pl]
Weniger Treffer
Gefunden in
Schlagwort
- computer 92 Treffer
- computer.software_genre 90 Treffer
- programming language 83 Treffer
- proof assistant 62 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 62 Treffer
-
45 weitere Werte:
- 01 natural sciences 56 Treffer
- 0102 computer and information sciences 53 Treffer
- 010201 computation theory & mathematics 53 Treffer
- software 48 Treffer
- compiler 38 Treffer
- theoretical computer science 37 Treffer
- 020204 information systems 30 Treffer
- computer.programming_language 29 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 27 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 26 Treffer
- correctness 26 Treffer
- soundness 22 Treffer
- semantics (computer science) 19 Treffer
- 020201 artificial intelligence & image processing 18 Treffer
- mathematical proof 18 Treffer
- coq 17 Treffer
- formal verification 17 Treffer
- fos: computer and information sciences 16 Treffer
- computer science - programming languages 15 Treffer
- programming languages (cs.pl) 15 Treffer
- functional programming 14 Treffer
- safety, risk, reliability and quality 14 Treffer
- computer graphics and computer-aided design 13 Treffer
- artificial intelligence 12 Treffer
- business 12 Treffer
- business.industry 12 Treffer
- computer.file_format 12 Treffer
- static analysis 12 Treffer
- assembly language 11 Treffer
- computational theory and mathematics 11 Treffer
- executable 11 Treffer
- operational semantics 11 Treffer
- [info.info-pl] computer science [cs]/programming languages [cs.pl] 10 Treffer
- [info]computer science [cs] 10 Treffer
- abstract interpretation 10 Treffer
- code (cryptography) 10 Treffer
- computer science::programming languages 10 Treffer
- data structure 10 Treffer
- type theory 9 Treffer
- certification 8 Treffer
- separation logic 8 Treffer
- set (abstract data type) 8 Treffer
- compiler correctness 7 Treffer
- computingmilieux_miscellaneous 7 Treffer
- imperative programming 7 Treffer
Verlag
Publikation
Sprache
107 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:
-
2013Online unknownZugriff:
-
2007Online unknownZugriff:
-
2010Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
2020Online unknownZugriff: