Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 5 Treffer
- semantics (computer science) 5 Treffer
- 020204 information systems 4 Treffer
- computer.programming_language 4 Treffer
- correctness 4 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- set (abstract data type) 3 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- code (cryptography) 2 Treffer
- functional programming 2 Treffer
- haskell 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- memory management 2 Treffer
- satisfiability modulo theories 2 Treffer
- solver 2 Treffer
- soundness 2 Treffer
- test suite 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 0101 mathematics 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
- 0105 earth and related environmental sciences 1 Treffer
- 010502 geochemistry & geophysics 1 Treffer
- 03 medical and health sciences 1 Treffer
- 0301 basic medicine 1 Treffer
- 030104 developmental biology 1 Treffer
- abstract algebra 1 Treffer
- abstract syntax 1 Treffer
- agda 1 Treffer
- algebraic specification 1 Treffer
- array programming 1 Treffer
- automatic summarization 1 Treffer
- bounded function 1 Treffer
- c dynamic memory allocation 1 Treffer
- class (computer programming) 1 Treffer
- coinduction 1 Treffer
- combinatory logic 1 Treffer
- compiler 1 Treffer
- completeness (order theory) 1 Treffer
- computer science - operating systems 1 Treffer
- computer science - programming languages 1 Treffer
- computer.file_format 1 Treffer
- computerapplications_computersinothersystems 1 Treffer
- concurrency 1 Treffer
- constraint satisfaction problem 1 Treffer
- critical infrastructure 1 Treffer
- cuda 1 Treffer
- data_files 1 Treffer
- debugging 1 Treffer
Sprache
12 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-10-15), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-08-02), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-10-24), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-24Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, 2018Online unknownZugriff:
-
In: Proceedings of the ACM on Programming LanguagesOnline unknownZugriff: