- solvers
- Решающие
Большой англо-русский и русско-английский словарь. 2001.
solvers
Смотреть что такое "solvers" в других словарях:
solvers — n. one who finds a solution to a problem … English contemporary dictionary
The Solvers — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… … Wikipedia Español
OpenFOAM — Developer(s) OpenCFD Ltd. Initial release 10 December 2004 Stable release 2.0.1 / 4 August 2011 Operating system Unix/Linux … Wikipedia
Midnight Rescue! — Box art Developer(s) The Learning Company Publisher(s) The Learning Company … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Challenge of the Ancient Empires! — Box cover art Developer(s) The Learning Company … Wikipedia
OutNumbered! — For the British sitcom, see Outnumbered. Super Solvers: Outnumbered! Cover art Developer(s) The Learning Company … Wikipedia
Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… … Wikipedia
Maximum satisfiability problem — In computational complexity theory, the Maximum Satisfiability problem (MAX SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula, that can be satisfied by some assignment. It is an FNP generalization of SAT … Wikipedia
FreeCell (Windows) — Infobox VG width = title = FreeCell caption = FreeCell in Windows Vista picture format = developer = [http://www.oberongames.com/ Oberon Games] (Windows Vista version) Microsoft (older versions) publisher = Microsoft distributor = designer =… … Wikipedia
The Select Family of Staffing Companies — Infobox Company company name = The Select Family of Staffing Companies (Koosharem Corp.) company type = Private foundation = 1985 location city = Santa Barbara, CA location country = USA industry = nationwide staffing, employee leasing, and… … Wikipedia
