Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 53 Treffer
- computer 48 Treffer
- computer.software_genre 46 Treffer
- programming language 45 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 32 Treffer
-
45 weitere Werte:
- 02 engineering and technology 31 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 31 Treffer
- semantics (computer science) 28 Treffer
- 020207 software engineering 27 Treffer
- software 26 Treffer
- proof assistant 25 Treffer
- 01 natural sciences 20 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 20 Treffer
- computer.programming_language 18 Treffer
- 0102 computer and information sciences 17 Treffer
- 010201 computation theory & mathematics 17 Treffer
- theoretical computer science 15 Treffer
- computer graphics and computer-aided design 14 Treffer
- compiler 12 Treffer
- business 11 Treffer
- business.industry 11 Treffer
- [info]computer science [cs] 10 Treffer
- operational semantics 10 Treffer
- soundness 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- 020201 artificial intelligence & image processing 8 Treffer
- 020204 information systems 8 Treffer
- correctness 8 Treffer
- fos: computer and information sciences 8 Treffer
- functional programming 8 Treffer
- computer.file_format 7 Treffer
- concurrency 7 Treffer
- formal verification 7 Treffer
- mathematical proof 7 Treffer
- type theory 7 Treffer
- artificial intelligence 6 Treffer
- coq 6 Treffer
- denotational semantics 6 Treffer
- executable 6 Treffer
- assembly language 5 Treffer
- automated theorem proving 5 Treffer
- computer science - logic in computer science 5 Treffer
- formal semantics (linguistics) 5 Treffer
- formal specification 5 Treffer
- logic in computer science (cs.lo) 5 Treffer
- proof theory 5 Treffer
- semantics of logic 5 Treffer
- semantique 5 Treffer
- syntax (programming languages) 5 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
Verlag
Publikation
- acm sigplan notices 4 Treffer
- proceedings of the acm on programming languages 2 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
-
12 weitere Werte:
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- formal methods in system design 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of the acm 1 Treffer
- procedia computer science 1 Treffer
- proceedings of the 13th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 20th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 31st acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- proceedings of the 35th acm sigplan conference on programming language design and implementation 1 Treffer
- theoretical computer science 1 Treffer
Sprache
64 Treffer
-
2018Online unknownZugriff:
-
2012Online unknownZugriff:
-
2011Online unknownZugriff:
-
2007Online unknownZugriff:
-
2000Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: Journal of automated reasoning, Jg. 66 (2020-03-19), Heft 4Online unknownZugriff:
-
In: Procedia Computer Science, Jg. 1 (2010-05-01), Heft 1, S. 155-164Online unknownZugriff: