Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 105 Treffer
- computer 103 Treffer
- computer.software_genre 91 Treffer
- programming language 75 Treffer
- proof assistant 63 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 62 Treffer
- 01 natural sciences 59 Treffer
- software 59 Treffer
- 0102 computer and information sciences 53 Treffer
- 010201 computation theory & mathematics 53 Treffer
- 020204 information systems 47 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 47 Treffer
- correctness 36 Treffer
- mathematical proof 35 Treffer
- theoretical computer science 32 Treffer
- formal verification 31 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 31 Treffer
- computer.programming_language 29 Treffer
- software engineering 27 Treffer
- modular design 26 Treffer
- fos: computer and information sciences 23 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 20 Treffer
- soundness 20 Treffer
- automated theorem proving 18 Treffer
- automation 18 Treffer
- coq 17 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 16 Treffer
- certification 16 Treffer
- 020206 networking & telecommunications 15 Treffer
- formal methods 14 Treffer
- 020202 computer hardware & architecture 13 Treffer
- artificial intelligence 13 Treffer
- computer science - programming languages 13 Treffer
- cryptography 13 Treffer
- programming languages (cs.pl) 13 Treffer
- separation logic 13 Treffer
- distributed computing 12 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 11 Treffer
- 05 social sciences 11 Treffer
- semantics (computer science) 11 Treffer
- [info]computer science [cs] 10 Treffer
- algorithm 10 Treffer
- compiler 10 Treffer
- general computer science 10 Treffer
- media_common 10 Treffer
- media_common.quotation_subject 10 Treffer
- [info.info-es]computer science [cs]/embedded systems 9 Treffer
- computer science - logic in computer science 9 Treffer
- concurrency 9 Treffer
- embedded system 9 Treffer
Verlag
- hal ccsd 43 Treffer
- acm 24 Treffer
- springer international publishing 24 Treffer
- ieee 12 Treffer
- association for computing machinery (acm) 10 Treffer
-
24 weitere Werte:
- arxiv 6 Treffer
- springer berlin heidelberg 6 Treffer
- elsevier bv 4 Treffer
- institute of electrical and electronics engineers (ieee) 2 Treffer
- springer science and business media llc 2 Treffer
- acm press 1 Treffer
- association for computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- cambridge university press (cup) 1 Treffer
- emerald 1 Treffer
- episciences.org 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
- mdpi ag 1 Treffer
- morressier 1 Treffer
- open publishing association 1 Treffer
- published by elsevier b.v. 1 Treffer
- springer 1 Treffer
- springer london 1 Treffer
- totem publisher, inc. 1 Treffer
- wiley 1 Treffer
Publikation
- proceedings of the acm on programming languages 6 Treffer
- acm sigplan notices 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 2 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 2 Treffer
-
40 weitere Werte:
- 2015 ieee symposium on security and privacy 1 Treffer
- 2016 17th international workshop on microprocessor and soc test and verification (mtv) 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 1 Treffer
- 2018 international joint conference on neural networks (ijcnn) 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2020 ieee congress on evolutionary computation (cec) 1 Treffer
- 2020 ieee/acs 17th international conference on computer systems and applications (aiccsa) 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- applied sciences 1 Treffer
- communications of the acm 1 Treffer
- computers & security 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- engineering, construction and architectural management 1 Treffer
- human-centric computing and information sciences 1 Treffer
- ieee access 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- international journal of industrial and systems engineering 1 Treffer
- international journal of performability engineering 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of functional programming 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- proceedings of the 2014 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 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 symposium on operating systems principles 1 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 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 9th acm sigplan international conference on certified programs and proofs 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- proceedings of the acm/ieee 42nd international conference on software engineering: companion proceedings 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
- theory of computing systems 1 Treffer
- web intelligence 1 Treffer
- wireless communications and mobile computing 1 Treffer
Sprache
167 Treffer
-
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: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01Online 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: Science of Computer Programming, Jg. 201 (2021), S. 102537-102537Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: 2018 International Conference on High Performance Computing & Simulation (HPCS), 2018-07-01Online unknownZugriff: