Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 113 Treffer
- computer.software_genre 106 Treffer
- programming language 101 Treffer
- computer graphics and computer-aided design 64 Treffer
- proof assistant 58 Treffer
-
45 weitere Werte:
- 02 engineering and technology 54 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 54 Treffer
- 020207 software engineering 53 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 52 Treffer
- safety, risk, reliability and quality 46 Treffer
- computer.programming_language 40 Treffer
- correctness 35 Treffer
- 01 natural sciences 32 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 32 Treffer
- 0102 computer and information sciences 28 Treffer
- 010201 computation theory & mathematics 28 Treffer
- compiler 28 Treffer
- semantics (computer science) 28 Treffer
- theoretical computer science 28 Treffer
- business 26 Treffer
- business.industry 26 Treffer
- mathematical proof 25 Treffer
- 020204 information systems 21 Treffer
- formal verification 21 Treffer
- concurrency 19 Treffer
- functional programming 19 Treffer
- separation logic 16 Treffer
- soundness 14 Treffer
- haskell 12 Treffer
- software_programminglanguages 12 Treffer
- data structure 11 Treffer
- compiler correctness 9 Treffer
- computer science::programming languages 9 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 8 Treffer
- assembly language 8 Treffer
- calculus 8 Treffer
- certification 8 Treffer
- fos: computer and information sciences 8 Treffer
- media_common 8 Treffer
- media_common.quotation_subject 8 Treffer
- semantics 8 Treffer
- type safety 8 Treffer
- code (cryptography) 7 Treffer
- computer science - programming languages 7 Treffer
- hoare logic 7 Treffer
- operational semantics 7 Treffer
- optimizing compiler 7 Treffer
- programming languages (cs.pl) 7 Treffer
- software engineering 7 Treffer
- automated theorem proving 6 Treffer
Publikation
- acm sigplan notices 64 Treffer
- proceedings of the acm on programming languages 43 Treffer
- acm transactions on programming languages and systems 4 Treffer
- formal aspects of computing 4 Treffer
- acm transactions on embedded computing systems 3 Treffer
-
10 weitere Werte:
- acm transactions on computational logic 2 Treffer
- communications of the acm 2 Treffer
- journal of the acm 2 Treffer
- 31 ; 1 1 Treffer
- acm sigada ada letters 1 Treffer
- acm sigapp applied computing review 1 Treffer
- acm sigarch computer architecture news 1 Treffer
- acm sigsoft software engineering notes 1 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
Sprache
135 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 52-62Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-15Online unknownZugriff:
-
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: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff:
-
In: ACM SIGAda Ada Letters, Jg. 33 (2013-11-10), S. 21-22Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 49 (2014-01-08), S. 249-249Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-09-25), S. 87-100Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-01-23), S. 207-218Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-10-15), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-31Online unknownZugriff: