Search results for: PR
Filters
total: 9928
filtered: 210
-
Catalog
- Publications 3675 available results
- Journals 1204 available results
- Conferences 210 available results
- Publishing Houses 152 available results
- People 157 available results
- Inventions 98 available results
- Projects 213 available results
- Laboratories 6 available results
- Research Teams 75 available results
- Research Equipment 17 available results
- e-Learning Courses 952 available results
- Events 171 available results
- Open Research Data 2998 available results
Chosen catalog filters
Search results for: PR
-
ProjMAN - International Conference on Project MANagement
Conferences -
Principles and Practice of Parallel Programming
Conferences -
International Conference on Managed Programming Languages and Runtimes (was ManLang and previously Principles and Practice of Programming in Java: PPPJ)
Conferences -
Practical Aspects of PROLOG/Constraint Technology
Conferences -
International Conference on Principles and Practice of Constraint Programming
Conferences -
International Conference on Principles and Practice of Declarative Programming
Conferences -
International Conference on Software and System Processes (International Conference of Software and Systems Process (was ICSP prior to 2011))
Conferences -
Product Focused Software Process Improvement
Conferences -
International Conference on Internet Monitoring and Protection (International Conference on Internet Monitoring and Protocol)
Conferences -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Conferences -
Annual International Workshop on Presence (Annual International Workshop on Presence [PRESENCE])
Conferences -
Joint Conference on Declarative Programming APPIA-GULP-PRODE
Conferences -
Prague Stringology Conference
Conferences -
International Conference on Principles of Practice in Multi-Agent Systems
Conferences -
ACM-SIGACT Symposium on Principles of Programming Languages
Conferences -
International Conference on Tests and Proofs
Conferences -
International Conference on Provable Security
Conferences -
IEEE International Symposium on Rapid System Prototyping (IEEE Symposium on Rapid Prototyping)
Conferences -
EMAS (merger of DALT, AOSE and PROMAS)
Conferences -
Parallel Problem Solving from Nature
Conferences -
Pattern Languages of Programs
Conferences -
Workshop on Probabilistic Graph Theory
Conferences -
Program Visualization Workshop
Conferences -
Mathematics of Program Construction
Conferences -
International Conference on Apps for Specific Array Processors
Conferences -
International Conference on Probability, Statistics and Operational Research
Conferences -
Journal of Computing Science in Colleges (Conference proceedings)
Conferences -
Techniques and Problems in Graph Theory
Conferences -
Software Product Lines Conference
Conferences -
Symposium on Programs as Data Objects
Conferences -
International Conference on Network Protocols
Conferences -
International Workshop on Security Protocols
Conferences -
Practices of Linking Aspect Technology and Evolution
Conferences -
Workshop in Information Security Theory and Practices
Conferences -
IEEE Symposium on Field Programmable Custom Computing Machines
Conferences -
Practical Aspects of Declarative Languages
Conferences -
International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems
Conferences -
International Workshops on First-Order Theorem Proving
Conferences -
Symposium On Combinatorics, Algorithms, Probabilistic and Experimental Methodologies
Conferences -
Summer School on Modelling and Verification of Parallel Processes
Conferences -
Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM and Mensura combined from 2007)
Conferences -
Visualization in Software Product Lines Workshop
Conferences -
European Conference on Pattern Languages of Programs
Conferences -
International Workshop on Software Product Management
Conferences -
Australasian Conference on Pattern Languages of Programs
Conferences -
Colloquium on Mathematics and Computer Science: Algorithms, Trees, Combinatorics and Probabilities
Conferences -
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
IEEE International Conference on Program Comprehension
Conferences -
Practical Applications of Agents and Multiagent Systems
Conferences -
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (PKDD and ECML combined from 2008)
Conferences