Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вычислительный
Связанные издания:
13-е ежегодные премии за техническое совершенство
Advances in Bioinformatics and Computational Biology: Proc./Second Brazilian Symposium on Bioinformatics, BSB 2007. Angra dos Reis, Brazil, August 2007
Advances in Computational Intelligence, Part I: Proc./13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 2015
Advances in Computing and Information- ICCI 90
Advances in Grid and Pervasive Computing: Proc./Fist International Conference, GPC 2006. Taichung, Taiwan, May 2006
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: Proc./16th International Conference, PAAMS 2018, Toledo, Spain, June 2018
Advances in Self-Organizing Maps: Proc./8th International Workshop, WSOM 2011, Espoo, Finland, June 2011
A Formal Approach to Computer Systems Requirements Documentation
A Hierarchy of Tractable Satisfiability Problems
AI 2009: Advances in Artificial Intelligence: Proc./22nd Australasian Joint Conference, Melbourne, Australia, December 2009
Algorithmic Game Theory: Proc./First International Symposium, SAGT 2008. Paderborn, Germany, April/May 2008
Algorithmic Learning Theory: Proc./23rd International Conference, ALT 2012, Lyon, France, October 2012
Algorithmic Number Theory: Proc./8th International Symposium, ANTS-VIII. Banff, Canada, May 2008
Algorithms and Computation: Proc./12th Intern. Symp., ISAAC 2001, Christchurch, New Zeland, December 2001
Algorithms and Computation: Proc./16th International Symposium, ISAAC 2005. Sanya, Hainan, China, December 2005
Algorithms - ESA 2000: Proc./8th Annual European Symp., Saarbrucken, Germany, September 2000
An Extention of Manifold Boundary Representations to the r-Sets
An Optimal Parallel Algorithm for Triangulating a Set of Points in the Plane
An Optimal Speed-up Parallel Algorithm for Triangulating Simplicial Point Sets in Space
Applied Computational Geometry. Towards Geometric Engineering: Selected Papers/ FCRC 96 Workshop, WACG 96. Philadelphia, PA, May 1996
Approximate Mean Value Analysis for Stochatic Marked Graphs
Approximation and Online Algorithms: Revised Papers/Third International Workshop, WAOA 2005. Palma de Mallorca, Spain, October 2005
Approximation and Online Algorithms: Revised Selected Papers/Second International Workshop, WAPA 2004. Bergen, Norway, September 2004
A Proof Procedure Based on Recomputation-Free Lemmatization
Artificial Immune System: Proc./9th International Conference, ICARIS 2010, Edinburg, UK, July 2010
Artificial Intelligence and Computational Intelligence, Part II: Proc./International Conference, AICI 2010, Sanya, China, October 2010
Artificial Intelligence and Computational Intelligence, Part I: Proc./International Conference, AICI 2010, Sanya, China, October 2010
A Survey of Parallel Computational Geometry Algorithms
AT and T 5ESS Switch Hardware Development Methodology: A Procedure for Ensuring Quality
Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005
Axioms and Hulls
Balancing Load Under Large and Fast Load Changes in Distributed Computing Systems - A Case Study
Bioinformatics and Biomedical Engineering, Part I: Proc./3rd International Conference, IWBBIO 2015, Granada, Spain, April 2015
Bioinformatics and Biomedical Engineering, Part I: Proc./6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 2018
Bioinformatics Research and Applications: Proc./Fourth International Symposium, ISBRA 2008. Atlanta, GA, USA, May 2008
Biomedical Simulation: Proc./5th International Symposium, ISBMS 2010, Phoenix,AZ,USA, January 2010
Combinatorial Image Analysis: Proc./10th International Workshop, IWCIA 2004. Auckland, New Zealand, December 2004
Combinatorial Optimization: Revised Selected Papers/5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 2018
COMPULOG NET: Network of Excellence in Computational Logic
Computational and Information Science: Proc./First International Conference, CIS 2004. Shanghai, China, December 2004
Computational Complexity and Constraint Logic Programming Languages
Computational Complexity and Mathematical Proofs
Computational Complexity via Programming Languages: Constant Factors Do Matter
Computational Discovery of Scientific Knowledge: Introduction, Techniques, and Applications in Environmental and Life Sciences
Computational Forensics: Revised Selected Papers/5th International Workshop, IWCF 2012, Tsukuba, Japan, November 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 2014
Computational Geometry Problems in REDLOG
Computational Learning Theory and Neural Networks: an Introduction
Computational Linguistics and Intelligent Text Processing: Proc./10th International Conference, CICLing 2009. Mexico City, Mexico, March 2009
Computational Logic and Proof Theory: Proc./Third Kurt Godel Colloquium, KGC 93. Brno, Czech Republic, August 1993
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/6th International Workshop, CLIMA VI. London, UK, June 2005
1
2
3
4
5
6
следующая ›
последняя »