Вы здесь

Главная

эффективный

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

Adaptive Multimedia Retrieval. Context, Exploration, and Fusion: Revised Selected Papers/8th International Workshop, AMR 2010, Linz, Austria, August 2010
A Decompositional Approach to the Design of Efficient Parallel Programs
A Deterministic skip list for k-dimensiona; range search
An efficient associative algorithm for multi-comparand parallel searching and its applications
A P2P Genetic Algorithm Environment for the Internet: Effectively Utilizing Distributed Computational Resources While Hiding the Complexity of the Network Programming
Artificial Intelligence in Education: Proc./16th International Conference, AIED 2013, Memphis,TN,USA, July 2013
Bioinformatics Research and Applications: Proc./Third International Symposium, ISBRA 2007. Atlanta, GA, USA, May 2007
Citizen in Sensor Networks: Revised Selected Papers/2nd International Workshop, CitiSens 2013, Barcelona, Spain, September 2013
Combinatorics on Words: Proc./11th International Conference, WORDS 2017, Montreal,QC,Canada, September 2017
DNA Computing and Molecular Programming: Proc./20th International Conference, DNA 20, Kyoto, Japan, September 2014
Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications
Efficient Construction of Program Dependence Graphs
Efficient Interpretation of State Charts
Efficiently Verifiable Conditions for Deadlock Freedom of Large Concurrent Programs (Extended Abstract)
Efficient Representation of Algebraic Expressions
Emotion Modeling: Towards Pragmatic Computational Models of Affective Processes
Finding the most interesting correlations in a database: how hard can it be?
HCI in Business, Guvernment and Organizations, Part I: Interacting with Information Systems: Proc./4th International Conference, HCIGO 2017 Held as Part of HCI International 2017, Vancouver,BC,Canada, July 2017
Industrial Strength Compiler Construction with Equations
Intelligent Tutoring Systems: Proc./8th International Conference, ITS 2006. Jhongli, Taiwan, June 2006
Intelligent Virtual Agents: Proc./15th International Conference, IVA 2015, Delft, The Netherlands, August 2015
Large-Scale Scientific Computing: Revised Selected Papers/10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 2015
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2013, San Diego,CA,USA, January 2013
Mathematical Morphology and Its Applications to Signal and Jmage Processing: Proc./11th International Symposium, ISMM 2013. Uppsala, Sweden, May 2013
Pairing-Based Gryptography - Pairing 2010: Proc./4th International Conference, Yamanaka Hot Spring, Japan, December 2010
Scientific Computing, Validated Numerics, Interval Methods
Simple is Better: Efficient Bounded Model Checking for Past LTL
Social Robotics: Proc./10th International Conference, ICSR 2018, Qingdao, China, November 2018
Solving HPP and SAT by P systems with active membranes and separation rules
Symbiotic Interaction: Proc./3rd International Workshop, Symbiotic 2014, Helsinki, Finland, October 2014
The Collectine Index: A Technique for Efficient Processing of Progressive Queries
Transactions on Computational Science XXIII: Special Issue on Cyberworlds
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems
Методы создания эффективного программного обеспечения: языковый и структурный подходы, оптимизация программ
Трансформационные методы и средства конструирования эффективных и надежных программ
Трансформационные методы и средства конструирования эффективных и надежных программ
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Фрактальные методы анализа кривых в рамках гипотезы фрактального рынка
Фрактальные методы анализа кривых в рамках гипотезы фрактального рынка
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ