Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 218 Treffer
- computer 149 Treffer
- software 133 Treffer
- 020201 artificial intelligence & image processing 127 Treffer
- computer.software_genre 124 Treffer
-
45 weitere Werte:
- business 104 Treffer
- business.industry 103 Treffer
- 020204 information systems 98 Treffer
- media_common 66 Treffer
- media_common.quotation_subject 66 Treffer
- programming language 65 Treffer
- software bug 60 Treffer
- 01 natural sciences 54 Treffer
- computational theory and mathematics 44 Treffer
- hardware and architecture 42 Treffer
- computer.programming_language 39 Treffer
- 0102 computer and information sciences 37 Treffer
- 010201 computation theory & mathematics 37 Treffer
- concurrency 35 Treffer
- artificial intelligence 34 Treffer
- debugging 33 Treffer
- general computer science 31 Treffer
- code (cryptography) 29 Treffer
- correctness 29 Treffer
- fos: computer and information sciences 29 Treffer
- 020202 computer hardware & architecture 28 Treffer
- computer science applications 27 Treffer
- model checking 26 Treffer
- source code 26 Treffer
- data mining 24 Treffer
- 020206 networking & telecommunications 20 Treffer
- information systems 20 Treffer
- scalability 20 Treffer
- symbolic execution 20 Treffer
- set (abstract data type) 19 Treffer
- semantics (computer science) 18 Treffer
- 0103 physical sciences 16 Treffer
- bounded function 16 Treffer
- fuzz testing 16 Treffer
- java 16 Treffer
- state (computer science) 16 Treffer
- static analysis 16 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 16 Treffer
- 010302 applied physics 15 Treffer
- distributed computing 15 Treffer
- program analysis 15 Treffer
- test case 15 Treffer
- software system 14 Treffer
- thread (computing) 14 Treffer
- algorithm 13 Treffer
Verlag
- acm 49 Treffer
- springer science and business media llc 42 Treffer
- ieee 33 Treffer
- association for computing machinery (acm) 22 Treffer
- elsevier bv 22 Treffer
-
29 weitere Werte:
- springer international publishing 22 Treffer
- hal ccsd 16 Treffer
- institute of electrical and electronics engineers (ieee) 15 Treffer
- springer 7 Treffer
- arxiv 6 Treffer
- springer berlin heidelberg 4 Treffer
- wiley 4 Treffer
- inderscience publishers 3 Treffer
- cambridge university press (cup) 2 Treffer
- elsevier b.v. 2 Treffer
- mdpi ag 2 Treffer
- open publishing association 2 Treffer
- scitepress - science and technology publications 2 Treffer
- university of szeged 2 Treffer
- assoc computing machinery 1 Treffer
- association for computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- bmc 1 Treffer
- cambridge university press 1 Treffer
- fuji technology press ltd. 1 Treffer
- gesellschaft fur informatik e.v. 1 Treffer
- ieee comput. soc 1 Treffer
- institute of electrical and electronics engineers inc. 1 Treffer
- new york : acm 1 Treffer
- published by elsevier inc. 1 Treffer
- springer verlag 1 Treffer
- springer-verlag 1 Treffer
- university of twente 1 Treffer
- world scientific pub co pte lt 1 Treffer
Publikation
- journal of computer science and technology 11 Treffer
- proceedings of the acm on programming languages 7 Treffer
- acm computing surveys 6 Treffer
- frontiers of computer science 6 Treffer
- electronic notes in theoretical computer science 5 Treffer
-
45 weitere Werte:
- soft computing 5 Treffer
- ieee transactions on computers 4 Treffer
- information sciences 4 Treffer
- international journal of parallel programming 4 Treffer
- the journal of supercomputing 4 Treffer
- concurrency and computation: practice and experience 3 Treffer
- empirical software engineering 3 Treffer
- formal methods in system design 3 Treffer
- ieee access 3 Treffer
- ieee transactions on software engineering 3 Treffer
- journal of logical and algebraic methods in programming 3 Treffer
- journal of systems and software 3 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 3 Treffer
- 2017 ieee/acm 39th international conference on software engineering (icse) 2 Treffer
- acta cybernetica 2 Treffer
- computing 2 Treffer
- ieee computational intelligence magazine 2 Treffer
- international journal of bio-inspired computation 2 Treffer
- parallel computing 2 Treffer
- philosophical transactions. series a, mathematical, physical, and engineering sciences 2 Treffer
- proceedings of the 2016 acm sigplan international conference on object-oriented programming, systems, languages, and applications 2 Treffer
- proceedings of the 2017 11th joint meeting on foundations of software engineering 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 28th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 2 Treffer
- proceedings of the 35th ieee/acm international conference on automated software engineering 2 Treffer
- proceedings of the 38th international conference on software engineering 2 Treffer
- science of computer programming 2 Treffer
- 2016 23rd asia-pacific software engineering conference (apsec) 1 Treffer
- 2016 ieee 25th asian test symposium (ats) 1 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 1 Treffer
- 2016 ieee international conference on software quality, reliability and security companion (qrs-c) 1 Treffer
- 2016 ieee security and privacy workshops (spw) 1 Treffer
- 2016 progress in electromagnetic research symposium (piers) 1 Treffer
- 2017 18th international symposium on quality electronic design (isqed) 1 Treffer
- 2017 47th annual ieee/ifip international conference on dependable systems and networks (dsn) 1 Treffer
- 2017 ieee 29th international conference on tools with artificial intelligence (ictai) 1 Treffer
- 2017 ieee 2nd advanced information technology, electronic and automation control conference (iaeac) 1 Treffer
- 2017 ieee 37th international conference on distributed computing systems (icdcs) 1 Treffer
- 2017 ieee computer society annual symposium on vlsi (isvlsi) 1 Treffer
- 2017 ieee international conference on computer design (iccd) 1 Treffer
- 2017 ieee international conference on software testing, verification and validation (icst) 1 Treffer
- 2017 ieee symposium on security and privacy (sp) 1 Treffer
- 2018 ieee 18th international working conference on source code analysis and manipulation (scam) 1 Treffer
- 2018 ieee 30th international conference on tools with artificial intelligence (ictai) 1 Treffer
- 2019 ieee symposium on security and privacy (sp) 1 Treffer
Sprache
301 Treffer
-
In: IEEE Transactions on Software Engineering, Jg. 47 (2021-02-01), S. 348-366Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 45 (2019-03-01), S. 301-318Online unknownZugriff:
-
In: IEEE Transactions on Computers, Jg. 68 (2019-02-01), S. 182-197Online unknownZugriff:
-
In: Soft Computing, Jg. 25 (2021-03-19), S. 7307-7323Online unknownZugriff:
-
In: Journal of Computer Science and Technology, Jg. 35 (2020-09-30), S. 979-998Online unknownZugriff:
-
In: Journal of Computer Science and Technology, Jg. 32 (2017), S. 181-198Online unknownZugriff:
-
In: IEEE Transactions on Computers, Jg. 65 (2016-10-01), S. 3083-3095Online unknownZugriff:
-
In: 2019 IEEE Symposium on Security and Privacy (SP), 2019-05-01Online unknownZugriff:
-
In: International Journal of Parallel Programming, Jg. 48 (2020-05-25), S. 1032-1060Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: Proceedings of the AAAI Conference on Artificial Intelligence, Jg. 34 (2020-04-03), S. 4223-4230Online unknownZugriff:
-
In: International Journal of Parallel Programming, Jg. 48 (2019-09-12), S. 32-60Online unknownZugriff:
-
In: Journal of Computer Science and Technology, Jg. 34 (2019-09-01), S. 942-956Online unknownZugriff:
-
In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020-09-01Online unknownZugriff:
-
In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021Online unknownZugriff:
-
In: Frontiers of Computer Science, Jg. 13 (2019-04-01), S. 247-263Online unknownZugriff:
-
In: 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2016-08-01Online unknownZugriff:
-
In: Proceedings of the 35th International Conference on Computer-Aided Design, 2016-11-07Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 277 (2018-09-07), S. 118-132Online unknownZugriff: