Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 13 Treffer
- computer science 13 Treffer
- computer.software_genre 13 Treffer
- programming language 12 Treffer
- computer science - logic in computer science 9 Treffer
-
45 weitere Werte:
- logic in computer science (cs.lo) 9 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- mathematical proof 6 Treffer
- software 6 Treffer
- 020204 information systems 5 Treffer
- computer science::programming languages 5 Treffer
- correctness 5 Treffer
- theoretical computer science 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- computer graphics and computer-aided design 4 Treffer
- computer science::logic in computer science 4 Treffer
- mathematics 4 Treffer
- soundness 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- axiom 3 Treffer
- f.3.1 3 Treffer
- formal verification 3 Treffer
- proof assistant 3 Treffer
- semantics (computer science) 3 Treffer
- type (model theory) 3 Treffer
- 16. peace & justice 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- calculus 2 Treffer
- certification 2 Treffer
- coinduction 2 Treffer
- compiler 2 Treffer
- concurrency 2 Treffer
- concurrent computing 2 Treffer
- consistency (database systems) 2 Treffer
- context (language use) 2 Treffer
- coq 2 Treffer
- d.3.1 2 Treffer
- denotational semantics 2 Treffer
- hoare logic 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:mathematics 2 Treffer
- lcsh:qa1-939 2 Treffer
- lcsh:qa75.5-76.95 2 Treffer
- operational semantics 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 1 Treffer
- 0101 mathematics 1 Treffer
Verlag
Publikation
17 Treffer
-
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: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017-06-18Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2017-04-27)Online unknownZugriff:
-
2014Online unknownZugriff: