Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
| Format: | Electronisk eBog |
|---|---|
| Sprog: | engelsk |
| Udgivet: |
Association for Computing Machinery (ACM),
8/2/09
|
| Fag: | |
| Online adgang: | Full text available on Research4Life (ACM) |
Lignende værker
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
Journal on Satisfiability, Boolean Modelling and Computation
Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance
Proceedings of the 7th International Workshop on Metamorphic Testing
Proceedings of the 7th International Workshop on Software Clones
Proceedings of the 7th International Workshop on Ranking in Databases
Proceedings of the 7th International Workshop on Software Mining
Proceedings of the 7th international workshop on Software and performance
Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Proceedings of the 7th European Lisp Workshop
Proceedings of the 7th Design Automation Workshop
Proceedings of the 7th workshop on Multimedia and security
Theory of Leisure Class, chap 7
Theory of Leisure Class, chap 7
Proceedings of the 7th international workshop on Software specification and design
Proceedings of the 7th ACM International Workshop on Mobile Video
Proceedings of the 7th International Workshop on Automation of Software Test
Proceedings of the 7th International Workshop on Social Software Engineering
Proceedings of the 14th International Workshop on the Theory and Practice of Provenance
Proceedings of the 7th Workshop on Ph.D Students
Proceedings of the 7th Workshop on Models@run.time
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Proceedings of the 7th Workshop on Geographic Information Retrieval
Proceedings of the 7th Workshop on Asian Language Resources
Proceedings of the 7th workshop on Reflective and adaptive middleware
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Proceedings of the 7th Asia-Pacific Workshop on Networking
Proceedings of the 7th international workshop on Virtualization technologies in distributed computing
Proceedings of the 7th ACM SIGSPATIAL International Workshop on GeoStreaming
Proceedings of the 7th International Workshop on Feature-Oriented Software Development
Proceedings of the 7th International Workshop on Social Media World Sensors
Proceedings of the 7th International Workshop on Data-Intensive Computing in the Cloud
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Proceedings of the 7th International Workshop on Search-Based Software Testing
Proceedings of the 7th ACM International Workshop on Context-Oriented Programming
Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics
Proceedings of the 7th International Workshop on Multimedia Assisted Dietary Management
Proceedings of the 7th ACM SIGSPATIAL International Workshop on Geospatial Humanities
Proceedings of the 7th International Workshop on Historical Document Imaging and Processing