Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
граф
Связанные издания:
Applications of Graph Transformations with Industrial Relevance: Revised Selected and Invited Papers/4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 2011
Applying Cilk in Provably Efficient Task Scheduling
Approximate Mean Value Analysis for Stochatic Marked Graphs
Approximating Longest Directed Paths and Cycles
Approximation Algorithms for NP-Complete Problems on Plannar Graphs
Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design
Approximation and Online Algorithms: Revised Papers/6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 2008
Approximation and Online Algorithms: Revised Papers/Third International Workshop, WAOA 2005. Palma de Mallorca, Spain, October 2005
Approximation and Online Algorithms: Revised Selected Papers/13th International Workshop, WAOA 2015, Patras, Greece, September 2015
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc./10th Intl Workshop, APPROX 2007 & 11th Intl WS, Random 2007. Princeton, NJ, USA, August 2007
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: Proc./15th Int WS, APPROX 2012, and 16th Int WS, RANDOM 2012, Cambridge, MA, USA, August 2012
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc/9th Int.WS APPROX 2006 & 10th Int.WS RANDOM 2006. Barcelona, Spain, 2006.
Approximation, Randomization and Combinatorial Optimization: Algorithms and Technologies: Proc./11th Intl WS APPROX 2008 & 12th Intl WS RANDOM 2008. Boston, MA, USA, August 2008
Approximation Schemes Using L-Reductions1,2,3
APT: A Data Structure for Optimal Control Dependence Computation
A Rational Goal-Seeking Agent using Conceptual Graphs
Architectures and Algorithms for Group Scheduling
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs
A Relation-Algebraic Approach to Graph Structure Transformation
Artificial Neural Networks for the Bipartite and K-partite Subgraph Problems
A Shortest-Path Algorithm with Expected Time o(n log n log*n)
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
A Simple Graph-Based Intermediate Representation
A Simple Graph Construction of Semilinear Reachability Sets of Vector Addition Systems
A Still Better Performance Guarantee for Approximate Graph Coloring
A Storage Manager for the Hypernode Model
A Structure to Decide Reachability in Petri Nets
A Symbolic State Space Representation
Asynchronous Mobile Processes and Graph Rewriting
Attributed Tree Grammars
A unification graph with constraints for intelligent backtracking in deduction systems
Automata, Languages and Programming: Part II: Proc./36th International Colloquium, ICALP 2009. Rhodes, Greece, July 2009
Automata, Languages and Programming: Proc./30th Intern. Colloq., ICALP 2003, Eindhoven, The Netherlands, June-July 2003
Automatic Integration of Digital System Requirements using Schemata
A Verification Approach for Distributed Abstract State Machines
A View-Oriented Approach to System Modeling Based on Graph Transformation
A Visual Language Should Be Easy to Use: A Step Forward for XML-GL
Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition
Basic-block Graphs: Living Denosaurs?
Basic Conceptual Structures Theory
Bayesian Belief Networks: From Construction to Inference
BDL - A Nondeterministic Data Flow Programming Language with Backtracking
Better Algorithms for the Pathwidth and Treewidth of Graphs
Between Min Cut and Graph Bisection
Biconnectivity Approximations and Graph Carvings
Big Data Benchmarking: Revised Selected Papers/5th International Workshop, WBDB 2014, Potsdam, Germany, August 2014
Biomedical Data Management and Graph Online Querying: Revised Selected Papers/VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa,HI,USA, August 2015
Bisimulation Equivalences for Graph Grammars
Broadcasting in the Arrowhead Torus
Building Integrated Software Development Environments Part I: Tool Specification
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »