Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 21 Treffer
- 020207 software engineering 19 Treffer
- computer.software_genre 17 Treffer
- 020201 artificial intelligence & image processing 15 Treffer
- programming language 15 Treffer
-
45 weitere Werte:
- software 15 Treffer
- business 8 Treffer
- business.industry 8 Treffer
- computational theory and mathematics 8 Treffer
- fos: computer and information sciences 8 Treffer
- computer.programming_language 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- computer science - logic in computer science 6 Treffer
- correctness 6 Treffer
- logic in computer science (cs.lo) 6 Treffer
- mathematical proof 6 Treffer
- static analysis 6 Treffer
- general computer science 5 Treffer
- media_common 5 Treffer
- media_common.quotation_subject 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- algorithm 4 Treffer
- artificial intelligence 4 Treffer
- concurrency 4 Treffer
- distributed computing 4 Treffer
- formal methods 4 Treffer
- hardware and architecture 4 Treffer
- mathematics 4 Treffer
- model checking 4 Treffer
- program analysis 4 Treffer
- semantics (computer science) 4 Treffer
- [info]computer science [cs] 3 Treffer
- abstract interpretation 3 Treffer
- code (cryptography) 3 Treffer
- computer science(all) 3 Treffer
- computer science::programming languages 3 Treffer
- debugging 3 Treffer
- discrete mathematics 3 Treffer
- graph (abstract data type) 3 Treffer
- rewriting 3 Treffer
- set (abstract data type) 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 020206 networking & telecommunications 2 Treffer
- abstraction (linguistics) 2 Treffer
- automated theorem proving 2 Treffer
- class (set theory) 2 Treffer
- combinatorics 2 Treffer
- compiler 2 Treffer
- computational complexity (cs.cc) 2 Treffer
Verlag
- hal ccsd 7 Treffer
- elsevier bv 4 Treffer
- acm 3 Treffer
- ieee 3 Treffer
- springer international publishing 3 Treffer
-
9 weitere Werte:
- cambridge university press (cup) 2 Treffer
- association for computing machinery 1 Treffer
- association for computing machinery (acm) 1 Treffer
- cambridge university press 1 Treffer
- elsevier b.v. 1 Treffer
- open publishing association 1 Treffer
- published by elsevier inc. 1 Treffer
- springer berlin heidelberg 1 Treffer
- university of twente 1 Treffer
Publikation
- electronic notes in theoretical computer science 2 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 1 Treffer
- acm transactions on computation theory 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
-
9 weitere Werte:
- formal methods in system design 1 Treffer
- ieee access 1 Treffer
- information and computation 1 Treffer
- journal of computer and system sciences 1 Treffer
- journal of functional programming 1 Treffer
- proceedings of the 3rd innovations in theoretical computer science conference 1 Treffer
- science of computer programming 1 Treffer
- the journal of logic programming 1 Treffer
- theory and practice of logic programming 1 Treffer
Sprache
37 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 277 (2018-09-07), S. 118-132Online unknownZugriff:
-
In: 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018-06-01Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 42 (2020-12-07), S. 1-34Online unknownZugriff:
-
In: Information and Computation, Jg. 206 (2008-02-01), Heft 2-4, S. 130-157Online unknownZugriff:
-
2020Online unknownZugriff:
-
In: IEEE Access, Jg. 6 (2018), S. 78965-78991Online unknownZugriff:
-
In: Theory and Practice of Logic Programming, Jg. 18 (2017-10-17), S. 30-80Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 133 (2017), S. 74-87Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff: