Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- programming language 11 Treffer
- computer.programming_language 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- mathematical proof 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
-
45 weitere Werte:
- 020204 information systems 4 Treffer
- computer science - programming languages 4 Treffer
- fos: computer and information sciences 4 Treffer
- programming languages (cs.pl) 4 Treffer
- soundness 4 Treffer
- correctness 3 Treffer
- hoare logic 3 Treffer
- semantics 3 Treffer
- theoretical computer science 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- compiler 2 Treffer
- computer science - logic in computer science 2 Treffer
- concurrency 2 Treffer
- denotational semantics 2 Treffer
- functional programming 2 Treffer
- haskell 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- probabilistic logic 2 Treffer
- thread (computing) 2 Treffer
- type (model theory) 2 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 1 Treffer
- 0103 physical sciences 1 Treffer
- 010302 applied physics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 46 information and computing sciences 1 Treffer
- 4612 software engineering 1 Treffer
- abstraction (linguistics) 1 Treffer
- abstraction (mathematics) 1 Treffer
- abstraction layer 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- argument of a function 1 Treffer
- assembly language 1 Treffer
- automated theorem proving 1 Treffer
- axiom 1 Treffer
- calculus 1 Treffer
- certification 1 Treffer
- closure (computer programming) 1 Treffer
- codd's theorem 1 Treffer
- coercion (linguistics) 1 Treffer
- coinduction 1 Treffer
- component (uml) 1 Treffer
- computer science - databases 1 Treffer
Verlag
13 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: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online 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: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2016-10-19Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-01-18), S. 97-110Online unknownZugriff:
-
In: Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 2015-08-30Online unknownZugriff:
-
In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014-01-08Online unknownZugriff:
-
In: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2007-01-17Online unknownZugriff: