Вы здесь

Главная

алгоритмический

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

Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017
Discrete and Computational Geometry and Graphs: Revised Selected Papers/16th Japanes Conference, JCDCGG 2013, Tokyo, Japan, September 2013
DNA Computing and Molecular Programming: Proc./19th International Conference, DNA 19, Tempe,AZ,Usa, September 2013
DNA Computing and Molecular Programming: Proc./20th International Conference, DNA 20, Kyoto, Japan, September 2014
Elimination von Rekursionen
Experimental Algorithms: Proc./13th International Symposium, SEA 2014, Copenhagen, Denmark, June, 2014
From Inductive Inference to Algorithmic Learning Theory
Frontiers in Algorithmics and Algorithmic Aspects in Infomation and Management: Proc./ Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 2011
Frontiers in Algorithmics: Proc./11th International Workshop, EAW 2017, Chengdu, China, June 2017
Fundamentals of Computation Theory: Proc./22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 2019
Graphical User Interfaces for Algorithmic Debugging
Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021
Inductive Logic Programming: Revised Papers/20th International Conference, ILP 2010, Florence, Italy, June 2010
Informatics in Schools. Contributing to 21st Century Education: Proc./5th International Conference, ISSEP 2011, Bratislava, Slovakia, October 2011
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages: Proc./6th Internatioanl Conference, ISSEP 2013, Oldenburg, Germany, February 2013
Intelligent Robotics and Applications, Part I: Proc./6th International Conference, ICIRA 2013, Busan, South Korea, September 2013
Language and Automata Theory and Applications: Proc./4th International Conference, LATA 2010, Trier, Germany, May 2010
Language, Logic, and Computation: Revised Selected Papers/12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 2017
LATIN 2010: Theoretical Informatics: Proc./9th Latin American Symposium, Oaxaca, Mexico, April 2010
Learning Classifier Systems: Revised Selected Papers/11th International Workshop, IWLCS 2008, USA, July 2008, and 12th International Workshop, IWLCS 2009, Canada, July 2009
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2013, San Diego,CA,USA, January 2013
Machine Learning and Data Mining in Pattern Recognition: Proc./7th International Conference, MLDM 2011, New York,NY,USA, August 2011
Mathematical Foundations of Computer Science 2014, Part I: Proc./39th Internatioanl Symposium, MFCS 2014, Budapest, Hungary, August 2014
Multiagent System Technologies: Proc./12th German Conference, MATES 2014, Stuttgart, Germany, September 2014
Parallel Computing Technologies: Proc./12th Internatioanl Conference, PaCT 2013, St.Petersburg, Russia, September 2013
Parallel Problem Solving from Nature - PPSN XIII: Proc./13th International Conference, Ljubljana, Slovenia, September 2014
Parameterized and Exact Computation: Revised Selected Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, September 2014
Performing Algorithmic Refinement before Data Refinement in B
Real-Number Codes for Fault-Tolerant Matrix Operations On Processor Arrays
SOFSEM 2012: Theory and Practice of Computer Science: Proc./38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2012
SOFSEM 2020: Theory and Practice of Computer Science: Proc./46th International Conference on Current Trends in Theory and Practice Informatics, SOFSEM 2020, Limassol, Cyprus, January 2020
Term Relevance Feedback and Query Expansion: Relation to Design
The 1992 SRC Algorithm Animation Festival
The Application of Formal Specifications to Software Documentation and Debugging
The Complexity of Late-Binding in Dynamic Object-Oriented Languages
Theory and Application of Models of Computation: Proc./11th Annual Conference, TAMC 2014, Chennai, India, April 2014
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications
Web and Internet Economics: Proc./17th International Conference, WINE 2021, Potsdam, Germany, December 2021
Автоматизация исследований в математике
Алгебра алгоритмов, базирую аяся на данных
Алгебраический подход к построению нормативной алгоритмической модели производственной организации
Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах
Алгоритмические алгебры Глушкова и проблемы моделирования систем
Алгоритмические вопросы теории рекурсивных преобразований
Алгоритмические свойства рекурсивных преобразователей информации
Алгортмiчнi алгебри: навчальний посiбник
Введение в алгоритмику
Интегрированная система проверки гипотез: программно-алгоритмические средства
Исследование и разработка алгоритмических методов сжатия данных