Вы здесь

Главная

параметрический

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

Algorithmic Aspects in Information and Management: Proc./10th International Conference, AAIM 2014, Vancouver,BC,Canada, July 2014
Artificial Intelligence and Computational Intelligence, Part II: Proc./International Conference, AICI 2010, Sanya, China, October 2010
Artificial Intelligence and Computational Intelligence, Part I: Proc./International Conference, AICI 2010, Sanya, China, October 2010
Computability and Complexity: Essays Dedicated to Rodney G.Downey on the Occasion of His 60th Birthday
Computing and Combinatorics: Proc./20th International Conference, COCOON 2014, Atlanta,GA,USA, August 2014
Computing and Combinatorics: Proc./22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2016
Frontiers in Algorithmics: Proc./10th International Workshop, FAW 2016, Qingdao, China, June 2016
Frontiers in Algorithmics: Proc./11th International Workshop, EAW 2017, Chengdu, China, June 2017
Generic and Indexed Programming: Revised Lectures/ International Spring School, SSGIP 2010, Oxford, UK, March 2010
Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/38th International Workshop, WG 2012, Jerusalem, Israel, June, 2012
Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 2014
How the World Computes: Proc./Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/7th International Conference, MMCS 2008, Tonsberg, Norway, June/July 2008
Multimodal Brain Image Analysis: Proc./1st International Workshop, MBIA 2011 Held in Conjunction with MICCAI 2011, Toronto, Canada, September 2011
Multimodal Brain Image Analysis: Proc./2nd International Workshop, MBIA 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012
Parameterized and Exact Computation: Revised Selected Papers/8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 2013
Programs, Proofs, Processes: Proc./6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R.Fellows on the Occasion of His 60th Birthday
Towards Parametric Verification of Prioritized Time Petri Nets
Transactions on Petri Nets and Other Models of Concurrency IV
Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
WALCOM: Algorithms and Computation: Proc./4th International Worcshop, WALCOM 2010, Dhaka, Bangladesh, February 2010
WALCOM: Algorithms and Computation: Proc./6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 2012
Алгоритм формирования параметрического вектора для решения задач классификации нейронной сетью прямого распространения
Алгоритмы и программные системы для геометрических задач параметрического проектирования
Введение в современные САПР: Курс лекций
Вопросы создания параметрических транслирующих систем и автоматизации их построения
Метод параметрической верификации поведения временных сетей Петри
Некоторые вопросы построения и оптимизации алгоритмов параметрических систем программирования
Некоторые вопросы построения параметрических систем программирования
Параметрические системы программирования
Регулярные параметрические грамматики и проблема параметризации
Символьно-численный алгоритм вычисления матричных элементов параметрической задачи на собственные значения
Структурная и параметрическая оптимизация на основе сетей Петри для совокупности измерительных систем с об им каналом наблюдения