Вы здесь

Главная

теоретический

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

Categories and Types in Logic, Language, and Phisics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Computer Algebra in Scientific Computing: Proc./17th International Workshop, CASA 2015, Aachen, Germany, September 2015
Current Approaches in Applied Artificial Intelligence: Proc./28th International Conference, IEA/AIE 2015, Seoul, Korea, June 2015
Engineering Psychology and Cognitive Ergonomics: Proc./11th International Conference, EPCE 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Revised Selected Papers/3rd International Conference, EvoMUSART 2014, Granada, Spain, April 2014
Formal Concept Analysis: Proc./13th International Conference, ICFCA 2015. Nerja, Spain, June 2015
Information Systems: Theoretical Development and Research Approaches
LATIN 2006: Theoretical Informatics: Proc./7th Latin American Symposium. Valdivia, Chile, March 2006
Learning Theoretical Aspects is Important but (Sometimes) Dangerous
Logoc, Language, Information, and Computation: Proc./20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2013
Natural and Artificial Computation for Biomedicine and Neuroscience, Part I: Proc./International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 2017
Network Analysis: Methodological Foundations
Transactions on Rough Sets XVIII
Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic
Web and Internet Economics: Proc./10th International Conference, WINE 2014, Bwijing, China, December 2014
Web and Internet Economics: Proc./11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 2015
Web and Internet Economics: Proc./12th International Conference, WINE 2016, Montreal, Canada, December 2016
Анализ однолинейных систем массового обслуживания с повторными заявками
Введение в теоретическое программирование: беседы о методе
Введение в теоретическую информатику: учебное пособие
Квалификационные исследовательские работы: учебное пособие
Математическая логика в программировании. Сборник статей
Математическая логика и теоретическая информатика
Многолистная фигура и ее медиальные дескрипторы
Молодая информатика: Сборник трудов аспирантов и молодых ученых
Построение обоб енных полиномов минимальной степени над алгоритмами вычисления оценок
Программирование теоретическое
Современные методы программирования: возможности и инструменты
Теоретико-категорные модели и методы проектирования больших информационо-управляю их систем
Теоретические и прикладные вопросы параллельной обработки информации (Сборник научных трудов)
Теоретические проблемы систем обработки информации: Сборник научных трудов
Труды Института Системного Программирования