- procedure abstraction
- процедурная абстракция
Большой англо-русский и русско-английский словарь. 2001.
procedure abstraction
Смотреть что такое "procedure abstraction" в других словарях:
ABSTRACTION — ABSTRACTI Terme qui renvoie à tout au moins quatre significations, à la fois indépendantes les unes des autres et pourtant reliées par un jeu de correspondances profondes. Un sens premier du mot abstraction est le suivant: négliger toutes les… … Encyclopédie Universelle
Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… … Wikipedia
Stored procedure — A stored procedure is a subroutine available to applications accessing a relational database system. Stored procedures (sometimes called a proc, sproc, StoPro, or SP) are actually stored in the database data dictionary.Typical uses for stored… … Wikipedia
Définition par abstraction — ● Définition par abstraction procédure qui consiste à définir une notion non pas en elle même, mais par le biais d une relation d équivalence où intervient cette notion. (On définit, par exemple, la notion de cardinal par abstraction en indiquant … Encyclopédie Universelle
Henry of Ghent and Duns Scotus — Stephen Dumont LIFE AND WORKS Henry of Ghent Henry of Ghent was arguably the most influential Latin theologian between Thomas Aquinas and Duns Scotus, regent as a leading master of theology at the University of Paris for the better part of the… … History of philosophy
FORME — L’histoire du concept de forme et des théories de la forme est des plus singulières. Nous vivons dans un monde constitué de formes naturelles. Celles ci sont omniprésentes dans notre environnement et dans les représentations que nous nous en… … Encyclopédie Universelle
Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… … Wikipedia
Kernel (computer science) — In computer science, the kernel is the central component of most computer operating systems (OS). Its responsibilities include managing the system s resources (the communication between hardware and software components). As a basic component of… … Wikipedia
Architecture of Windows NT — The Windows NT operating system family s architecture consists of two layers (user mode and kernel mode), with many different modules within both of these layers. The architecture of Windows NT, a line of operating systems produced and sold by… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Algorithmic efficiency — In computer science, efficiency is used to describe properties of an algorithm relating to how much of various types of resources it consumes. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or… … Wikipedia
