Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 7 Treffer
- 020204 information systems 6 Treffer
- computer 6 Treffer
- computer.software_genre 6 Treffer
- programming language 6 Treffer
-
45 weitere Werte:
- compiler 4 Treffer
- proof assistant 4 Treffer
- theoretical computer science 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- computer.programming_language 3 Treffer
- formal verification 3 Treffer
- artificial intelligence 2 Treffer
- computer graphics and computer-aided design 2 Treffer
- concurrency 2 Treffer
- coq 2 Treffer
- fos: computer and information sciences 2 Treffer
- soundness 2 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- abstract interpretation 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- algorithm 1 Treffer
- assembly language 1 Treffer
- automated theorem proving 1 Treffer
- automation 1 Treffer
- axiom 1 Treffer
- benchmark (computing) 1 Treffer
- bootstrapping (compilers) 1 Treffer
- bytecode 1 Treffer
- c language 1 Treffer
- calculus of inductive constructions 1 Treffer
- ciencias de la computacion 1 Treffer
- ciencias de la computacion e informacion 1 Treffer
- ciencias naturales y exactas 1 Treffer
- code generation 1 Treffer
- compilation error 1 Treffer
- compile time 1 Treffer
- compiled language 1 Treffer
- compiler construction 1 Treffer
- compiler correctness 1 Treffer
- component (uml) 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science - programming languages 1 Treffer
- computer science::programming languages 1 Treffer
- computer.file_format 1 Treffer
Verlag
Publikation
Sprache
9 Treffer
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: 2018 International Conference on High Performance Computing & Simulation (HPCS), 2018-07-01Online unknownZugriff:
-
In: Communications of the ACM, Jg. 52 (2009-07-01), S. 107-115Online unknownZugriff:
-
In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, 2011-09-01Online unknownZugriff: