Вы здесь

Главная

проблема

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

Advanced Intelligent Computing: Revised Selected Papers/7th International Conference, ICIC 2011, Zhengzhou, China, August 2011
AI 2012: Advances in Artificial Intelligence: Proc./25th Australasian Joint Conference, Sydney, Australia, December 2012
AI 2013: Advances in Artificial Intelligence: Proc./26th Australasian Joint Conference, Dunedin, New Zealand, December 2013
Alias calculus for a simple imperative language with decidable pointer arithmetic
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/19th International Conference, INAP 2011 and 25th Workshop on LP, WLP 2011, Vienna, Austria, September 2011
Applications of Evolutionary Computation, Part I: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017
Applications of Evolutionary Computation: Proc./16th European Conference, EvoApplications 2013, Vienna, Austria, April 2013
Applications of Evolutionary Computation: Revised Selected Papers/17th European Conference, EvoApplications 2014, Granada, Spain, April 2014
Approximation and Online Algorithms: Revised Selected Papers/14th International Workshop, WAOA 2016, Aarhus, Denmark, August 2016
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: Proc./14th Int.Workshop, APPROX 2011 and 15th Int.Workshop, RANDOM 2011, Princeton,NJ,USA, August 2011
A Program which Solves Arithmetic Problems in Turkish
Artificial Immune Systems: Proc./11th International Conference, ICARIS 2012, Taormina, Italy, August 2012
Combinatorial Optimization and Applications: Proc./14th International Conference, COCOA 2020, Dallas,TX,USA, December 2020
C# program verification problems: solution by a three-level method
Discrete Optimization and Operations Research: Proc./9th International Conference, DOOR 2016, Vladivostok, Russia, September 2016
European COTS User Working Group: Analysis of the Common Problems and Current Practices of the European COTS Users
Evolutionary Computation in Combinatorial Optimization: Revised Selected Papers/14th European Conference, EvoCOP 2014, Granada, Spain, April 2014
Evolutionary Mulri-Criterion Optimization: Proc./9th International Conference, EMO 2017, Munster, Germany, March 2017
Fun with Algorithms: Proc./5th International Conference, FUN 2010, Iscia, Italy, June 2010
Genetic Programming: Proc./16th Eropean Conference, EuroGP 2013, Vienna, Austria, April 2013
Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/38th International Workshop, WG 2012, Jerusalem, Israel, June, 2012
Hybrid Metaheuristic: Proc./6th International Worcshop, HM 2009, Udine, Italy, October 2009
Hybrid Metaheuristics: Proc./9th International Workshop, HM 2014, Hamburg, Germany, June 2014
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages: Proc./6th Internatioanl Conference, ISSEP 2013, Oldenburg, Germany, February 2013
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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./9th International Conference, CPAIOR 2012, Nantes, France, May 2012
Learning and Intelligent Optimization: Revised Selected Papers/7th International Conference, LION 7, Catania, Italy, January 2013
Learning and Intelligent Optimization: Selected Papers/5th International Conference, LION 5, Rome, Italy, January 2011
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/8th Iternational Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 2012
Modeling Decisions for Artificial Intelligence: Proc./13th International Conference, MDAI 2016, Sant Julia de Loria, Andorra, September 2016
On deciding whether a monoid is a free monoid or is a group
On the Design of Constraint Satisfaction Problems
On two problems related to cancellativity
Optimization Scheme on Execution of Logic Program in a Dataflow Environment
Parameterized and Exact Computation: Proc./7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 2012
Pattern Recognition and Machine Intelligence: Proc./7th International Conference, PReMI 2017, Kilkata. India, December 2017
Pattern Recognition: Applications and Methods: Revised Selected Papers/3rd International Conference, ICPRAM 2014, Angers, France, March 2014
Primary copy synchronization for DB-sharing
Principles and Practice of Constraint Programming: Proc./25th International Conference, CP 2019, Stamford,CT,USA, September 2019
Programming in a distributed environment: a collection of CSSA examples
Reachability Problems: Proc./4th International Workshop, RP 2010, Brno, Czech Republic, August 2010
Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013
Research in Computational Molecular Biology: Proc./19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 2015
SOFSEM 2013: Theory and Practice of Computer Science: Proc./39th International Conference on Current Trends in Theory and Practice of CS, Spindleruv Mlyn, Czech Republic, January 2013
Some undecidability results for non-monadic Church-Rosser Thue systems
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R.Fellows on the Occasion of His 60th Birthday
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Theory and Practice of Natural Computing: Proc./7th International Conference, TPNC 2018, Dublin, Ireland, December 2018
Transactions on Large-Scale Data-and Knowledge-Centered Systems XI
Асимптотический подход к решению многокритериальной трехиндексной планарной системы выбора