Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
|---|---|
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Association for Computing Machinery (ACM),
11/9/18
|
| Θέματα: | |
| Διαθέσιμο Online: | Full text available on Research4Life (ACM) |
Παρόμοια τεκμήρια
Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics
Proceedings of the 1st ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering
Proceedings of the 1st International Workshop on Real World Domain Specific Languages
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing
Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems
Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software
Proceedings of the 1st ACM SIGSOFT International Workshop on Languages and Tools for Next-Generation Testing
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs
Proceedings of the First International Workshop on Model Inference In Testing
The Foundations of Scientific Inference
από: Salmon
από: Salmon
Probability and statistical inference.
από: Hogg, Robert V.
Έκδοση: (2006)
από: Hogg, Robert V.
Έκδοση: (2006)
Proceedings of the ACM Conference on Health, Inference, and Learning
Proceedings of the 2009 Workshop on Applied Textual Inference
Proceedings of the 1st International Workshop on Automated Incident Management in Cloud
Proceedings of the 1st ACM SIGSOFT International Workshop on Representation Learning for Software Engineering and Program Languages
Proceedings of the 1st workshop on Automated control for datacenters and clouds
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
Proceedings of the TextInfer 2011 Workshop on Textual Entailment
Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
Proceedings of the Conference on Health, Inference, and Learning
Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test
Bayesian Inference for Inverse Problems
Statistical Inference for Stochastic Processes
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Proceedings of the International Workshop on Domain-Specific Modeling
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Proceedings of the Workshop on Domain-Specific Modeling
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation