Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 241 Treffer
- computer 165 Treffer
- computer.software_genre 150 Treffer
- programming language 138 Treffer
- proof assistant 133 Treffer
-
45 weitere Werte:
- 020207 software engineering 114 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 108 Treffer
- 01 natural sciences 97 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 88 Treffer
- 0102 computer and information sciences 83 Treffer
- 010201 computation theory & mathematics 83 Treffer
- mathematical proof 75 Treffer
- correctness 72 Treffer
- theoretical computer science 70 Treffer
- business 65 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 64 Treffer
- business.industry 64 Treffer
- coq 49 Treffer
- computer.programming_language 47 Treffer
- fos: computer and information sciences 47 Treffer
- software 46 Treffer
- formal verification 40 Treffer
- mathematics 38 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 36 Treffer
- automated theorem proving 34 Treffer
- computer science - logic in computer science 31 Treffer
- logic in computer science (cs.lo) 31 Treffer
- computer science::logic in computer science 30 Treffer
- calculus 25 Treffer
- compiler 25 Treffer
- formal proof 25 Treffer
- 020204 information systems 22 Treffer
- 05 social sciences 21 Treffer
- 16. peace & justice 21 Treffer
- computer science - programming languages 21 Treffer
- computer science::programming languages 21 Treffer
- programming languages (cs.pl) 21 Treffer
- algebra 20 Treffer
- algorithm 20 Treffer
- artificial intelligence 20 Treffer
- general computer science 20 Treffer
- semantics (computer science) 20 Treffer
- soundness 20 Treffer
- axiom 18 Treffer
- computational theory and mathematics 18 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 17 Treffer
- [info]computer science [cs] 15 Treffer
- 0501 psychology and cognitive sciences 15 Treffer
- 050101 languages & linguistics 15 Treffer
- certification 15 Treffer
Verlag
- hal ccsd 97 Treffer
- springer international publishing 50 Treffer
- acm 25 Treffer
- ieee 15 Treffer
- springer berlin heidelberg 13 Treffer
-
32 weitere Werte:
- springer science and business media llc 10 Treffer
- elsevier bv 7 Treffer
- arxiv 6 Treffer
- association for computing machinery (acm) 4 Treffer
- episciences.org 3 Treffer
- institute of electrical and electronics engineers (ieee) 3 Treffer
- springer 3 Treffer
- cambridge university press (cup) 2 Treffer
- igi global 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- aarhus university library 1 Treffer
- acm press 1 Treffer
- association for computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- easychair 1 Treffer
- elsevier b.v. 1 Treffer
- hindawi 1 Treffer
- hindawi limited 1 Treffer
- ios press 1 Treffer
- ksi research inc. and knowledge systems institute graduate school 1 Treffer
- lavoisier 1 Treffer
- mdpi ag 1 Treffer
- open publishing association 1 Treffer
- oxford university press (oup) 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- springer london 1 Treffer
- springer netherlands 1 Treffer
- the authors. published by elsevier b.v. 1 Treffer
- totem publisher, inc. 1 Treffer
- walter de gruyter gmbh 1 Treffer
- wiley 1 Treffer
Publikation
- journal of automated reasoning 8 Treffer
- annals of mathematics and artificial intelligence 3 Treffer
- mathematical structures in computer science 3 Treffer
- theoretical computer science 3 Treffer
- electronic notes in theoretical computer science 2 Treffer
-
45 weitere Werte:
- electronic proceedings in theoretical computer science 2 Treffer
- ieee access 2 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 2 Treffer
- proceedings of the 27th acm symposium on operating systems principles 2 Treffer
- proceedings of the acm on programming languages 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 1 Treffer
- 2019 chinese control conference (ccc) 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 security and privacy workshops (spw) 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- applied sciences 1 Treffer
- complexity 1 Treffer
- computational geometry 1 Treffer
- computers & security 1 Treffer
- epic series in computing 1 Treffer
- formalized mathematics 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- international conferences on software engineering and knowledge engineering 1 Treffer
- international journal of performability engineering 1 Treffer
- journal of systems and software 1 Treffer
- logic journal of the igpl 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the 2006 acm symposium on applied computing 1 Treffer
- proceedings of the 2009 acm symposium on applied computing 1 Treffer
- proceedings of the 2017 acm international conference on management of data 1 Treffer
- proceedings of the 20th international symposium on principles and practice of declarative programming 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 1 Treffer
- proceedings of the 5th acm sigplan conference on certified programs and proofs 1 Treffer
- proceedings of the 6th acm sigplan conference on certified programs and proofs 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- proceedings of the genetic and evolutionary computation conference companion 1 Treffer
- science of computer programming 1 Treffer
- software: practice and experience 1 Treffer
- techniques et sciences informatiques 1 Treffer
- theory of computing systems 1 Treffer
Sprache
290 Treffer
-
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: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Logic Journal of the IGPL, 2020-06-25Online unknownZugriff:
-
2020Online unknownZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019-08-08Online unknownZugriff: