Вы здесь

Главная

выполнение ограничивающих условий

Связанные издания:

AI 2016: Advances in Artificial Intelligence: Proc./29th Australasian Joint Conference, Hobart,TAS,Australia, December 2016
Algorithmic Game Theory: Proc./7th International Symposium, SAGT 2014, Haifa, Israel, September 2014
Hybrid Metaheuristics: Proc./10th International Workshop, HM 2016, Plymouth, UK, June 2016
Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./10th International Conference, CPAIOR 2013, Yorktown Heights,NY,USA, May 2013
KI 2014: Advances in Artificial Intelligence: Proc./37th Annual German Conference on AI, Stuttgart, Germany, September 2014
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Mathematical Foundations of Computer Science 2012: Proc./37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 2012
Parameterized and Exact Computation: Revised Selected Papers/6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 2011
PRICAI 2014: Trends in Artifical Intelligence: Proc./13th Pacific Rim International Conference on AI, Gold Coast,QLD,Australia, December 2014
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R.Fellows on the Occasion of His 60th Birthday
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Web Services and Formal Methods: Revised Selected Papers/9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 2012