Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
эффективность
Связанные издания:
1-Dimensional Parallel FFT Benchmark on SUPRENUM
A Branch-and-Bound Algorithm for the Construction of Reversible Variable Length Codes
A Collaborative Environment for High Performance Computing
A Component Language for Hybrid Solver Cooperations
A Data Mining Application on Air Temperature Database
Ad-Hoc, Mobile and Wireless Networks: Proc./7th International Conference, ADHOC-NOW 2008. Sophia-Antipolis, France, September 2008
Advanced Methodologies for Bayesian Networks: Proc./2nd International Workshop, AMBN 2015, Yokohama, Japan, November 2015
Advances in Data and Web Management: Proc./Joint 9th Asia-Pacific Web Conference, APWeb 2007 & 8th Intl Conference on Web-Age Information Management, WAIM 2007. Huang Shan, China, June 2007
Advances in Focused Retrieval: Revised and Selected Papers/7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008. Dagstuhl Castle, Germany, December 2008
Advances in Spatial and Temporal Databases: Proc./10th International Symposium, SSTD 2007. Boston, MA, USA, July 2007
Advances in Web-Age Information Management: Proc./7th International Conference, WAIM 2006. Hong Kong, China, June 2006
Advances in XML Information Retrieval and Evaluation: Revised Selected Papers/4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005. Dagstuhl Castle, Germany, November 2005
Agent-Oriented Software Engineering VI: Revised and Invited Papers/6th International Workshop, AOSE 2005. Utrecht, The Netherlands, July 2005
Algebraic Programming in OPAL
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice
Algorithmic Aspects in Information and Management: Proc./Second International Conference, AAIM 2006. Hong Kong, China, June 2006
Algorithmic Aspects of Wireless Sensor Networks: Revised Selected Papers/2nd International Workshop, ALGOSENSORS 2006. Venice, Italy, July 2006
Algorithms and Complexity: Proc./6th Italian Conference, CIAC 2006. Rome, Italy, May 2006
Algorithms and Computation: Proc./15th International Symposium, ISAAC 2004. Hong Kong, China, December 2004
Algorithms and Computation: Proc./16th International Symposium, ISAAC 2005. Sanya, Hainan, China, December 2005
Algorithms and Computation: Proc./18th International Symposium, ISAAC 2007. Sendai, Japan, December 2007
Algorithms - ESA 2008: Proc./16th Annual European Symposium. Karlsruhe, Germany, September 2008
Algorithms in Bioinformatics: Proc./6th International Workshop, WABI 2006. Zurich, Switzerland, September 2006
An Evaluation Method for Stemming Algorithms
Applied Parallel Computing: State of the Art in Scientific Computing: Revised Selected Papers/7th International Workshop, PARA 2004. Lyngby, Denmark, June 2004
Approximation and Online Algorithms: Revised Papers/8th International Workshop, WAOA 2010, Liverpool, UK, September 2010
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques: Proc./8th Intl Workshop on Approximation Algorithms for Combinatorial Optimization Problems
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc/9th Int.WS APPROX 2006 & 10th Int.WS RANDOM 2006. Barcelona, Spain, 2006.
A Program Verification System Bazed on Oz
Arithmetic of Finite Fields: Proc./First International Workshop, WAIFI 2007. Madrid, Spain, June 2007
Assessing the Fault-Detecting Ability of Testing Methods
A Systematic Approach to Multiple Inheritance Implementation
A System for Processing Continuous Queries over Infinite Data Streams
Automatic Testing of Object-Oriented Software
Check It Out: On the Efficient Formal Verification of Live Sequence Charts
Classification supervisee de documents
Combinatorial and Algorithmic Aspects of Networking: Revised Papers/4th Workshop, CAAN 2007. Halifax, Canada, August 2007
Combinatorial and Algorithmic Aspects of Networking: Revised Papers/Third Workshop,CAAN 2006,Chester,UK,July 2006
Combinatorial Optimization and Applications: Proc./Second International Conference, COCOA 2008. St.John s, NL, Canada, August 2008
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
Compositional and Quantitative Model Checking (Extended Abstract)
Computational Science - ICCS 2005. Part I: Proc./5th International Conference. Atlanta, GA, USA, May 2005
Context-Sensitive Points-to Analysis: Is It Worth It?
Database and XML Technologies: Proc./5th International XML Database Symposium, XSym 2007. Vienna, Austria, September 2007
Dependable Computing: Proc./Second Latin-American Symposium, LADC 2005. Salvador, Brazil, October 2005
Design and Implementation of a Real-Time Static Locking Protocol for Main-Memory Database Systems
Development Trends in Methods for Efficiency Evaluation of ES-based Computer Systems
Digital Watermarking: Selected Papers/7th International Workshop IWDW 2008 Busan, Korea, November 2008
Directed Model Checking with Distance-Preserving Abstraction
Distributed Computing in Sensor Systems: Proc./6th IEEE International Conference, DCOSS 2010, Santa Barbara,CA,USA, June 2010
1
2
3
4
5
следующая ›
последняя »