Search results for: PROGRAM ATP
Displayed results came from alternative search method.
Filters
total: 4356
filtered: 12
-
Catalog
- Publications 2519 available results
- Journals 27 available results
- Conferences 12 available results
- Publishing Houses 1 available results
- People 333 available results
- Inventions 5 available results
- Projects 29 available results
- Laboratories 5 available results
- Research Teams 6 available results
- Research Equipment 3 available results
- e-Learning Courses 436 available results
- Events 257 available results
- Open Research Data 723 available results
Chosen catalog filters
Search results for: PROGRAM ATP
-
Program Visualization Workshop
Conferences -
Mathematics of Program Construction
Conferences -
Pattern Languages of Programs
Conferences -
IEEE International Conference on Program Comprehension
Conferences -
Symposium on Programs as Data Objects
Conferences -
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Conferences -
International Symposium on Logic-based Program Synthesis and Transformation
Conferences -
European Conference on Pattern Languages of Programs
Conferences -
Australasian Conference on Pattern Languages of Programs
Conferences -
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
ACM SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Conferences -
Reflection, AOP and Meta-Data for Software Evolution
Conferences