Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science - programming languages 16 Treffer
- programming languages (cs.pl) 16 Treffer
- 02 engineering and technology 15 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 15 Treffer
- computer 15 Treffer
-
45 weitere Werte:
- computer.software_genre 15 Treffer
- programming language 15 Treffer
- 020207 software engineering 11 Treffer
- computer science - logic in computer science 11 Treffer
- logic in computer science (cs.lo) 11 Treffer
- proof assistant 11 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- 01 natural sciences 7 Treffer
- correctness 6 Treffer
- software 6 Treffer
- theoretical computer science 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- 0102 computer and information sciences 5 Treffer
- 010201 computation theory & mathematics 5 Treffer
- 020204 information systems 5 Treffer
- automated theorem proving 5 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- semantics (computer science) 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- computer.programming_language 4 Treffer
- coq 4 Treffer
- general computer science 4 Treffer
- mathematical proof 4 Treffer
- media_common 4 Treffer
- media_common.quotation_subject 4 Treffer
- artificial intelligence 3 Treffer
- general engineering 3 Treffer
- general materials science 3 Treffer
- interpreter 3 Treffer
- lcsh:electrical engineering. electronics. nuclear engineering 3 Treffer
- lcsh:tk1-9971 3 Treffer
- safety, risk, reliability and quality 3 Treffer
- symbolic execution 3 Treffer
- theorem proving 3 Treffer
- automation 2 Treffer
- blockchain 2 Treffer
- compiler 2 Treffer
- computational theory and mathematics 2 Treffer
- computer science - emerging technologies 2 Treffer
- computer science - software engineering 2 Treffer
- computer science::programming languages 2 Treffer
- computer.file_format 2 Treffer
Verlag
Publikation
Sprache
20 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: IEEE Access, Jg. 7 (2019), S. 37770-37791Online unknownZugriff:
-
2013Online unknownZugriff:
-
2009Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020-05-01Online unknownZugriff:
-
2014Online unknownZugriff: