Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- semantics 3 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- computer 2 Treffer
- computer.software_genre 2 Treffer
- concurrency 2 Treffer
- extensibility 2 Treffer
- inheritance (object-oriented programming) 2 Treffer
- interface (java) 2 Treffer
- mathematical proof 2 Treffer
- object (computer science) 2 Treffer
- programming language 2 Treffer
- reuse 2 Treffer
- software 2 Treffer
- type safety 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 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
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 16. peace & justice 1 Treffer
- advice (complexity) 1 Treffer
- alternating-time temporal logic 1 Treffer
- aspect-oriented programming 1 Treffer
- atomic sentence 1 Treffer
- axiom of choice 1 Treffer
- bar induction 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer sciences 1 Treffer
- computer.file_format 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- context (language use) 1 Treffer
- datavetenskap (datalogi) 1 Treffer
- design 1 Treffer
- equivalence relation 1 Treffer
- fos: computer and information sciences 1 Treffer
Verlag
Publikation
Sprache
7 Treffer
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: ACM SIGAPP Applied Computing Review, Jg. 18 (2019-01-15), S. 47-60Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018-04-09Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 50 (2015-01-14), S. 623-636Online unknownZugriff: