Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
constraint solving
Связанные издания:
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Formal Methods and Software Engineering: Proc./13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 2011
Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009
Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Practical Aspects of Declarative Languages: Proc./16th International Symposium, PADL 2014, San Diego,CA,USA, January 2014
Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009
Recent Advances in Constraints: Revised Selected Papers/13th Annual ERCIM International Workshop, CSCLP 2008, Rome, Italy, June 2008
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011