Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 196 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 195 Treffer
- computer science 191 Treffer
- 020207 software engineering 139 Treffer
- computer 131 Treffer
-
45 weitere Werte:
- computer.software_genre 117 Treffer
- programming language 109 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 109 Treffer
- proof assistant 101 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 90 Treffer
- theoretical computer science 76 Treffer
- mathematical proof 67 Treffer
- software 62 Treffer
- computer.programming_language 50 Treffer
- correctness 47 Treffer
- mathematics 47 Treffer
- 020201 artificial intelligence & image processing 46 Treffer
- 0101 mathematics 34 Treffer
- 010102 general mathematics 34 Treffer
- computer science::logic in computer science 34 Treffer
- fos: computer and information sciences 34 Treffer
- algebra 31 Treffer
- business 31 Treffer
- business.industry 31 Treffer
- computer science::programming languages 30 Treffer
- computer science - logic in computer science 26 Treffer
- soundness 26 Treffer
- general computer science 25 Treffer
- logic in computer science (cs.lo) 25 Treffer
- calculus 23 Treffer
- discrete mathematics 23 Treffer
- type theory 23 Treffer
- automated theorem proving 22 Treffer
- safety, risk, reliability and quality 21 Treffer
- semantics (computer science) 21 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 20 Treffer
- artificial intelligence 20 Treffer
- functional programming 20 Treffer
- formal verification 18 Treffer
- computer science - programming languages 17 Treffer
- programming languages (cs.pl) 17 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 16 Treffer
- 020204 information systems 16 Treffer
- computational theory and mathematics 16 Treffer
- 16. peace & justice 15 Treffer
- coq 15 Treffer
- algorithm 13 Treffer
- computer graphics and computer-aided design 13 Treffer
- operational semantics 13 Treffer
- type (model theory) 13 Treffer
Verlag
- acm 42 Treffer
- springer berlin heidelberg 39 Treffer
- springer international publishing 31 Treffer
- association for computing machinery (acm) 28 Treffer
- elsevier bv 18 Treffer
-
21 weitere Werte:
- arxiv 14 Treffer
- springer science and business media llc 13 Treffer
- cambridge university press (cup) 9 Treffer
- ieee 7 Treffer
- centre pour la communication scientifique directe (ccsd) 3 Treffer
- acm press 2 Treffer
- open publishing association 2 Treffer
- oxford university press (oup) 2 Treffer
- aarhus university library 1 Treffer
- assoc computing machinery 1 Treffer
- berlin : springer 1 Treffer
- easychair 1 Treffer
- episciences.org 1 Treffer
- incoma ltd., shoumen, bulgaria 1 Treffer
- lavoisier 1 Treffer
- mdpi ag 1 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 1 Treffer
- springer 1 Treffer
- springer verlag 1 Treffer
- walter de gruyter gmbh 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- proceedings of the acm on programming languages 17 Treffer
- electronic notes in theoretical computer science 13 Treffer
- journal of automated reasoning 11 Treffer
- mathematical structures in computer science 6 Treffer
- acm sigplan notices 5 Treffer
-
38 weitere Werte:
- journal of functional programming 4 Treffer
- logical methods in computer science 3 Treffer
- theoretical computer science 3 Treffer
- acm transactions on computational logic 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 2 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 2 Treffer
- proceedings of the 7th acm sigplan international conference on certified programs and proofs 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- 2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- 2018 international joint conference on neural networks (ijcnn) 1 Treffer
- 2020 ieee congress on evolutionary computation (cec) 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- archive for mathematical logic 1 Treffer
- epic series in computing 1 Treffer
- formal aspects of computing 1 Treffer
- formalized mathematics 1 Treffer
- frontiers of information technology & electronic engineering 1 Treffer
- journal of logic and computation 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of the acm 1 Treffer
- mathematics 1 Treffer
- proceedings of the 12th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 2009 acm symposium on applied computing 1 Treffer
- proceedings of the 2014 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 2016 acm symposium on principles of distributed computing 1 Treffer
- proceedings of the 2020 acm sigplan international symposium on memory management 1 Treffer
- proceedings of the 6th acm sigplan conference on certified programs and proofs 1 Treffer
- proceedings of the genetic and evolutionary computation conference companion 1 Treffer
- programming languages and systems 1 Treffer
- science of computer programming 1 Treffer
- techniques et sciences informatiques 1 Treffer
- the computer journal 1 Treffer
- theory of computing systems 1 Treffer
241 Treffer
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2020-09-14), S. 75-124Online unknownZugriff:
-
In: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021)Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 338 (2018-10-01), S. 203-218Online 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: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019-11-15Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 120 (2021-04-01), S. 100642-100642Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019-01-14Online unknownZugriff:
-
2019Online unknownZugriff:
-
2019Online unknownZugriff: