Proceedings of the 7th International Workshop on Satisfiability Modulo Theories

Proceedings of the 7th International Workshop on Satisfiability Modulo Theories

書誌詳細
フォーマット:	電子媒体図書
言語:	English
出版事項:	Association for Computing Machinery (ACM), 8/2/09
主題:	Conference papers and proceedings.
オンライン･アクセス:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

類似資料

Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning

Satisfied employees will lead to satisfied customer
著者:: Karim, Rafiul
出版事項: (2014)

Theory and Applications of Satisfiability Testing â€" SAT 2013
出版事項: (2013)

Journal on Satisfiability, Boolean Modelling and Computation

Journal on Satisfiability, Boolean Modelling and Computation

Importance of quality assurance in real estate to satisfy the customers of Climax Holdings Limited
著者:: Jahan, Samiah
出版事項: (2024)

Why patients go for Aclasta reinfusion? : are they really satisfied with Aclasta or are they compelled to take it ?
著者:: Rahman, Mousumi
出版事項: (2013)

Competitive analysis in the express industry of Bangladesh: whether existing service features are satisfying customers or not
著者:: Chowdhury, Shaiyaz
出版事項: (2014)

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 Software and performance

Proceedings of the 7th International Workshop on Ranking in Databases

Proceedings of the 7th International Workshop on Software Mining

Proceedings of the 7th Design Automation Workshop

Proceedings of the 7th European Lisp Workshop

Proceedings of the 7th workshop on Multimedia and security

Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance

Proceedings of the 7th International Workshop on Automation of Software Test

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 Social Software Engineering

Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice

Proceedings of the 7th workshop on Reflective and adaptive middleware

Proceedings of the 7th Workshop on Ph.D Students

Proceedings of the 7th Workshop on Dynamic Languages and Applications

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG

Proceedings of the 7th Asia-Pacific Workshop on Networking

Proceedings of the 7th Workshop on Models@run.time

Proceedings of the 7th Workshop on Geographic Information Retrieval

Proceedings of the 7th Workshop on Asian Language Resources

Proceedings of the 7th International Workshop on Social Media World Sensors

Proceedings of the 7th International Workshop on Multimedia Assisted Dietary Management

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 SIGSPATIAL International Workshop on GeoStreaming

Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics

Proceedings of the 7th International Workshop on Data-Intensive Computing in the Cloud

Proceedings of the 7th International Workshop on Historical Document Imaging and Processing

Proceedings of the 7th international workshop on Virtualization technologies in distributed computing