Որոնման արդյունքները - "program analysis"
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
- Computer science 14
- Algorithms & data structures 10
- Software Engineering 10
- Artificial intelligence 8
- Computer networking & communications 8
- Computer programming / software development 8
- Systems analysis & design 8
- Mathematical theory of computation 6
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Coding theory & cryptology 2
- Computing & information technology 2
- Discrete mathematics 2
- Natural language & machine translation 2
- Programming & scripting languages: general 2
-
1
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2022Խորագրեր: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
2
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Հրապարակվել է 2022Խորագրեր: “…program analysis,…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
3
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Հրապարակվել է 2022Խորագրեր: “…program analysis,…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
4
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2022Խորագրեր: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
5
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Հրապարակվել է 2022Խորագրեր: “…program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
6
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Հրապարակվել է 2022Խորագրեր: “…program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
7
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2021Խորագրեր: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
8
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2021Խորագրեր: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
9
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2021Խորագրեր: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
10
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2021Խորագրեր: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
11
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Հրապարակվել է 2021Խորագրեր: “…program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
12
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Հրապարակվել է 2021Խորագրեր: “…program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
13
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2020Խորագրեր: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
14
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2020Խորագրեր: “…static and dynamic program analysis…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
15
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2020Խորագրեր: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
16
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Հրապարակվել է 2020Խորագրեր: “…static and dynamic program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ -
17
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Հրապարակվել է 2020Խորագրեր: “…program analysis, correctness, transformation, and verification…”
DOAB: download the publication
DOAB: description of the publication
Էլեկտրոնային Գրքի գլուխ -
18
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Հրապարակվել է 2020Խորագրեր: “…program analysis, correctness, transformation, and verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Էլեկտրոնային Գրքի գլուխ