Jump to main content

yr 〜
yr

Search results 60

A logical method of selecting an approach for Amplatzer Septal Occluder implantation: Using transesophageal echocardiography to reduce procedure durations and avoid complications.

A logical method of selecting an approach for Amplatzer Septal Occluder implantation: Using transesophageal echocardiography to reduce procedure durations and avoid complications.
Digital博士論文障害者向け資料あり
中川, 直美2015-05-28
National Diet Library

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)
Paper図書
IOS Pressc2008.<M17-09-577>
National Diet Library
  • Author Heading...tute on Formal Logical Methods for System Security and Corre...

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
Paper図書
IOS Pressc2010.<M17-11-3494>
National Diet Library

A comparison of neural networks and fuzzy logic methods for process modeling [microform] / Krzysztof J. Cios and Dorel M. Sala, Laszlo Berke (NASA technical memorandum ; 107236)

A comparison of neural networks and fuzzy logic methods for process modeling [microform] / Krzysztof J. Cios and Dorel M. Sala, Laszlo Berke (NASA technical memorandum ; 107236)
Microform図書
1996<YCA-NAS 1.15:107236>
National Diet Library

Logical methods : [pbk.]

Logical methods : [pbk.]
Paper図書
Greg Restall and Shawn StandeferThe MIT Pressc2023
Other Libraries in Japan

Logical methods : the art of thinking abstractly and mathematically : pbk

Logical methods : the art of thinking abstractly and mathematically : pbk
Paper図書
Roger AntonsenSpringerc2021
Other Libraries in Japan

Logical methods

Logical methods
Paper図書
Christoph Sigwart ; [translated by Helen Dendy]Thoemmes Press2001
Other Libraries in Japan

The concept of motion in ancient Greek thought : foundations in logic, method, and mathematics

The concept of motion in ancient Greek thought : foundations in logic, method, and mathematics
Paper図書
Barbara M. SattlerCambridge University Press2020
Other Libraries in Japan

The character and logical method of political economy

The character and logical method of political economy
Paper図書
John Elliott Cairnes ; selected and with an introduction by Takutoshi InouePickering & Chatto2011
Other Libraries in Japan

Linguistic fuzzy logic methods in social sciences

Linguistic fuzzy logic methods in social sciences
Paper図書
Badredine ArfiSpringer-Verlagc2010
Other Libraries in Japan

Linguistic fuzzy logic methods in social sciences

Linguistic fuzzy logic methods in social sciences
Paper図書
Badredine ArfiSpringerc2010
Other Libraries in Japan

The character and logical method of political economy

The character and logical method of political economy
Paper図書
[John Elliot Cairnes] ; edited by Tom Boylan and Tadhg FoleyRoutledge2004
Other Libraries in Japan

Logical methods

Logical methods
Paper図書
Christoph SigwartGarland Pub.1980
Other Libraries in Japan

The character and logical method of political economy

The character and logical method of political economy
Paper図書
John Elliott CairnesRoutledge/Thoemmes Press1997
Other Libraries in Japan

APPLICATION STUDY OF FUZZY LOGIC METHODS FOR PLANT-STATE IDENTIFICATION (HWR ; HWR-432)

APPLICATION STUDY OF FUZZY LOGIC METHODS FOR PLANT-STATE IDENTIFICATION (HWR ; HWR-432)
Paper図書
Iijima, T.1995.
Other Libraries in Japan

Logical methods : in honor of Anil Nerode's sixtieth birthday : us : sz

Logical methods : in honor of Anil Nerode's sixtieth birthday : us : sz
Paper図書
John N. Crossley ... [et al.], editorsBirkhäuser1993
Other Libraries in Japan
  • Note (General)"A conference on Logical Methods was held in honor of Nerode's...

Luther as nominalist : a study of the logical methods used in Martin Luther's disputations in the light of their medieval background

Luther as nominalist : a study of the logical methods used in Martin Luther's disputations in the light of their medieval background
Paper図書
Graham WhiteLuther-Agricola-Societyc1994
Other Libraries in Japan

The development of the logical method in ancient China ... by Hu Shih (Suh Hu) ...

The development of the logical method in ancient China ... by Hu Shih (Suh Hu) ...
Paper図書
The Oriental Book Company1922.<181.1-H8747d>
National Diet Library

Logic

Logic
Paper図書
Christoph SigwartThoemmes Press2001
Other Libraries in Japan
  • Related MaterialLogical methods The judgment, concept, and in...

The character and logical method of political economy

The character and logical method of political economy
Paper図書
John E. CairnesFrank Cass1965
Other Libraries in Japan
RSS