Вы здесь

Главная

экспериментальный

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

Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Algorithm Engineering: Selected Results and Surveys
Algorithms and Computation, Part II: Proc./21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 2010
Algorithms and Computation, Part I: Proc./21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 2010
Algorithms and Computation: Proc./20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 2009
Algorithms and Computation: Proc./25th International Symposium, ISAAC 2014, Jeonju, Korea, December 2014
Algorithms and Discrete Applied Mathematics: Proc./1st International Conference, CALDAM 2015, Kanpur, India, February 2015
Algorithms - ESA 2013: Proc./21st Annual European Symposium, Sophia Antipolis, France, September 2013
Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy
Experimental Algorithms: Proc./15th International Symposium, SEA 2016, St.Petersburg, Russia, June 2016
Experimental Algorithms: Proc./6th International Workshop, WEA 2007. Rome, Italy, June 2007
Experimental Algorithms: Proc./7th International Workshop, WEA 2008. Provincetown, MA, USA, May/June 2008
Experimental Algorithms: Proc./9th International Symposium, SEA 2010, Ischia Islend, Naples, Italy, May 2010
Measurement Methodology and Tools: Revised and Extended Papers/1st European Workshop, FP7 FIRE/EULER Project, Aalbord, Denmark, May 2012
Modelling and Simulation for Autonomous Systems: Revised Selected Papers/2nd International Workshop, MESAS 2015, Prague, Czech Republic, April 2015
String Processing and Information Retrieval: Proc./26th International Symposium, SPIRE 2019, Segovia, Spain, October 2019
Theory and Applications of Satisfiability Testing - SAT 2013: Proc./16th International Conference, Helsinki, Finland, July 2013
Unconventional Programming Paradigms: Revised Selected and Invited Papers/International Workshop, UPP 2004. Le Mont Saint Michel, France, September 2004
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/8th Internayional Conference, VSTTE 2016, Toronto,ON,Canada, July 2016
Wireless Algorithms, Systems, and Applications: Proc./10th International Conference, WASA 2015, Qufu, China, August 2015
Алгоритмическое и программное обеспечение решения некоторых экспериментальных задач
Класс критериев однородности основанных на оценках вероятностей ранговых векторов (с применением в системах обработки экспериментальных данных)
Макет системы "МАРС". Экспериментальный образец экспериментального объектно-ориентированного процессора. Программа и методика испытаний
Прикладные и экспериментальные лингвистические процессоры: Сборник научных трудов
Роль экспериментирования в разработке программного обеспечения: прошлое, настоя ее и буду ее
Сглаживающие изогеометрические и робастные сплайны: методы и алгоритмы
Специализированное программное обеспечение для мини-ЭВМ в экспериментальной физике на базе языка COPLAN
Экспериментальная система программирования
Экспериментальное исследование новой стратегии тестирования
Экспериментальное исследование новой стратегии тестирования