Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 42 Treffer
- 02 engineering and technology 37 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 37 Treffer
- computer.software_genre 36 Treffer
- programming language 35 Treffer
-
45 weitere Werte:
- 020207 software engineering 34 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 33 Treffer
- 01 natural sciences 28 Treffer
- 0102 computer and information sciences 25 Treffer
- 010201 computation theory & mathematics 25 Treffer
- proof assistant 24 Treffer
- computer.programming_language 20 Treffer
- mathematical proof 19 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 18 Treffer
- safety, risk, reliability and quality 17 Treffer
- computer graphics and computer-aided design 15 Treffer
- theoretical computer science 15 Treffer
- business 14 Treffer
- business.industry 14 Treffer
- correctness 12 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 10 Treffer
- automated theorem proving 9 Treffer
- calculus 9 Treffer
- compiler 9 Treffer
- concurrency 9 Treffer
- separation logic 9 Treffer
- 020204 information systems 8 Treffer
- algorithm 8 Treffer
- artificial intelligence 8 Treffer
- computational theory and mathematics 8 Treffer
- computer science::programming languages 8 Treffer
- semantics 8 Treffer
- semantics (computer science) 8 Treffer
- type theory 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- computer science::logic in computer science 7 Treffer
- fos: computer and information sciences 6 Treffer
- functional programming 6 Treffer
- operational semantics 6 Treffer
- scala 6 Treffer
- 020201 artificial intelligence & image processing 5 Treffer
- axiom 5 Treffer
- computer science - programming languages 5 Treffer
- object type 5 Treffer
- recursion 5 Treffer
- simple (abstract algebra) 5 Treffer
- theorem proving 5 Treffer
- agda 4 Treffer
- code (cryptography) 4 Treffer
- coinduction 4 Treffer
Verlag
- association for computing machinery (acm) 13 Treffer
- hal ccsd 10 Treffer
- acm 7 Treffer
- springer science and business media llc 3 Treffer
- springer 2 Treffer
-
9 weitere Werte:
- springer berlin heidelberg 2 Treffer
- association for computing machinery 1 Treffer
- cambridge university press 1 Treffer
- cambridge university press (cup) 1 Treffer
- elsevier 1 Treffer
- elsevier bv 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- open publishing association 1 Treffer
- universitat des saarlandes 1 Treffer
Publikation
- proceedings of the acm on programming languages 11 Treffer
- journal of automated reasoning 4 Treffer
- acm sigplan notices 3 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
-
9 weitere Werte:
- electronic proceedings in theoretical computer science 1 Treffer
- information and computation (print) 1 Treffer
- journal of functional programming 1 Treffer
- lecture notes in computer science 1 Treffer
- proceedings of the 15th acm sigplan international conference on functional programming 1 Treffer
- qatar foundation annual research forum proceedings 1 Treffer
- science of computer programming 1 Treffer
- structural operational semantics (sos) 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
Sprache
57 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-28Online unknownZugriff:
-
In: Theoretical computer science (Bertinoro, 13-15 October 2003), 2003, S. 37-57KonferenzZugriff:
-
In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, 2006-09-16Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-08-02), S. 1-34Online unknownZugriff:
-
In: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, 2004-09-19Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-10-10), S. 1-30Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. 102655-102655Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-27Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019)Online unknownZugriff: