Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 17 Treffer
- computer science 16 Treffer
- computer 15 Treffer
- computer.software_genre 13 Treffer
- programming language 12 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 12 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 11 Treffer
- computer science::logic in computer science 8 Treffer
- mathematical proof 8 Treffer
- correctness 7 Treffer
- mathematics 7 Treffer
- proof assistant 7 Treffer
- theoretical computer science 7 Treffer
- computer science::programming languages 6 Treffer
- computer.programming_language 6 Treffer
- discrete mathematics 5 Treffer
- formal verification 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- general computer science 4 Treffer
- computer science - logic in computer science 3 Treffer
- computer science(all) 3 Treffer
- computer science::mathematical software 3 Treffer
- fos: computer and information sciences 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- software 3 Treffer
- solver 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- algebra 2 Treffer
- algorithm 2 Treffer
- calculus 2 Treffer
- compiler 2 Treffer
- distributed algorithm 2 Treffer
- equivalence (formal languages) 2 Treffer
- formal methods 2 Treffer
- haskell 2 Treffer
- metatheory 2 Treffer
- natural number 2 Treffer
- program analysis 2 Treffer
- reduction (recursion theory) 2 Treffer
- rewriting 2 Treffer
- software_programminglanguages 2 Treffer
- software_programmingtechniques 2 Treffer
- specification language 2 Treffer
- string searching algorithm 2 Treffer
- theorem proving 2 Treffer
- type (model theory) 2 Treffer
- witness 2 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 1 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 1 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
Verlag
Publikation
22 Treffer
-
In: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10Online unknownZugriff:
-
In: Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019-11-15Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017-09-07Online unknownZugriff:
-
In: The Computer Journal, Jg. 65 (2021-05-03), S. 1891-1903Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-27), S. 695-722Online unknownZugriff:
-
2007Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-26Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 325 (2016-10-01), S. 221-236Online unknownZugriff:
-
In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, 2017-10-09Online unknownZugriff: