Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- computer.programming_language 2 Treffer
- mathematical proof 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 1 Treffer
-
45 weitere Werte:
- 0103 physical sciences 1 Treffer
- 010302 applied physics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- abstraction (linguistics) 1 Treffer
- abstraction (mathematics) 1 Treffer
- abstraction layer 1 Treffer
- automated theorem proving 1 Treffer
- axiom 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- certification 1 Treffer
- coercion (linguistics) 1 Treffer
- compiler 1 Treffer
- component (uml) 1 Treffer
- computer science - programming languages 1 Treffer
- computer science::programming languages 1 Treffer
- concurrency 1 Treffer
- concurrent computing 1 Treffer
- correctness 1 Treffer
- data abstraction 1 Treffer
- differential privacy 1 Treffer
- formal verification 1 Treffer
- fos: computer and information sciences 1 Treffer
- gradual typing 1 Treffer
- haskell 1 Treffer
- hoare logic 1 Treffer
- lambda calculus 1 Treffer
- layer (object-oriented design) 1 Treffer
- logical relations 1 Treffer
- parametric polymorphism 1 Treffer
- parametricity 1 Treffer
- path (graph theory) 1 Treffer
- probabilistic logic 1 Treffer
- programming languages (cs.pl) 1 Treffer
- proof assistant 1 Treffer
- simple (philosophy) 1 Treffer
- software engineering 1 Treffer
- software_programminglanguages 1 Treffer
- software_programmingtechniques 1 Treffer
- static analysis 1 Treffer
- string searching algorithm 1 Treffer
- synchronization (computer science) 1 Treffer
- theoretical computer science 1 Treffer
- thread (computing) 1 Treffer
5 Treffer
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 53 (2018-06-11), S. 646-661Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017), S. 100-113Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-01-18), S. 97-110Online unknownZugriff: