• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 38 matches

• 2005
• 
  Sergei A. Abramov, Alla A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral:
  The research seminar on computer algebra in 2003-2004. Program. Comput. Softw. 31(2): 51-55 (2005)
• 
  Boris Kh. Barladian, Alexey G. Voloboi, N. I. V'yukova, Vladimir A. Galaktionov, Nikolay B. Deryabin:
  Illumination Modeling and Generation of Realistic Images Using Internet Technologies. Program. Comput. Softw. 31(5): 282-291 (2005)
• 
  S. E. Bazhanov, V. P. Kutepov, D. A. Shestakov:
  Functional Parallel Typified Language and Its Implementation on Clusters. Program. Comput. Softw. 31(5): 237-269 (2005)
• 
  A. I. Bogolubsky, S. L. Skorokhodov:
  Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods. Program. Comput. Softw. 31(2): 103-109 (2005)
• 
  Vladimir P. Gerdt, D. A. Yanovich:
  Parallel computation of Janet and Gröbner bases over rational numbers. Program. Comput. Softw. 31(2): 73-80 (2005)
• 
  S. S. Gorelov, V. A. Vasenin:
  Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas. Program. Comput. Softw. 31(6): 321-331 (2005)
• 
  Ekaterina A. Gorshkova, Boris Novikov, D. D. Belov, V. S. Gurov, S. V. Spiridonov:
  A UML-based modeling of web application controller. Program. Comput. Softw. 31(1): 29-33 (2005)
• 
  Alexey Ya. Kalinov, Konstantin Karganov, K. V. Khorenko:
  An approach to the development of debuggers that use semantics of constructs of parallel programs. Program. Comput. Softw. 31(1): 20-28 (2005)
• 
  Marina V. Kondratieva, A. I. Ovchinnikov:
  Characteristic sets for ordinary differential equations. Program. Comput. Softw. 31(2): 91-96 (2005)
• 
  Igor V. Konnov, Vladimir A. Zakharov:
  An Approach to the Verification of Symmetric Parameterized Distributed Systems. Program. Comput. Softw. 31(5): 225-236 (2005)
• 
  Vladimir V. Kornyak:
  Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis. Program. Comput. Softw. 31(2): 87-90 (2005)
• 
  Alexander S. Kossatchev, Mikhail Posypkin:
  Survey of compiler testing methods. Program. Comput. Softw. 31(1): 10-19 (2005)
• 
  Valery A. Kostenko, E. S. Gur'yanov:
  An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency. Program. Comput. Softw. 31(6): 340-346 (2005)
• 
  Victor V. Kuliamin:
  Test Sequence Construction Using Minimum Information on the Tested System. Program. Comput. Softw. 31(6): 301-309 (2005)
• 
  A. V. Leonov, R. R. Khusnutdinov:
  Study and Development of the DTD Generation System for XML Documents. Program. Comput. Softw. 31(4): 197-210 (2005)
• 
  Nickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo:
  Obtaining Affine Transformations to Improve Locality of Loop Nests. Program. Comput. Softw. 31(5): 270-281 (2005)
• 
  Vladimir Vasil'evich Lipaev:
  Problems of the development and quality control of large software systems. Program. Comput. Softw. 31(1): 47-49 (2005)
• 
  D. A. Lizorkin:
  The Query Language to XML Documents Connected by XLink Links. Program. Comput. Softw. 31(3): 133-148 (2005)
• 
  D. A. Lizorkin, K. Yu. Lisovsky:
  Implementation of the XML linking language XLink by functional methods. Program. Comput. Softw. 31(1): 34-46 (2005)
• 
  A. V. Mesyanzhin:
  On a method for finding the roots of an ideal. Program. Comput. Softw. 31(2): 97-102 (2005)
• 
  V. M. Mikhelev:
  Specific Features of the Control Structure in the Programming Language MARKIZ. Program. Comput. Softw. 31(4): 190-196 (2005)
• 
  V. V. Monakhov, A. V. Kozhedub, P. A. Naumenko, L. A. Evstigneev, M. A. Krukelis, D. V. Solodovnikov, I. B. Kernitskii:
  BARSIC: A Programming System for Physicists. Program. Comput. Softw. 31(3): 157-165 (2005)
• 
  Valery A. Nepomniaschy:
  Symbolic method of verification of definite iterations over altered data structures. Program. Comput. Softw. 31(1): 1-9 (2005)
• 
  Rimma I. Podlovchenko, Dmitry M. Rusakov:
  Program Schemes with Constants. Program. Comput. Softw. 31(3): 113-122 (2005)
• 
  S. P. Polyakov:
  Symbolic additive decomposition of rational functions. Program. Comput. Softw. 31(2): 60-64 (2005)
• 
  F. M. Puchkov, K. A. Shapchenko:
  Static Analysis Method for Detecting Buffer Overflow Vulnerabilities. Program. Comput. Softw. 31(4): 179-189 (2005)
• 
  Anna A. Ryabenko, S. L. Skorokhodov:
  Asymptotics of sums of hypergeometric terms. Program. Comput. Softw. 31(2): 65-72 (2005)
• 
  L. Ya. Savel'ev:
  An Algorithm for Partitioning a Set into Simple Parts. Program. Comput. Softw. 31(6): 293-300 (2005)
• 
  A. S. Semenov:
  Involutive divisions: Slice and pair properties. Program. Comput. Softw. 31(2): 81-86 (2005)
• 
  O. G. Sharov, A. N. Afanas'ev:
  Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars. Program. Comput. Softw. 31(6): 332-339 (2005)

skipping 8 more matches