Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 519 Treffer
- computer 511 Treffer
- computer.software_genre 469 Treffer
- programming language 434 Treffer
- 01 natural sciences 356 Treffer
-
45 weitere Werte:
- proof assistant 331 Treffer
- 0102 computer and information sciences 313 Treffer
- 010201 computation theory & mathematics 313 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 293 Treffer
- 020201 artificial intelligence & image processing 241 Treffer
- software 221 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 216 Treffer
- theoretical computer science 201 Treffer
- 020204 information systems 193 Treffer
- mathematical proof 183 Treffer
- correctness 165 Treffer
- business 161 Treffer
- business.industry 161 Treffer
- computer.programming_language 155 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 124 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 119 Treffer
- fos: computer and information sciences 111 Treffer
- formal verification 98 Treffer
- compiler 86 Treffer
- soundness 79 Treffer
- coq 77 Treffer
- semantics (computer science) 74 Treffer
- automated theorem proving 69 Treffer
- computer science - logic in computer science 69 Treffer
- logic in computer science (cs.lo) 68 Treffer
- safety, risk, reliability and quality 63 Treffer
- computer science - programming languages 61 Treffer
- computer science::logic in computer science 60 Treffer
- computer science::programming languages 60 Treffer
- programming languages (cs.pl) 60 Treffer
- functional programming 54 Treffer
- artificial intelligence 51 Treffer
- general computer science 46 Treffer
- algorithm 44 Treffer
- calculus 44 Treffer
- computational theory and mathematics 44 Treffer
- separation logic 43 Treffer
- [info]computer science [cs] 42 Treffer
- operational semantics 42 Treffer
- code (cryptography) 41 Treffer
- concurrency 40 Treffer
- 020206 networking & telecommunications 39 Treffer
- 05 social sciences 39 Treffer
- algebra 39 Treffer
- type theory 39 Treffer
Verlag
- hal ccsd 229 Treffer
- acm 89 Treffer
- springer international publishing 86 Treffer
- association for computing machinery (acm) 54 Treffer
- springer berlin heidelberg 34 Treffer
-
42 weitere Werte:
- ieee 29 Treffer
- elsevier bv 28 Treffer
- arxiv 22 Treffer
- springer science and business media llc 17 Treffer
- cambridge university press (cup) 9 Treffer
- open publishing association 6 Treffer
- institute of electrical and electronics engineers (ieee) 5 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 5 Treffer
- springer 4 Treffer
- acm press 3 Treffer
- association for computing machinery 3 Treffer
- elsevier b.v. 2 Treffer
- episciences.org 2 Treffer
- information processing society of japan 2 Treffer
- mdpi ag 2 Treffer
- springer netherlands 2 Treffer
- springer verlag 2 Treffer
- assoc computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- cambridge university press 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- easychair 1 Treffer
- elsevier 1 Treffer
- hindawi 1 Treffer
- hindawi limited 1 Treffer
- igi global 1 Treffer
- inderscience publishers 1 Treffer
- ios press 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- ksi research inc. and knowledge systems institute graduate school 1 Treffer
- lavoisier 1 Treffer
- morressier 1 Treffer
- oxford university press (oup) 1 Treffer
- polish information processing society 1 Treffer
- published by elsevier b.v. 1 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 1 Treffer
- springer london 1 Treffer
- totem publisher, inc. 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
- journal of automated reasoning 14 Treffer
- electronic notes in theoretical computer science 13 Treffer
- acm sigplan notices 10 Treffer
- science of computer programming 10 Treffer
-
45 weitere Werte:
- electronic proceedings in theoretical computer science 7 Treffer
- journal of functional programming 4 Treffer
- mathematical structures in computer science 4 Treffer
- annals of mathematics and artificial intelligence 3 Treffer
- ieee access 3 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 3 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 3 Treffer
- theoretical computer science 3 Treffer
- acm transactions on embedded computing systems 2 Treffer
- acm transactions on programming languages and systems 2 Treffer
- communications of the acm 2 Treffer
- journal of information processing 2 Treffer
- journal of logical and algebraic methods in programming 2 Treffer
- proceedings of the 2017 acm international conference on management of data 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 27th acm symposium on operating systems principles 2 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 2 Treffer
- 2006 first european conference on antennas and propagation 1 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2016 17th international workshop on microprocessor and soc test and verification (mtv) 1 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2017 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 1 Treffer
- 2019 26th asia-pacific software engineering conference (apsec) 1 Treffer
- 2019 chinese control conference (ccc) 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
- 2020 6th international conference on big data computing and communications (bigcom) 1 Treffer
- 2020 aiaa/ieee 39th digital avionics systems conference (dasc) 1 Treffer
- 2020 ieee congress on evolutionary computation (cec) 1 Treffer
- 2020 ieee european symposium on security and privacy workshops (euros&pw) 1 Treffer
- 2020 ieee security and privacy workshops (spw) 1 Treffer
- acm sigarch computer architecture news 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- annals of computer science and information systems 1 Treffer
- applied sciences 1 Treffer
- complexity 1 Treffer
- computers & security 1 Treffer
- electronics 1 Treffer
- epic series in computing 1 Treffer
Sprache
728 Treffer
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: IEEE Access, Jg. 7 (2019), S. 37770-37791Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online 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:
-
2018Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021-01-17Online unknownZugriff: