Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 396 Treffer
- computer.software_genre 365 Treffer
- programming language 343 Treffer
- 01 natural sciences 263 Treffer
- 0102 computer and information sciences 237 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 237 Treffer
- proof assistant 235 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 216 Treffer
- software 195 Treffer
- theoretical computer science 154 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 150 Treffer
- 020204 information systems 129 Treffer
- computer.programming_language 123 Treffer
- mathematical proof 123 Treffer
- correctness 118 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 107 Treffer
- 020201 artificial intelligence & image processing 106 Treffer
- business 105 Treffer
- business.industry 105 Treffer
- fos: computer and information sciences 83 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 82 Treffer
- compiler 73 Treffer
- formal verification 67 Treffer
- semantics (computer science) 65 Treffer
- soundness 65 Treffer
- safety, risk, reliability and quality 62 Treffer
- coq 53 Treffer
- computer science - logic in computer science 50 Treffer
- computer science - programming languages 49 Treffer
- logic in computer science (cs.lo) 49 Treffer
- programming languages (cs.pl) 48 Treffer
- functional programming 44 Treffer
- computer science::programming languages 43 Treffer
- automated theorem proving 42 Treffer
- computer science::logic in computer science 41 Treffer
- operational semantics 39 Treffer
- separation logic 39 Treffer
- artificial intelligence 37 Treffer
- computer graphics and computer-aided design 36 Treffer
- concurrency 36 Treffer
- computational theory and mathematics 34 Treffer
- code (cryptography) 33 Treffer
- [info]computer science [cs] 32 Treffer
- general computer science 32 Treffer
- type theory 30 Treffer
- algorithm 29 Treffer
- computer.file_format 29 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 28 Treffer
- calculus 28 Treffer
- executable 28 Treffer
Verlag
- hal ccsd 166 Treffer
- acm 62 Treffer
- association for computing machinery (acm) 53 Treffer
- springer international publishing 53 Treffer
- elsevier bv 22 Treffer
-
31 weitere Werte:
- springer berlin heidelberg 22 Treffer
- arxiv 16 Treffer
- springer science and business media llc 11 Treffer
- cambridge university press (cup) 9 Treffer
- ieee 9 Treffer
- acm press 3 Treffer
- association for computing machinery 3 Treffer
- open publishing association 3 Treffer
- elsevier b.v. 2 Treffer
- mdpi ag 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- springer 2 Treffer
- springer netherlands 2 Treffer
- springer verlag 2 Treffer
- assoc computing machinery 1 Treffer
- cambridge university press 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- elsevier 1 Treffer
- episciences.org 1 Treffer
- igi global 1 Treffer
- information processing society of japan 1 Treffer
- ios press 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- morressier 1 Treffer
- polish information processing society 1 Treffer
- published by elsevier b.v. 1 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 1 Treffer
- universitat des saarlandes 1 Treffer
- wiley 1 Treffer
- zenodo 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- proceedings of the acm on programming languages 40 Treffer
- electronic notes in theoretical computer science 13 Treffer
- journal of automated reasoning 11 Treffer
- acm sigplan notices 10 Treffer
- science of computer programming 8 Treffer
-
45 weitere Werte:
- electronic proceedings in theoretical computer science 4 Treffer
- journal of functional programming 4 Treffer
- mathematical structures in computer science 4 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 3 Treffer
- acm transactions on programming languages and systems 2 Treffer
- communications of the acm 2 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 2 Treffer
- proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 2 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 2 Treffer
- 2015 ieee symposium on security and privacy 1 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
- 2019 26th asia-pacific software engineering conference (apsec) 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2019 international symposium on theoretical aspects of software engineering (tase) 1 Treffer
- acm sigarch computer architecture news 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- annals of computer science and information systems 1 Treffer
- applied sciences 1 Treffer
- electronics 1 Treffer
- frontiers of information technology & electronic engineering 1 Treffer
- human-centric computing and information sciences 1 Treffer
- journal of applied logic 1 Treffer
- journal of computer science and technology 1 Treffer
- journal of information processing 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of systems and software 1 Treffer
- journal of the acm 1 Treffer
- logical methods in computer science 1 Treffer
- mathematics in computer science 1 Treffer
- proceedings of the 12th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 2014 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 2017 acm international conference on management of data 1 Treffer
- proceedings of the 2018 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 2020 9th international conference on software and computer applications 1 Treffer
- proceedings of the 20th international symposium on principles and practice of declarative programming 1 Treffer
- proceedings of the 27th acm sigsoft international symposium on software testing and analysis 1 Treffer
- proceedings of the 27th acm symposium on operating systems principles 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- proceedings of the 40th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 1 Treffer
- proceedings of the 41st acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 43rd annual acm sigplan-sigact symposium on principles of programming languages 1 Treffer
- proceedings of the 44th acm sigplan symposium on principles of programming languages 1 Treffer
Sprache
519 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2020-09-14), S. 75-124Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021-01-17Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021)Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
2020Online unknownZugriff: