Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 40 Treffer
- computer.software_genre 35 Treffer
- programming language 32 Treffer
- 01 natural sciences 30 Treffer
- 0102 computer and information sciences 29 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 29 Treffer
- computer science - logic in computer science 20 Treffer
- logic in computer science (cs.lo) 20 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 19 Treffer
- software 18 Treffer
- proof assistant 16 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- correctness 15 Treffer
- theoretical computer science 15 Treffer
- computer.programming_language 14 Treffer
- 020204 information systems 12 Treffer
- mathematical proof 12 Treffer
- 020201 artificial intelligence & image processing 10 Treffer
- business 10 Treffer
- business.industry 10 Treffer
- coq 10 Treffer
- formal verification 10 Treffer
- soundness 9 Treffer
- safety, risk, reliability and quality 8 Treffer
- semantics (computer science) 8 Treffer
- compiler 7 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- separation logic 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- code (cryptography) 5 Treffer
- artificial intelligence 4 Treffer
- calculus 4 Treffer
- certification 4 Treffer
- computer graphics and computer-aided design 4 Treffer
- computer science::programming languages 4 Treffer
- concurrency 4 Treffer
- general computer science 4 Treffer
- lcsh:electronic computers. computer science 4 Treffer
- lcsh:mathematics 4 Treffer
- lcsh:qa1-939 4 Treffer
- lcsh:qa75.5-76.95 4 Treffer
- memory model 4 Treffer
- operational semantics 4 Treffer
- semantics 4 Treffer
- static analysis 4 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- automated theorem proving 3 Treffer
- computational theory and mathematics 3 Treffer
- computingmilieux_miscellaneous 3 Treffer
- consistency (database systems) 3 Treffer
Verlag
Publikation
- proceedings of the acm on programming languages 3 Treffer
- acm sigplan notices 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- journal of automated reasoning 1 Treffer
- proceedings of the 41st acm sigplan conference on programming language design and implementation 1 Treffer
Sprache
49 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff:
-
2009Online unknownZugriff:
-
2020Online unknownZugriff: