Recent Advances in Constraints
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007.
Saved in:
其他作者: | Fages, François |
---|---|
格式: | 圖書 |
語言: | English |
出版: |
Springer
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/28739 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | English |
相似書籍
-
Guide to Advanced Empirical Software Engineering
由: Forrest Shull, Janice Singer, Dag I. K. Sjøberg
出版: (2017) -
Software Process and Product Measurement
出版: (2017) -
Verification, Model Checking, and Abstract Interpretation
出版: (2017) -
Algebraic Methodology and Software Technology
出版: (2017) -
Software Evolution
出版: (2017)