Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
параметризованный
Связанные издания:
Algorithms and Data Structures: Proc./15th International Symposium, WADS 2017, St.John s,NL,Canada, July 2017
Algorithms - ESA 2011: Proc./19th Annual European Symposium, Saarbrucken, Germany, September 2011
Algorithm Theory - SWAT 2014: Proc./14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2014
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012
Frontiers in Algorithmics: Proc./Third International Workshop, FAW 2009. Hefei, China, June 2009
Fundamentals of Computation Theory: Proc./19th International Symposium, FCT 2013, Liverpool, UK, August 2013
Fundamentals of Parameterized Complexity
Graph-Theoretic Concepts in Computer Science: Revised Papers/37th International Workshop, WG 2011, Tepla Monastery, Czech Republic, June 2011
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./9th International Conference, CPAIOR 2012, Nantes, France, May 2012
Parameterized and Exact Computational: Revised Selected Papers/4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 2009
Parameterized and Exact Computation: Proc./5th International Symposium, IPEC 2010, Chennai, India, December 2010
Parameterized and Exact Computation: Revised Selected Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, September 2014
Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities
Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007
Theory and Applications of Models of Computation: Proc./12th Annual Conference, TAMC 2015, Singapore, May 2015
Theory and Practice of Algorithms in (Computer) Systems: Proc./First International ICST Conference, TAPAS 2011, Rome, Italy, April 2011
Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006