Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
исследование
Связанные издания:
A Approach to Overcoming the Inheritance Anomaly
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs
Ambient Intelligence for Scientific Discovery: Foundations, Theories, and Systems
Analytical and Stochastic Modelling Techniques and Applications: Proc./24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 2017
ARCHITEKA: информационная система для автоматизации историко-архивных исследований
Bioinformatics Rerseach and Applications: Proc./11th International Symposium, ISBRA 2015, Norfolk, USA, June 2015
Brain Informatics and Health: Proc./8th International Conference, BIH 2015, London, UK, August 2015
Clinical Image-Based Procedures: Translational Research in Medical Imaging: Revised Selected Papers/4th International Workshop, CLIP 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015
Combinatorial Image Analysis: Proc./15th International Workshop, IWCIA 2012, Austin,TX,USA, November 2012
Cooperative Design, Visualisation, and Engineering: Proc./12th International Conference, CDVE 2015, Mallorca, Spain, September 2015
Database Research at the University of Florida
Database Research at the University of Queensland
Designing for a Digital and Globalized World: Proc./13th International Conference, DESRIST 2018, Chennai, India, June 2018
Design, Operation and Evaluation of Mobile Communications: Proc./1st International Conference, MOBILE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Distributed Computing and Internet Technology: Proc./10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 2014
Experimental Algorithms: Proc./8th International Symposium, SEA 2009, Dortmund, Germany, June 2009
Extending the Boundaries of Design Science Theory and Practice: Proc./14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester,MA,USA, June 2019
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inherence of Type Relations
Forcing Behavioral Subtyping Through Specification Inheritance
Informatics in Schools: Curricula, Competences, and Competitions: Proc./8th International Conference on Informatics in Schools: Situation, Evoluation, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 2015
Integrating AOI and OR: An Industrial Engineering Perspective
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Second International Conference, CPAIOR 2005. Prague, Czech Republic, May/June 2005
Intelligent Robotics and Applications: Proc./2nd International Conference, ICIRA 2009, Singapore, December 2009
On the Move to Meaningful Internet Systems: OTM 2014 Conferences: Proc./Confederated International Conferences: CooplS and ODBASE 2014, Amantea, Italy, October 2014
SIGIR 92: Proc./Fifteenth Annual Intern. ACM SIGIR Conf. on Research and Development in Information Retrieval. Copenhagen, Denmark. June 21-24,1992
Software Engineering Research Strategy: Combining Experimental and Explorative Research (EER)
Swarm Intelligence Based Optimization: Revised Selected Papers/1st International Conference, ICSIBO 2014, Mulhouse, France, May 2014
The Algorithm Design: Manual
Transactions on Computational Collective Intelligence XXVI
Update on MIS Research A Profile of Leading Journals and U.S.Universities
V Семинар: Проблемы информатики и её применения в управлении, обучении и научных исследованиях. Сборник докладов
WALCOM: Algorithms and Computation: Proc./10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 2016
Wireless Algorithms, Systems, and Applications: Proc./11th International Conference, WASA 2016, Bozeman,MT,USA, August 2016
Автоматные методы описания и исследования вероятностных систем
Алгебраические методы исследования задач информационного поиска
Алгоритмы и программный инструментарий для исследования процессов генной регуляции
"Астарта" - инструмент автоматизации аналитических решений
Информатизация гуманитариев, гуманитаризация информатиков
Информационная система для поддержки процесса проведения исследований на основе литературных источников
Информационная технология единого комплекса исследований в военном кораблестроении
Информационные технологии в гуманитарных исследованиях и гуманитарном образовании
Исследование гипотезы Коуза
Исследование и оптимизация работы порта с помощью математических методов и ЭВМ
Исследование локальных свойств вычислений на деревьях
Исследование манипуляционного аспекта баз данных квазиреляционного типа
Исследование некоторых алгоритмов дискретной оптимизации
Исследование принципов построения, разработка математического и программного обеспечения автоматизированной системы исследования структуры атомов
Исследование проблем в системе остаточных классов
Исследование функции, связанной со стягиваниями графа
Методы и средства создания и исследования экспертных систем
1
2
следующая ›
последняя »