-
21 program correctness proof
Вычислительная техника: доказательство правильности программыУниверсальный англо-русский словарь > program correctness proof
-
22 program correctness proof
English-Russian information technology > program correctness proof
-
23 crash-proof program
test program — тест; тестовая программа; программа испытаний
strip program — иллюстрированная программа типа "сделай сам"
-
24 crash-proof program
программа, устойчивая к сбоюEnglish-Russian dictionary of Information technology > crash-proof program
-
25 crash-proof program
Большой англо-русский и русско-английский словарь > crash-proof program
-
26 ABC's Flagship Bullet Proof Manager Program
Общая лексика: Ведущая программа АВС "Несокрушимый Менеджер"Универсальный англо-русский словарь > ABC's Flagship Bullet Proof Manager Program
-
27 crash-proof program
1) Вычислительная техника: "живучая" программа, живучая программа (защищённая от разрушения), программа, устойчивая к сбою, программа, устойчивая с сбою, живучая программа (защищенная от разрушения)2) Безопасность: защищённая от разрушения программа -
28 crash-proof program
защищенная от разрушения программа, живучая программаАнгло-русский словарь по компьютерной безопасности > crash-proof program
-
29 crash-proof program
English-Russian dictionary of computer science and programming > crash-proof program
-
30 crash-proof program
программа, устойчивая к сбоюАнгло-русский словарь компьютерных и интернет терминов > crash-proof program
-
31 crash-proof program
программа, устойчивая к сбоюEnglish-Russian dictionary of terms that are used in computer games > crash-proof program
-
32 crash-proof program
программа, устойчивая с сбою; "живучая" программаEnglish-Russian information technology > crash-proof program
-
33 crash-proof program
English-Russian dictionary of computer science > crash-proof program
-
34 доказательство правильности программы
Большой англо-русский и русско-английский словарь > доказательство правильности программы
-
35 POP
1) Компьютерная техника: Positively Outstanding Programming, polar orbiting platform2) Медицина: percutaneous osteoplasty3) Американизм: Point Of Purpose, Power Of People4) Военный термин: Partially Ordered Program, period of performance, pipeline outfit, petroleum, preflight operations procedure, primary operation, project objective plan5) Техника: plane of polarization6) Религия: Presbyterian Outreach To Patients7) Метеорология: Professor Ozone Patrol8) Фармакология: Таблетки, содержащие исключительно прогестин (Progestin Only Pills), Таблетки, содержащие исключительно прогестоген (Progestogen Only Pills)9) Телекоммуникации: Post Office Protocol (Internet)10) Сокращение: Perpendicular Ocean Platform, Plug-in, Optronic Payload, Point Of Purchase promotions, Post Office Preferred (European standardized envelopes for automation), Post Office Protocol (Internet) [e.g., POP3 - Post Office Protocol, Version 3], Pulse-On-Pulse, popping, Post Office Protocol (esp. TCP/IP), Prelaunch Operations Plan, Program Operating Plan, Pacific Ocean Park (nautical theme park), Package for Online Programming, Package on Package, Package-Oriented Programming, Parallel Ocean Program (Global Ocean Model), Parity of Product, Partial Order Plan, Passing Out Parade, Pay One Price, Payment on Principal (lending), Peak Optical Power, Peak Overpressure, Pelvic Organ Prolapse, Performance Optimized Program, Perpendicular to Orbital Plane, Persistent Occipitoposterior Position (complication of labor and delivery), Picture Out Picture, Picture Outside Picture (television feature), Picture of Performance (human resources), Picture on Picture, Picture on Profile (roleplaying gaming), Picture over Picture, Piece Of Paper, Piece of Pie, Pissed Off Person, Place of Performance, Planes of Power (Everquest expansion), Plasma Oscillation Probe, Plaster of Paris, Point of Penetration, Point of Production, Poke'mon Organized Play, Polar Orbiting Platform (ASPRS), Pop From Stack, Power Of The Pen, Power Optimization Problem, Power of Prevention (American Association of Clinical Endocrinologists), Pre-Teens Oppose Prohibition (Kids Next Door show), Precision Optical Performance, Premium Offset Plan (insurance), Premium Only Plan (employee benefit plan), Presensitized Offset Plate, Prince of Peace, Prince of Persia (video game), Princess of Power (She-Ra toy and animated TV show), Principal-Only Payment (loans), Printing-Out Paper, Probability of Paternity, Probability of Precipitation, Problem Oriented Policing, Process Operating Procedure, Processor on Plug-In (H/W), Prodigies of Peace, Professional Options Package, Progestogen-Only Pill (contraception), Prolyl Oligopeptidase, Proof Of Purchase, Proof of Payment, Proof of Performance, Proof of Possession, Proof of Principle, Proof of Product (validate/verify vendor's part number), Proofs-Of-Principle, Proper Operating Procedure (military), Prophets of Profit, Protected Object Policy, Protected Outperformance Participation Unit, Pseudo Operation, Public Offering Price (finance), Puerto Plata, Dominican Republic - La Union (Airport Code), Pulsed Optically Pumped (quantum optical physics), Purchase Order Processing, Pursuit of Perfection (gaming), Pustaka-On-Phone, Put on Production11) Университет: Professor Of The Planet12) Вычислительная техника: Post Office Protocol; Point of Presence, процессор с программируемыми данными, Point Of Presence (Internet, ISP), Point of Presence (Telephony), post office protocol14) Гинекология: выпадение органов малого таза (pelvic organ prolapse)15) Педиатрия: Программа Пропаганды Беременности (Pregnancy Outreach Program)17) Фирменный знак: People's Online Publishing18) Экология: Persistent organic pollutant19) Реклама: реклама в месте продажи20) Деловая лексика: Point Of Purchase21) Бурение: putting on pump (installing a pumping unit on a well)22) Глоссарий компании Сахалин Энерджи: put on the pump, Port Open Permit, Plant Operation Permit23) Нефтегазовая техника вертикальная скорость проходки, механическая скорость бурения24) Сетевые технологии: Pass On Packet, Post Office Protocol, местный поставщик Internet-услуг, месторасположение, почтовый протокол, точка входа в сеть, точка присутствия, узел входа в сеть25) Программирование: Pop a Word from the Stack, (Post Office Protocol) протокол почтового отделения (см. Post Office Protocol)26) Пластмассы: Point of Purchase (Marketing Displays)27) Океанография: Parallel Ocean Program28) Сахалин А: project development plan29) Химическое оружие: performance-oriented packaging30) Ювелирное дело: место продажи (напр. магазин) (Point of Purchase)31) Расширение файла: Point Of Presence, Messages index (PopMail), Pop-up menu object (dBASE Application Generator)32) Имена и фамилии: Prince Of Persia33) Чат: Pissing Off People, Premises Of Post34) NYSE. Pope & Talbot, Inc.35) Аэропорты: Puerto Plata, Dominican Republic -
36 PoP
1) Компьютерная техника: Positively Outstanding Programming, polar orbiting platform2) Медицина: percutaneous osteoplasty3) Американизм: Point Of Purpose, Power Of People4) Военный термин: Partially Ordered Program, period of performance, pipeline outfit, petroleum, preflight operations procedure, primary operation, project objective plan5) Техника: plane of polarization6) Религия: Presbyterian Outreach To Patients7) Метеорология: Professor Ozone Patrol8) Фармакология: Таблетки, содержащие исключительно прогестин (Progestin Only Pills), Таблетки, содержащие исключительно прогестоген (Progestogen Only Pills)9) Телекоммуникации: Post Office Protocol (Internet)10) Сокращение: Perpendicular Ocean Platform, Plug-in, Optronic Payload, Point Of Purchase promotions, Post Office Preferred (European standardized envelopes for automation), Post Office Protocol (Internet) [e.g., POP3 - Post Office Protocol, Version 3], Pulse-On-Pulse, popping, Post Office Protocol (esp. TCP/IP), Prelaunch Operations Plan, Program Operating Plan, Pacific Ocean Park (nautical theme park), Package for Online Programming, Package on Package, Package-Oriented Programming, Parallel Ocean Program (Global Ocean Model), Parity of Product, Partial Order Plan, Passing Out Parade, Pay One Price, Payment on Principal (lending), Peak Optical Power, Peak Overpressure, Pelvic Organ Prolapse, Performance Optimized Program, Perpendicular to Orbital Plane, Persistent Occipitoposterior Position (complication of labor and delivery), Picture Out Picture, Picture Outside Picture (television feature), Picture of Performance (human resources), Picture on Picture, Picture on Profile (roleplaying gaming), Picture over Picture, Piece Of Paper, Piece of Pie, Pissed Off Person, Place of Performance, Planes of Power (Everquest expansion), Plasma Oscillation Probe, Plaster of Paris, Point of Penetration, Point of Production, Poke'mon Organized Play, Polar Orbiting Platform (ASPRS), Pop From Stack, Power Of The Pen, Power Optimization Problem, Power of Prevention (American Association of Clinical Endocrinologists), Pre-Teens Oppose Prohibition (Kids Next Door show), Precision Optical Performance, Premium Offset Plan (insurance), Premium Only Plan (employee benefit plan), Presensitized Offset Plate, Prince of Peace, Prince of Persia (video game), Princess of Power (She-Ra toy and animated TV show), Principal-Only Payment (loans), Printing-Out Paper, Probability of Paternity, Probability of Precipitation, Problem Oriented Policing, Process Operating Procedure, Processor on Plug-In (H/W), Prodigies of Peace, Professional Options Package, Progestogen-Only Pill (contraception), Prolyl Oligopeptidase, Proof Of Purchase, Proof of Payment, Proof of Performance, Proof of Possession, Proof of Principle, Proof of Product (validate/verify vendor's part number), Proofs-Of-Principle, Proper Operating Procedure (military), Prophets of Profit, Protected Object Policy, Protected Outperformance Participation Unit, Pseudo Operation, Public Offering Price (finance), Puerto Plata, Dominican Republic - La Union (Airport Code), Pulsed Optically Pumped (quantum optical physics), Purchase Order Processing, Pursuit of Perfection (gaming), Pustaka-On-Phone, Put on Production11) Университет: Professor Of The Planet12) Вычислительная техника: Post Office Protocol; Point of Presence, процессор с программируемыми данными, Point Of Presence (Internet, ISP), Point of Presence (Telephony), post office protocol14) Гинекология: выпадение органов малого таза (pelvic organ prolapse)15) Педиатрия: Программа Пропаганды Беременности (Pregnancy Outreach Program)17) Фирменный знак: People's Online Publishing18) Экология: Persistent organic pollutant19) Реклама: реклама в месте продажи20) Деловая лексика: Point Of Purchase21) Бурение: putting on pump (installing a pumping unit on a well)22) Глоссарий компании Сахалин Энерджи: put on the pump, Port Open Permit, Plant Operation Permit23) Нефтегазовая техника вертикальная скорость проходки, механическая скорость бурения24) Сетевые технологии: Pass On Packet, Post Office Protocol, местный поставщик Internet-услуг, месторасположение, почтовый протокол, точка входа в сеть, точка присутствия, узел входа в сеть25) Программирование: Pop a Word from the Stack, (Post Office Protocol) протокол почтового отделения (см. Post Office Protocol)26) Пластмассы: Point of Purchase (Marketing Displays)27) Океанография: Parallel Ocean Program28) Сахалин А: project development plan29) Химическое оружие: performance-oriented packaging30) Ювелирное дело: место продажи (напр. магазин) (Point of Purchase)31) Расширение файла: Point Of Presence, Messages index (PopMail), Pop-up menu object (dBASE Application Generator)32) Имена и фамилии: Prince Of Persia33) Чат: Pissing Off People, Premises Of Post34) NYSE. Pope & Talbot, Inc.35) Аэропорты: Puerto Plata, Dominican Republic -
37 Pop
1) Компьютерная техника: Positively Outstanding Programming, polar orbiting platform2) Медицина: percutaneous osteoplasty3) Американизм: Point Of Purpose, Power Of People4) Военный термин: Partially Ordered Program, period of performance, pipeline outfit, petroleum, preflight operations procedure, primary operation, project objective plan5) Техника: plane of polarization6) Религия: Presbyterian Outreach To Patients7) Метеорология: Professor Ozone Patrol8) Фармакология: Таблетки, содержащие исключительно прогестин (Progestin Only Pills), Таблетки, содержащие исключительно прогестоген (Progestogen Only Pills)9) Телекоммуникации: Post Office Protocol (Internet)10) Сокращение: Perpendicular Ocean Platform, Plug-in, Optronic Payload, Point Of Purchase promotions, Post Office Preferred (European standardized envelopes for automation), Post Office Protocol (Internet) [e.g., POP3 - Post Office Protocol, Version 3], Pulse-On-Pulse, popping, Post Office Protocol (esp. TCP/IP), Prelaunch Operations Plan, Program Operating Plan, Pacific Ocean Park (nautical theme park), Package for Online Programming, Package on Package, Package-Oriented Programming, Parallel Ocean Program (Global Ocean Model), Parity of Product, Partial Order Plan, Passing Out Parade, Pay One Price, Payment on Principal (lending), Peak Optical Power, Peak Overpressure, Pelvic Organ Prolapse, Performance Optimized Program, Perpendicular to Orbital Plane, Persistent Occipitoposterior Position (complication of labor and delivery), Picture Out Picture, Picture Outside Picture (television feature), Picture of Performance (human resources), Picture on Picture, Picture on Profile (roleplaying gaming), Picture over Picture, Piece Of Paper, Piece of Pie, Pissed Off Person, Place of Performance, Planes of Power (Everquest expansion), Plasma Oscillation Probe, Plaster of Paris, Point of Penetration, Point of Production, Poke'mon Organized Play, Polar Orbiting Platform (ASPRS), Pop From Stack, Power Of The Pen, Power Optimization Problem, Power of Prevention (American Association of Clinical Endocrinologists), Pre-Teens Oppose Prohibition (Kids Next Door show), Precision Optical Performance, Premium Offset Plan (insurance), Premium Only Plan (employee benefit plan), Presensitized Offset Plate, Prince of Peace, Prince of Persia (video game), Princess of Power (She-Ra toy and animated TV show), Principal-Only Payment (loans), Printing-Out Paper, Probability of Paternity, Probability of Precipitation, Problem Oriented Policing, Process Operating Procedure, Processor on Plug-In (H/W), Prodigies of Peace, Professional Options Package, Progestogen-Only Pill (contraception), Prolyl Oligopeptidase, Proof Of Purchase, Proof of Payment, Proof of Performance, Proof of Possession, Proof of Principle, Proof of Product (validate/verify vendor's part number), Proofs-Of-Principle, Proper Operating Procedure (military), Prophets of Profit, Protected Object Policy, Protected Outperformance Participation Unit, Pseudo Operation, Public Offering Price (finance), Puerto Plata, Dominican Republic - La Union (Airport Code), Pulsed Optically Pumped (quantum optical physics), Purchase Order Processing, Pursuit of Perfection (gaming), Pustaka-On-Phone, Put on Production11) Университет: Professor Of The Planet12) Вычислительная техника: Post Office Protocol; Point of Presence, процессор с программируемыми данными, Point Of Presence (Internet, ISP), Point of Presence (Telephony), post office protocol14) Гинекология: выпадение органов малого таза (pelvic organ prolapse)15) Педиатрия: Программа Пропаганды Беременности (Pregnancy Outreach Program)17) Фирменный знак: People's Online Publishing18) Экология: Persistent organic pollutant19) Реклама: реклама в месте продажи20) Деловая лексика: Point Of Purchase21) Бурение: putting on pump (installing a pumping unit on a well)22) Глоссарий компании Сахалин Энерджи: put on the pump, Port Open Permit, Plant Operation Permit23) Нефтегазовая техника вертикальная скорость проходки, механическая скорость бурения24) Сетевые технологии: Pass On Packet, Post Office Protocol, местный поставщик Internet-услуг, месторасположение, почтовый протокол, точка входа в сеть, точка присутствия, узел входа в сеть25) Программирование: Pop a Word from the Stack, (Post Office Protocol) протокол почтового отделения (см. Post Office Protocol)26) Пластмассы: Point of Purchase (Marketing Displays)27) Океанография: Parallel Ocean Program28) Сахалин А: project development plan29) Химическое оружие: performance-oriented packaging30) Ювелирное дело: место продажи (напр. магазин) (Point of Purchase)31) Расширение файла: Point Of Presence, Messages index (PopMail), Pop-up menu object (dBASE Application Generator)32) Имена и фамилии: Prince Of Persia33) Чат: Pissing Off People, Premises Of Post34) NYSE. Pope & Talbot, Inc.35) Аэропорты: Puerto Plata, Dominican Republic -
38 pop
1) Компьютерная техника: Positively Outstanding Programming, polar orbiting platform2) Медицина: percutaneous osteoplasty3) Американизм: Point Of Purpose, Power Of People4) Военный термин: Partially Ordered Program, period of performance, pipeline outfit, petroleum, preflight operations procedure, primary operation, project objective plan5) Техника: plane of polarization6) Религия: Presbyterian Outreach To Patients7) Метеорология: Professor Ozone Patrol8) Фармакология: Таблетки, содержащие исключительно прогестин (Progestin Only Pills), Таблетки, содержащие исключительно прогестоген (Progestogen Only Pills)9) Телекоммуникации: Post Office Protocol (Internet)10) Сокращение: Perpendicular Ocean Platform, Plug-in, Optronic Payload, Point Of Purchase promotions, Post Office Preferred (European standardized envelopes for automation), Post Office Protocol (Internet) [e.g., POP3 - Post Office Protocol, Version 3], Pulse-On-Pulse, popping, Post Office Protocol (esp. TCP/IP), Prelaunch Operations Plan, Program Operating Plan, Pacific Ocean Park (nautical theme park), Package for Online Programming, Package on Package, Package-Oriented Programming, Parallel Ocean Program (Global Ocean Model), Parity of Product, Partial Order Plan, Passing Out Parade, Pay One Price, Payment on Principal (lending), Peak Optical Power, Peak Overpressure, Pelvic Organ Prolapse, Performance Optimized Program, Perpendicular to Orbital Plane, Persistent Occipitoposterior Position (complication of labor and delivery), Picture Out Picture, Picture Outside Picture (television feature), Picture of Performance (human resources), Picture on Picture, Picture on Profile (roleplaying gaming), Picture over Picture, Piece Of Paper, Piece of Pie, Pissed Off Person, Place of Performance, Planes of Power (Everquest expansion), Plasma Oscillation Probe, Plaster of Paris, Point of Penetration, Point of Production, Poke'mon Organized Play, Polar Orbiting Platform (ASPRS), Pop From Stack, Power Of The Pen, Power Optimization Problem, Power of Prevention (American Association of Clinical Endocrinologists), Pre-Teens Oppose Prohibition (Kids Next Door show), Precision Optical Performance, Premium Offset Plan (insurance), Premium Only Plan (employee benefit plan), Presensitized Offset Plate, Prince of Peace, Prince of Persia (video game), Princess of Power (She-Ra toy and animated TV show), Principal-Only Payment (loans), Printing-Out Paper, Probability of Paternity, Probability of Precipitation, Problem Oriented Policing, Process Operating Procedure, Processor on Plug-In (H/W), Prodigies of Peace, Professional Options Package, Progestogen-Only Pill (contraception), Prolyl Oligopeptidase, Proof Of Purchase, Proof of Payment, Proof of Performance, Proof of Possession, Proof of Principle, Proof of Product (validate/verify vendor's part number), Proofs-Of-Principle, Proper Operating Procedure (military), Prophets of Profit, Protected Object Policy, Protected Outperformance Participation Unit, Pseudo Operation, Public Offering Price (finance), Puerto Plata, Dominican Republic - La Union (Airport Code), Pulsed Optically Pumped (quantum optical physics), Purchase Order Processing, Pursuit of Perfection (gaming), Pustaka-On-Phone, Put on Production11) Университет: Professor Of The Planet12) Вычислительная техника: Post Office Protocol; Point of Presence, процессор с программируемыми данными, Point Of Presence (Internet, ISP), Point of Presence (Telephony), post office protocol14) Гинекология: выпадение органов малого таза (pelvic organ prolapse)15) Педиатрия: Программа Пропаганды Беременности (Pregnancy Outreach Program)17) Фирменный знак: People's Online Publishing18) Экология: Persistent organic pollutant19) Реклама: реклама в месте продажи20) Деловая лексика: Point Of Purchase21) Бурение: putting on pump (installing a pumping unit on a well)22) Глоссарий компании Сахалин Энерджи: put on the pump, Port Open Permit, Plant Operation Permit23) Нефтегазовая техника вертикальная скорость проходки, механическая скорость бурения24) Сетевые технологии: Pass On Packet, Post Office Protocol, местный поставщик Internet-услуг, месторасположение, почтовый протокол, точка входа в сеть, точка присутствия, узел входа в сеть25) Программирование: Pop a Word from the Stack, (Post Office Protocol) протокол почтового отделения (см. Post Office Protocol)26) Пластмассы: Point of Purchase (Marketing Displays)27) Океанография: Parallel Ocean Program28) Сахалин А: project development plan29) Химическое оружие: performance-oriented packaging30) Ювелирное дело: место продажи (напр. магазин) (Point of Purchase)31) Расширение файла: Point Of Presence, Messages index (PopMail), Pop-up menu object (dBASE Application Generator)32) Имена и фамилии: Prince Of Persia33) Чат: Pissing Off People, Premises Of Post34) NYSE. Pope & Talbot, Inc.35) Аэропорты: Puerto Plata, Dominican Republic -
39 PS
1) Общая лексика: project schedules2) Компьютерная техника: Physically Sequential, Power Save, Power Solution, Pre Set, Problem Sheet, Process Status, processor sharing4) Биология: photosystem5) Морской термин: portside, левый борт6) Медицина: Penicillin Susceptible, pulmonary stenosis, сыворотка плазмы7) Американизм: Professional Services8) Спорт: Performance Supplement, Practice Sheet9) Латинский язык: Post Scriptum10) Военный термин: Personnel Services, Photographic Service, Physical Strength, Piece of Shit, Piercing Slashing, Pole Smoker, Policy Support, Post Script, Processing Segmext, Processing Station, packing sheet, parachute subsystem, parade state, passed school, patrol ship, payload shroud, paymaster sergeant, performance standard, permanent staff, personal services, personal skills, personal survival, personnel strength, personnel subsystem, petrol station, photographic squadron, physical security, picket ship, pilot simulator, pioneer school, pistol sharpshooter, planning and scheduling, planning study, plotting system, port security, power section, power source, power station, power system, preliminary study, prior service, probability of survival, problem statement, procurement specification, product standards, professional staffing, program summary, proof shoot, propellant supply, propellant system, provost sergeant, public safety, pulse search, pulse sensor, Пи-Эс (хлорпикрин)11) Техника: Phasing System, packet switching equipment, particle settling, payload specialist, planar stripe, policy statement, polysilicon, potential supplier, power-save input, power-save output, pressurizer surge, prevention system, primary sight, primary station, production standard, program sharing, program sponsor, proton synchrotron, pulse stretcher, лошадиная сила( PferdeStark, по-немецки, система DIN) (http://forum.lingvo.ru/actualthread.aspx?bid=18&tid=35213&hl=equivalent), л.с. (часто в английских текстах пишут немецкий вариант HP), Proximity sensor12) Шутливое выражение: Paint Shop13) Математика: вероятность успешного исхода (probability of success), доля успешных исходов (proportion of successes), статистически значимый (probably significant)14) Бухгалтерия: Point Source, Purchase Sale15) Фармакология: ФС, фосфатидилсерин, Ptd-L-Ser, phosphatidyl serine, phosphatidylserine16) Автомобильный термин: power steering17) Биржевой термин: Parent Shelf18) Грубое выражение: Penis Sucker, Penis Suckers, Pubes Shaved19) Политика: Trust Territory of the Pacific Islands (Palau), (polling station) избирательный участок20) Телевидение: phase shift21) Сокращение: Paleontological Society, Pashto, Passenger Service, Pharmaceutical Society, Police Sergeant, PostScriptum, Postal Service schedule, Privy Seal, Probability of mission Success, Progressive Scan, Proposed Standard, Protective Security, Public School, Pushto, chloropicrin, parallel-to-serial, passenger steamer, passing scuttle, plus, point of switch, port and starboard, power surplus, pull switch, power supply (comb form), process specification (number), proof shot (projectile), Principal Secretary (в Индии. Напр.: The Principal Secretary to Minister)22) Университет: Pirate School, Positively Superior23) Физика: протонный синхротрон24) Физиология: Physical Status, Present Symptoms, population spike25) Школьное выражение: Primary School26) Электроника: Polar Stereographic, Porous silicon, Pulse Shape, Pulse Shaping27) Вычислительная техника: PostScript, Power Supply, packet switching, privileged state, pulse shaper, расширение файлов в формате PostScript Interpreted, PostScript (Adobe), Privilege Service (DCE), Process Status (Unix)28) Литература: Pauline Shirley29) Нефть: Pressure Switches, plough steel, potentiometric surface, pressure switch, производственный стандарт (production standard), промышленный стандарт (production standard)30) Биохимия: Paradoxical Sleep31) Связь: Peripheral Shelf (A7xxx family)32) Картография: police station, polar stereographic (projection)33) Банковское дело: привилегированная акция (preferred stock)34) Парфюмерия: полистирол35) Фирменный знак: Phy Science, Power Solutions36) Экология: plankton studies37) СМИ: Phantasy Star, Priority Seating38) Деловая лексика: Production Sample39) Глоссарий компании Сахалин Энерджи: Project Specification, Project specifications, piping supervisor40) Образование: Pluralistic School, Polite Society, Post Scrip, Pre School, Pubic School, Public Service41) Инвестиции: preferred stock42) Сетевые технологии: Parallel Sessions, Path Separator, Print Server, packet switch, personal system, коммутатор пакетов, персональная система, узел коммутации пакетов43) Полимеры: partially soluble, permanent set, polystyrene, polysulfide, pressure sensitive, proof stress44) Программирование: Program Start, Program Stream45) Контроль качества: probability of success, probability of success production standard46) Полупроводники: photoemission spectroscopy47) Сахалин Ю: protective services, pump station48) Химическое оружие: chloropicrin, agent, potassium salt of methyl-phosphonic acid, propulsion system, trichloronitromethane, К-соль МФК, chloropicrin (trichloronitromethane)49) Макаров: (planar stripe) планарный полосковый (о лазере)50) Расширение файла: Problem Specification, Program Stores, Proportional Spacing, Document in PostScript format (Adobe), Adobe Postscript document (text/graphics)51) Нефть и газ: oil pump station, oil transfer pumping station, НПС, нефтеперекачивающая станция, NPS52) Фантастика Philosophers Stone53) Имена и фамилии: Popcorn Shrimp54) Фармация: Performance Status55) Hi-Fi. Program Service56) Должность: Performance Spectrum, Political Skills, Private Secretary57) Чат: Painfully Sarcastic, Post Silly58) Правительство: Peach State59) НАСА: Performance Space, Planetary And Solar60) Единицы измерений: Per Spring, Pico Seconds61) ГОСТ: pressure support -
40 Ps
1) Общая лексика: project schedules2) Компьютерная техника: Physically Sequential, Power Save, Power Solution, Pre Set, Problem Sheet, Process Status, processor sharing4) Биология: photosystem5) Морской термин: portside, левый борт6) Медицина: Penicillin Susceptible, pulmonary stenosis, сыворотка плазмы7) Американизм: Professional Services8) Спорт: Performance Supplement, Practice Sheet9) Латинский язык: Post Scriptum10) Военный термин: Personnel Services, Photographic Service, Physical Strength, Piece of Shit, Piercing Slashing, Pole Smoker, Policy Support, Post Script, Processing Segmext, Processing Station, packing sheet, parachute subsystem, parade state, passed school, patrol ship, payload shroud, paymaster sergeant, performance standard, permanent staff, personal services, personal skills, personal survival, personnel strength, personnel subsystem, petrol station, photographic squadron, physical security, picket ship, pilot simulator, pioneer school, pistol sharpshooter, planning and scheduling, planning study, plotting system, port security, power section, power source, power station, power system, preliminary study, prior service, probability of survival, problem statement, procurement specification, product standards, professional staffing, program summary, proof shoot, propellant supply, propellant system, provost sergeant, public safety, pulse search, pulse sensor, Пи-Эс (хлорпикрин)11) Техника: Phasing System, packet switching equipment, particle settling, payload specialist, planar stripe, policy statement, polysilicon, potential supplier, power-save input, power-save output, pressurizer surge, prevention system, primary sight, primary station, production standard, program sharing, program sponsor, proton synchrotron, pulse stretcher, лошадиная сила( PferdeStark, по-немецки, система DIN) (http://forum.lingvo.ru/actualthread.aspx?bid=18&tid=35213&hl=equivalent), л.с. (часто в английских текстах пишут немецкий вариант HP), Proximity sensor12) Шутливое выражение: Paint Shop13) Математика: вероятность успешного исхода (probability of success), доля успешных исходов (proportion of successes), статистически значимый (probably significant)14) Бухгалтерия: Point Source, Purchase Sale15) Фармакология: ФС, фосфатидилсерин, Ptd-L-Ser, phosphatidyl serine, phosphatidylserine16) Автомобильный термин: power steering17) Биржевой термин: Parent Shelf18) Грубое выражение: Penis Sucker, Penis Suckers, Pubes Shaved19) Политика: Trust Territory of the Pacific Islands (Palau), (polling station) избирательный участок20) Телевидение: phase shift21) Сокращение: Paleontological Society, Pashto, Passenger Service, Pharmaceutical Society, Police Sergeant, PostScriptum, Postal Service schedule, Privy Seal, Probability of mission Success, Progressive Scan, Proposed Standard, Protective Security, Public School, Pushto, chloropicrin, parallel-to-serial, passenger steamer, passing scuttle, plus, point of switch, port and starboard, power surplus, pull switch, power supply (comb form), process specification (number), proof shot (projectile), Principal Secretary (в Индии. Напр.: The Principal Secretary to Minister)22) Университет: Pirate School, Positively Superior23) Физика: протонный синхротрон24) Физиология: Physical Status, Present Symptoms, population spike25) Школьное выражение: Primary School26) Электроника: Polar Stereographic, Porous silicon, Pulse Shape, Pulse Shaping27) Вычислительная техника: PostScript, Power Supply, packet switching, privileged state, pulse shaper, расширение файлов в формате PostScript Interpreted, PostScript (Adobe), Privilege Service (DCE), Process Status (Unix)28) Литература: Pauline Shirley29) Нефть: Pressure Switches, plough steel, potentiometric surface, pressure switch, производственный стандарт (production standard), промышленный стандарт (production standard)30) Биохимия: Paradoxical Sleep31) Связь: Peripheral Shelf (A7xxx family)32) Картография: police station, polar stereographic (projection)33) Банковское дело: привилегированная акция (preferred stock)34) Парфюмерия: полистирол35) Фирменный знак: Phy Science, Power Solutions36) Экология: plankton studies37) СМИ: Phantasy Star, Priority Seating38) Деловая лексика: Production Sample39) Глоссарий компании Сахалин Энерджи: Project Specification, Project specifications, piping supervisor40) Образование: Pluralistic School, Polite Society, Post Scrip, Pre School, Pubic School, Public Service41) Инвестиции: preferred stock42) Сетевые технологии: Parallel Sessions, Path Separator, Print Server, packet switch, personal system, коммутатор пакетов, персональная система, узел коммутации пакетов43) Полимеры: partially soluble, permanent set, polystyrene, polysulfide, pressure sensitive, proof stress44) Программирование: Program Start, Program Stream45) Контроль качества: probability of success, probability of success production standard46) Полупроводники: photoemission spectroscopy47) Сахалин Ю: protective services, pump station48) Химическое оружие: chloropicrin, agent, potassium salt of methyl-phosphonic acid, propulsion system, trichloronitromethane, К-соль МФК, chloropicrin (trichloronitromethane)49) Макаров: (planar stripe) планарный полосковый (о лазере)50) Расширение файла: Problem Specification, Program Stores, Proportional Spacing, Document in PostScript format (Adobe), Adobe Postscript document (text/graphics)51) Нефть и газ: oil pump station, oil transfer pumping station, НПС, нефтеперекачивающая станция, NPS52) Фантастика Philosophers Stone53) Имена и фамилии: Popcorn Shrimp54) Фармация: Performance Status55) Hi-Fi. Program Service56) Должность: Performance Spectrum, Political Skills, Private Secretary57) Чат: Painfully Sarcastic, Post Silly58) Правительство: Peach State59) НАСА: Performance Space, Planetary And Solar60) Единицы измерений: Per Spring, Pico Seconds61) ГОСТ: pressure support
Страницы
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Proof Positive — Infobox Television show name = Proof Positive caption = format = Documentary picture format = runtime = 60 minutes (including commercials) developer = executive producer = starring = Amanda Tapping country = United States network = Sci Fi Channel … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Proof of knowledge — In cryptography, a proof of knowledge is an interactive proof in which the prover succeeds convincing a verifier that it knows something. What it means for a machine to know something is defined in terms of computation. A machine knows something … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof mining — In proof theory (a branch of mathematical logic), proof mining is a research program [cite book title = Applied Proof Theory: Proof Interpretations and Their Use in Mathematics author = Ulrich Kohlenbach publisher = Springer Verlag, Berlin year … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
NEXUS (frequent traveler program) — NEXUS logo NEXUS is a joint Canada United States program designed to let pre approved, low risk travelers cross the US Canada border quickly. Members of the program can avoid long waits at border entry points by using self serve kiosks at… … Wikipedia
