Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 5 Treffer
- proof assistant 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- type safety 4 Treffer
- computer.software_genre 3 Treffer
-
45 weitere Werte:
- mathematical proof 3 Treffer
- programming language 3 Treffer
- semantics (computer science) 3 Treffer
- soundness 3 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020204 information systems 2 Treffer
- 020207 software engineering 2 Treffer
- computer graphics and computer-aided design 2 Treffer
- computer.programming_language 2 Treffer
- object (computer science) 2 Treffer
- object type 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- scala 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- abstract type 1 Treffer
- advice (complexity) 1 Treffer
- artificial intelligence 1 Treffer
- aspect-oriented programming 1 Treffer
- automated reasoning 1 Treffer
- calculus of constructions 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- computer science - programming languages 1 Treffer
- computer.file_format 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- concurrency 1 Treffer
- control and systems engineering 1 Treffer
- design 1 Treffer
- direct proof 1 Treffer
- effect system 1 Treffer
- extensibility 1 Treffer
- fos: computer and information sciences 1 Treffer
- functional programming 1 Treffer
- hardware and architecture 1 Treffer
- information systems 1 Treffer
Publikation
Sprache
8 Treffer
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-01-23), S. 193-206Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-28Online unknownZugriff:
-
In: Journal of the ACM, Jg. 66 (2019-04-24), S. 1-35Online unknownZugriff:
-
In: ACM SIGAPP Applied Computing Review, Jg. 18 (2019-01-15), S. 47-60Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-27Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 50 (2015-01-14), S. 623-636Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), S. 484-517Online unknownZugriff: