Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вычислительный
Связанные издания:
Index Sets as a Measure of Continuous Constraint Complexity
Inductive Logic Programming: Revised Papers/20th International Conference, ILP 2010, Florence, Italy, June 2010
Integer Programming and Combinatorial Optimization: Proc./14th International Conference, IPCO 2010, Lausanne, Switzerland, June 2010
Intelligent Computing: Part I: Proc./International Conference on Intelligent Computing, ICIC 2006. Kunming, China, August 2006
Interval Routing Schemes
Intrinsic Theories and Computational Complexity
Is Your Computer System Sub-Critical?
Knowledge Exploration in Life Science Informatics: Proc./International Symposium, KELSI 2004. Milan, Italy, November 2004
Latent Variable Analysis and Signal Separation: Proc./10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 2012
Learning Picture Sets from Examples
LILK- Static Analysis of REDUCE Code
Location of the Largest Empty Rectangle among Arbitrary Obstacles
Logic and Computation
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Lower Bound for Complexity of Product of Linear Combinations
Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems
Low-Level Computational Mono and Stereo Vision: a Bayesian Approach
Machine Learning, Optimization, and Big Data: Revised Selected Papers/2nd International Workshop, MOD 2016, Volterra, Italy, August 2016
Machines, Computations, and Universality: Proc./5th International Conference, MCU 2007. Orleans, France, September 2007
Managing Design Changes
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/8th International Conference, MMCS 2012, Oslo, Norway, June 2012
Mathematics and Computation in Music: Proc./Third International Conference, MCM 2011, Paris, France, June 2011
Membrane Computing: Revised Selected Papers/11th International Conference, CMC 2010, Jena, Germany, August 2010
Modeling Decisions for Artificial Intelligence: Proc./7th International Conference, MDAI 2010, Perpignan, France, October 2010
Models of Computation in Context: Proc./7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June/July 2011
Monadic Logical Definability of NP-Complele Problems
Monadic Logical Definability of NP-Complete Problems
Motion Planning in the Presence of Moving Obstacles
My Favorite Ten Complexity Theorems of the Past Decade
Nearest Neighbour Graph Realizability is NP-hard
Network and Parallel Computing: Proc./ IFIP International Conference, NPC 2004. Wuhan,China,Oktober 2004
Networking and Mobile Computing: Proc./Third International Conference, ICCNMC 2005. ZHangjiajie, China, August 2005
New Computational Paradigms: Proc./First Conference on Computability in Europe, CiE 2005. Amsterdam, The Netherlands, June 2005
New Parallel Algorithms for Convex Hull and Triangulation in 3-Dimensional Space
NP-completeness of k-connected hyperedge-replacement languages of order k
Numerical Analysis and Its Applications: revised Selected Papers/6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 2016
On Condorcet and Median Points of Simple Rectilinear Polygons
On Multiplying Points: The Paired Algebras of Forms and Sites
On Some Open Problems Concerning the Complexity of Cellular Arrays
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels
On the Computational Complexity of Propositional Logic Programs with Nested Implications
On the Computational Geometry of Pocket Machining
On the Peeper s Voronoi Diagram
Operational Semantics of Hybrid Systems
Parallel Computing Technologies (PaCT-93): Proc./Intern.Conf., Obninsk, Russia, 1993
Performance Evaluation of Computer and Communication Systems: Joint Tutorial Papers of Performance 93 and Sigmetrics 93
Performance Experiences of the Barcelona Olympic Games Computer System
Performance of Various Computers Using Standard Linear Equations Software
Performance Tools on Intel Scalable High Performance Computing Systems
Phased-Mission System Analysis Using Boolean Algebraic Methods
« первая
‹ предыдущая
1
2
3
4
5
6
следующая ›
последняя »