Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 582 Treffer
- 020204 information systems 313 Treffer
- software 264 Treffer
- business 256 Treffer
- business.industry 256 Treffer
-
45 weitere Werte:
- computer.programming_language 226 Treffer
- media_common 200 Treffer
- media_common.quotation_subject 200 Treffer
- 020201 artificial intelligence & image processing 192 Treffer
- software bug 154 Treffer
- debugging 129 Treffer
- 01 natural sciences 121 Treffer
- code (cryptography) 121 Treffer
- compiler 98 Treffer
- java 95 Treffer
- correctness 92 Treffer
- 0102 computer and information sciences 76 Treffer
- 010201 computation theory & mathematics 76 Treffer
- source code 70 Treffer
- theoretical computer science 65 Treffer
- symbolic execution 63 Treffer
- concurrency 61 Treffer
- fos: computer and information sciences 61 Treffer
- static analysis 60 Treffer
- semantics (computer science) 59 Treffer
- software engineering 54 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 53 Treffer
- set (abstract data type) 49 Treffer
- computer graphics and computer-aided design 47 Treffer
- 05 social sciences 43 Treffer
- program analysis 42 Treffer
- test case 41 Treffer
- formal verification 40 Treffer
- model checking 40 Treffer
- fuzz testing 37 Treffer
- software development 37 Treffer
- javascript 36 Treffer
- 020202 computer hardware & architecture 35 Treffer
- software_softwareengineering 35 Treffer
- code refactoring 34 Treffer
- 020206 networking & telecommunications 33 Treffer
- computer science - programming languages 33 Treffer
- implementation 33 Treffer
- programming languages (cs.pl) 33 Treffer
- 0103 physical sciences 32 Treffer
- computer science - software engineering 32 Treffer
- software engineering (cs.se) 32 Treffer
- 010302 applied physics 30 Treffer
- artificial intelligence 30 Treffer
- code coverage 30 Treffer
Verlag
- acm 188 Treffer
- ieee 144 Treffer
- springer international publishing 55 Treffer
- association for computing machinery (acm) 45 Treffer
- hal ccsd 42 Treffer
-
45 weitere Werte:
- elsevier bv 22 Treffer
- arxiv 17 Treffer
- springer berlin heidelberg 17 Treffer
- springer science and business media llc 15 Treffer
- institute of electrical and electronics engineers (ieee) 12 Treffer
- association for computing machinery 5 Treffer
- pleiades publishing ltd 5 Treffer
- springer 5 Treffer
- zenodo 5 Treffer
- facultad de informatica (upm) 4 Treffer
- wiley 4 Treffer
- world scientific pub co pte lt 4 Treffer
- cambridge university press (cup) 3 Treffer
- acm press 2 Treffer
- assoc computing machinery 2 Treffer
- association for the advancement of artificial intelligence (aaai) 2 Treffer
- e.t.s. de ingenieros informaticos (upm) 2 Treffer
- elsevier b.v. 2 Treffer
- institute of electronics, information and communications engineers (ieice) 2 Treffer
- science publications 2 Treffer
- springer verlag 2 Treffer
- aperta 1 Treffer
- apollo - university of cambridge repository 1 Treffer
- atlantis press 1 Treffer
- eth zurich 1 Treffer
- hindawi limited 1 Treffer
- ieee comput. soc 1 Treffer
- ieee computer soc 1 Treffer
- ieee computer society 1 Treffer
- indian society for education and environment 1 Treffer
- institute of advanced engineering and science 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- internet society 1 Treffer
- ksi research inc. and knowledge systems institute graduate school 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- new york : acm 1 Treffer
- open publishing association 1 Treffer
- published by elsevier inc. 1 Treffer
- research publishing services 1 Treffer
- scientific research publishing, inc. 1 Treffer
- scitepress - science and technology publications 1 Treffer
- springer netherlands 1 Treffer
- springer us 1 Treffer
- springer-verlag 1 Treffer
- taru publications 1 Treffer
Publikation
- acm sigplan notices 14 Treffer
- proceedings of the acm on programming languages 12 Treffer
- proceedings of the 35th ieee/acm international conference on automated software engineering 8 Treffer
- proceedings of the 38th international conference on software engineering 8 Treffer
- proceedings of the 2016 24th acm sigsoft international symposium on foundations of software engineering 7 Treffer
-
45 weitere Werte:
- proceedings of the 31st ieee/acm international conference on automated software engineering 7 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 6 Treffer
- ieee transactions on software engineering 6 Treffer
- 2017 ieee/acm 39th international conference on software engineering (icse) 5 Treffer
- electronic notes in theoretical computer science 5 Treffer
- proceedings of the 2017 11th joint meeting on foundations of software engineering 5 Treffer
- proceedings of the 2019 27th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 5 Treffer
- proceedings of the 28th acm sigsoft international symposium on software testing and analysis 5 Treffer
- programming and computer software 5 Treffer
- 2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner) 4 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 4 Treffer
- 2017 ieee international conference on software testing, verification and validation (icst) 4 Treffer
- 2019 34th ieee/acm international conference on automated software engineering (ase) 4 Treffer
- communications of the acm 4 Treffer
- empirical software engineering 4 Treffer
- information and software technology 4 Treffer
- international journal of software engineering and knowledge engineering 4 Treffer
- journal of systems and software 4 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 4 Treffer
- proceedings of the 41st acm sigplan conference on programming language design and implementation 4 Treffer
- science of computer programming 4 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 3 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse) 3 Treffer
- acm sigsoft software engineering notes 3 Treffer
- journal of functional programming 3 Treffer
- journal of logical and algebraic methods in programming 3 Treffer
- proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 3 Treffer
- proceedings of the 33rd acm/ieee international conference on automated software engineering 3 Treffer
- science china information sciences 3 Treffer
- software testing, verification and reliability 3 Treffer
- 2016 ieee 24th international conference on program comprehension (icpc) 2 Treffer
- 2016 ieee 5th global conference on consumer electronics 2 Treffer
- 2016 ieee international conference on software maintenance and evolution (icsme) 2 Treffer
- 2017 24th asia-pacific software engineering conference (apsec) 2 Treffer
- 2017 ieee international conference on software maintenance and evolution (icsme) 2 Treffer
- 2019 12th ieee conference on software testing, validation and verification (icst) 2 Treffer
- 2019 ieee 26th international conference on software analysis, evolution and reengineering (saner) 2 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 2 Treffer
- 2019 ieee/acm 27th international conference on program comprehension (icpc) 2 Treffer
- 2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion) 2 Treffer
- acm sigarch computer architecture news 2 Treffer
- companion proceedings of the 2016 acm sigplan international conference on systems, programming, languages and applications: software for humanity 2 Treffer
- ieee access 2 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 2 Treffer
- journal of automated reasoning 2 Treffer
Sprache
689 Treffer
-
In: 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2021-02-27Online unknownZugriff:
-
In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020-12-21Online unknownZugriff:
-
In: 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), 2020-10-01Online unknownZugriff:
-
In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020Online unknownZugriff:
-
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, 2020Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 30 (2020-11-01), S. 1779-1800Online unknownZugriff:
-
In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2019-09-01Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 27 (2017-11-01), S. 1507-1527Online unknownZugriff:
-
In: Programming and Computer Software, Jg. 46 (2020-12-01), S. 731-736Online unknownZugriff:
-
In: 2018 Joint 7th International Conference on Informatics, Electronics & Vision (ICIEV) and 2018 2nd International Conference on Imaging, 2018-06-01Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 43 (2017-02-01), S. 128-144Online unknownZugriff:
-
In: 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC), 2019-05-01Online unknownZugriff:
-
In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019-05-01Online unknownZugriff:
-
In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019-04-01Online unknownZugriff:
-
In: 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019-02-01Online unknownZugriff:
-
In: 2018 IEEE International Conference on Progress in Informatics and Computing (PIC), 2018-12-01Online unknownZugriff:
-
In: ACM Transactions on Storage, Jg. 16 (2020-05-18), S. 1-35Online unknownZugriff:
-
In: Programming and Computer Software, Jg. 45 (2019-12-01), S. 365-371Online unknownZugriff: