نتایج جستجو برای: 1489 mm

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

Journal: :Statistical Science 2010

Journal: :JOURNAL OF INFRARED AND MILLIMETER WAVES 2012

Journal: :International Astronomical Union Colloquium 1991

Journal: :IFAC Proceedings Volumes 2001

2012
Viliam Simko Petr Hnetynka Tomas Bures Frantisek Plasil

Textual use-cases have been traditionally used at the design stage of development process for describing software functionality from the user’s view. Their advantage is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present Formal Ver...

Journal: :Circulation journal : official journal of the Japanese Circulation Society 2013
Tatsuo Masuda Kazuki Ito Tsuyoshi Nagao Yuichiro Ide Hiroki Tsuboi Takatoshi Goto

Received November 29, 2012; revised manuscript received February 6, 2013; accepted March 11, 2013; released online April 17, 2013 Time for primary review: 26 days Center of Cardiology, Inuyama Chuo Hospital, Inuyama, Japan The current case was presented orally at the following meeting: 139th Japanese Circulation Society Tokai Session, held on July 7, 2012, at Act City Hamamatsu, Hamamatsu, Japa...

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

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