نتایج جستجو برای: anthony

تعداد نتایج: 3724  

Journal: :Softwaretechnik-Trends 2006
Jens Bendisposto Michael Leuschel

The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of critical domains. In addition to the proof activities it is increasingly being realised that validation of the initial specification is important, as otherwise a correct implementation of an incorrect specification is being developed. This validation can come in the form...

2007
Michael Leuschel Jens Bendisposto

The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of critical domains. In addition to the proof activities it is increasingly being realised that validation of the initial specification is important, as otherwise a correct implementation of an incorrect specification is being developed. This validation can come in the form...

Journal: :British Dental Journal 2011

Journal: :Clinical & Experimental Allergy 2018

2004
Anthony J. Leggett

It is needless to say that I feel it a great honor and privilege to have been selected for the 2003 Nobel prize in physics for my theoretical work on superfluid 3He; I am particularly pleased to be sharing the award with Professors Ginzburg and Abrikosov, whom I have always looked up to as giants of the closely related fleld of superconductivity. The story of how, in roughly the twelve-month pe...

2014
Joydeb Majumder Siddhartha Sankar Jana

Title:A novel naproxen derivative capable of displaying anti-cancer and anti-migratory properties against human breast cancer cells

Journal: :Check List 2021

Quimsacocha National Recreation Area is located on the western slope of Andes in Azuay Province, southern Ecuador. All sampling locations were high paramo and Andean forests (3,572 to 3,865 m). The habitats include paramo, bogs, riparian, patches elfin forests, secondary cloud forest. We set Sherman, pitfall, camera traps (3,600 trap nights), mist nets collect 117 specimens. Eight species colle...

2014
Anthony Sofo

Anthony Sofo Victoria University College, Victoria University, P.O. Box 14428, Melbourne City, VIC 8001, Australia Correspondence should be addressed to Anthony Sofo, [email protected] Received 18 January 2011; Accepted 3 April 2011 Academic Editor: Toufik Mansour Copyright q 2011 Anthony Sofo. This is an open access article distributed under the Creative Commons Attribution License, which...

2017
Sidney Glina

In November, 5th, 2017, on the day Dr. Anthony J. Thomas Jr. would turn 74, he passed away. He was an internationally recognized reputed urologist, that popularized microsurgery in the urological community. Tony was a great friend of Brazilian Urology. He opened the doors of the Cleveland Clinic Foundation to Brazilian urologists. When he introduced me to his colleagues during meetings, he alwa...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید