Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- stpa 6 Treffer
- stp 4 Treffer
- safety analysis 3 Treffer
- safety verification 3 Treffer
- stamp 3 Treffer
-
45 weitere Werte:
- wireless networks 3 Treffer
- agile development 2 Treffer
- concurrent kernels 2 Treffer
- constraint solving 2 Treffer
- controlled experiment 2 Treffer
- cuda 2 Treffer
- dynamic analysis 2 Treffer
- gpgpu 2 Treffer
- incentive compatibility 2 Treffer
- market design 2 Treffer
- petri net 2 Treffer
- ridesharing 2 Treffer
- spanning tree 2 Treffer
- spatio-temporal 2 Treffer
- symbolic execution 2 Treffer
- system safety 2 Treffer
- verification 2 Treffer
- 802.11 1 Treffer
- ad hoc networks 1 Treffer
- adaptive 1 Treffer
- aerial refueling 1 Treffer
- agile methods 1 Treffer
- application-specific hardware 1 Treffer
- approximation algorithm 1 Treffer
- approximation algorithms 1 Treffer
- artificial intelligence 1 Treffer
- attack generation 1 Treffer
- attack graphs 1 Treffer
- automatic reasoning 1 Treffer
- automation 1 Treffer
- binary 1 Treffer
- biostatistics 1 Treffer
- blast 1 Treffer
- bug finding 1 Treffer
- cache management 1 Treffer
- clinical records 1 Treffer
- combinatorial optimisation 1 Treffer
- command-and-control 1 Treffer
- complex systems 1 Treffer
- component interaction 1 Treffer
- composite web services 1 Treffer
- computational geometry 1 Treffer
- computer architectures 1 Treffer
- concolic testing 1 Treffer
- constraint propagation 1 Treffer
Publikation
- proceedings of the 29th acm international conference on information & knowledge management 2 Treffer
- 2021 4th international conference on algorithms, computing and artificial intelligence 1 Treffer
- 26th acm symposium on virtual reality software and technology 1 Treffer
- acm sigarch computer architecture news - special issue on interaction between compilers and computer architectures 1 Treffer
- acm sigecom exchanges 1 Treffer
-
45 weitere Werte:
- acm sigmicro newsletter 1 Treffer
- acm sigmod record 1 Treffer
- acm sigsoft software engineering notes 1 Treffer
- acm transactions on architecture and code optimization (taco) 1 Treffer
- acm transactions on information systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- eighteenth national conference on artificial intelligence 1 Treffer
- proceedings of the 12th international conference on ubiquitous information management and communication 1 Treffer
- proceedings of the 13th acm conference on computer and communications security 1 Treffer
- proceedings of the 13th acm international conference on modeling, analysis, and simulation of wireless and mobile systems 1 Treffer
- proceedings of the 15th acm international conference on modeling, analysis and simulation of wireless and mobile systems 1 Treffer
- proceedings of the 15th acm on international conference on multimodal interaction 1 Treffer
- proceedings of the 16th annual acm siguccs conference on user services 1 Treffer
- proceedings of the 1986 acm conference on computer-supported cooperative work 1 Treffer
- proceedings of the 1990 acm sigsmall/pc symposium on small systems 1 Treffer
- proceedings of the 1994 acm sigsoft international symposium on software testing and analysis 1 Treffer
- proceedings of the 1999 international symposium on symbolic and algebraic computation 1 Treffer
- proceedings of the 19th international conference on agile software development: companion 1 Treffer
- proceedings of the 19th international conference on evaluation and assessment in software engineering 1 Treffer
- proceedings of the 1st acm international conference on multimedia information retrieval 1 Treffer
- proceedings of the 2002 acm sigsoft international symposium on software testing and analysis 1 Treffer
- proceedings of the 2006 international conference on wireless communications and mobile computing 1 Treffer
- proceedings of the 2012 acm conference on high integrity language technology 1 Treffer
- proceedings of the 2016 acm sigcomm conference 1 Treffer
- proceedings of the 2018 acm international conference on bioinformatics, computational biology, and health informatics 1 Treffer
- proceedings of the 2018 vii international conference on network, communication and computing 1 Treffer
- proceedings of the 2019 acm conference on economics and computation 1 Treffer
- proceedings of the 2019 international conference on embedded wireless systems and networks 1 Treffer
- proceedings of the 2020 12th international conference on computer and automation engineering 1 Treffer
- proceedings of the 2020 3rd international conference on e-business, information management and computer science 1 Treffer
- proceedings of the 2020 joint workshop on cps&iot security and privacy 1 Treffer
- proceedings of the 2020 the 2nd world symposium on software engineering 1 Treffer
- proceedings of the 2021 chi conference on human factors in computing systems 1 Treffer
- proceedings of the 23rd international conference on parallel architectures and compilation 1 Treffer
- proceedings of the 27th acm sigspatial international conference on advances in geographic information systems 1 Treffer
- proceedings of the 27th international conference on software engineering 1 Treffer
- proceedings of the 29th annual acm symposium on applied computing 1 Treffer
- proceedings of the 29th annual computer security applications conference 1 Treffer
- proceedings of the 29th international conference on computer graphics and interactive techniques. electronic art and animation catalog. 1 Treffer
- proceedings of the 2nd international conference on networking, information systems & security 1 Treffer
- proceedings of the 2nd international workshop on petascal data analytics: challenges and opportunities 1 Treffer
- proceedings of the 30th acm sigsoft international symposium on software testing and analysis 1 Treffer
- proceedings of the 34th acm international conference on supercomputing 1 Treffer
- proceedings of the 3rd acm sigspatial international workshop on prediction of human mobility 1 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 1 Treffer
Sprache
Inhaltsanbieter
81 Treffer
-
In: 2021 4th International Conference on Algorithms, Computing and Artificial Intelligence, 2021-12-22, S. 1-5Online KonferenzZugriff:
-
In: Proceedings of the 29th ACM International Conference on Information & Knowledge Management, 2020-10-19, S. 1185-1194Online KonferenzZugriff:
-
In: Proceedings of the 29th ACM International Conference on Information & Knowledge Management, 2020-10-19, S. 845-854Online KonferenzZugriff:
-
In: Proceedings of the 2020 The 2nd World Symposium on Software Engineering, 2020-09-25, S. 283-287Online KonferenzZugriff:
-
In: Proceedings of the International Workshop on Continuous Software Evolution and Delivery, 2016-05-14, S. 5-11Online KonferenzZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27, S. 286-287Online KonferenzZugriff:
-
In: Proceedings of the 2nd international workshop on Petascal data analytics: challenges and opportunities, 2011-11-14, S. 29-34Online KonferenzZugriff:
-
In: Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, 1990-02-01, S. 98-105Online KonferenzZugriff:
-
In: Proceedings of the 29th International Conference on Computer Graphics and Interactive Techniques. Electronic Art and Animation Catalog., 2002-07-21, S. 17Online KonferenzZugriff:
-
In: Proceedings of the 2018 VII International Conference on Network, Communication and Computing, 2018-12-14, S. 157-164Online KonferenzZugriff:
-
In: Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019-03-15, S. 194-205Online KonferenzZugriff:
-
In: Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016-09-14, S. 1-4Online KonferenzZugriff:
-
In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015-04-27, S. 1-10Online KonferenzZugriff:
-
In: Proceedings of the 29th Annual Computer Security Applications Conference, 2013-12-09, S. 1-8Online KonferenzZugriff:
-
In: ACM SIGMICRO Newsletter, Jg. 13 (1982-09-01), Heft 3, S. 18-18Online academicJournalZugriff:
-
In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, 2002-07-01, S. 154-158Online KonferenzZugriff:
-
In: Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02, 2012-12-04, S. 33-37Online KonferenzZugriff:
-
In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation, 1999-07-01, S. 283-290Online KonferenzZugriff:
-
In: Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries, 2008-06-16, S. 461Online KonferenzZugriff:
-
In: ACM Transactions on Software Engineering and Methodology, Jg. 33 (2024-06-04), Heft 5, S. 1-39Online academicJournalZugriff: