Proceedings of the 7th International Workshop on Satisfiability Modulo Theories

Proceedings of the 7th International Workshop on Satisfiability Modulo Theories

Podrobná bibliografie
Médium:	Elektronický zdroj Kniha
Jazyk:	English
Vydáno:	Association for Computing Machinery (ACM), 8/2/09
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobné jednotky

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
Autor: Karim, Rafiul
Vydáno: (2014)

Theory and Applications of Satisfiability Testing â€" SAT 2013
Vydáno: (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
Autor: Jahan, Samiah
Vydáno: (2024)

Why patients go for Aclasta reinfusion? : are they really satisfied with Aclasta or are they compelled to take it ?
Autor: Rahman, Mousumi
Vydáno: (2013)

Competitive analysis in the express industry of Bangladesh: whether existing service features are satisfying customers or not
Autor: Chowdhury, Shaiyaz
Vydáno: (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 International Conference on Theory and Practice of Electronic Governance

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 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 [email protected]

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