Jump to main content

yr 〜
yr

Search results 114

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan

5th IFAC workshop on dependable control of discrete systems : (DCDS 2015) : Cancun, Mexico : 27-29 May 2015 : 5th IFAC international workshop on dependable control of discrete systems : May 2015, Cancun, Mexico. (IFAC PapersOnline ; 48 (7))

5th IFAC workshop on dependable control of discrete systems : (DCDS 2015) : Cancun, Mexico : 27-29 May 2015 : 5th IFAC international workshop on dependable control of discrete systems : May 2015, Cancun, Mexico. (IFAC PapersOnline ; 48 (7))
Paper図書
Elsevier Ltd.[2015]<M17-16-1154>
National Diet Library

H∞ control of linear multidimensional discrete systems and its applications

H∞ control of linear multidimensional discrete systems and its applications
Paper博士論文
Zhi-Yong Feng [著][Zhi-Yong Feng][2012]<UT51-2012-R777>
National Diet Library

2011 3rd International Workshop on Dependable Control of Discrete Systems

2011 3rd International Workshop on Dependable Control of Discrete Systems
Digital電子書籍・電子雑誌図書
2011
National Diet Library

4th IFAC workshop on dependable control of discrete systems 2013 : York, United Kingdom : 4-6 September 2013 : 2013 IFAC DCDS : Sep 2013, York, UK.

4th IFAC workshop on dependable control of discrete systems 2013 : York, United Kingdom : 4-6 September 2013 : 2013 IFAC DCDS : Sep 2013, York, UK.
Paper図書
Elsevierc2013.<M17-14-1573>
National Diet Library

12th international symposium on continuum models and discrete systems 2011 : (CMDS-12) : Kolkata, India : 21-25 February 2011 : CMDS meetings : CMDS 12 : Feb 2011, Kolkata, India. (Journal of Physics: Conference Series ; 319)

12th international symposium on continuum models and discrete systems 2011 : (CMDS-12) : Kolkata, India : 21-25 February 2011 : CMDS meetings : CMDS 12 : Feb 2011, Kolkata, India. (Journal of Physics: Conference Series ; 319)
Paper図書
Institute of Physicsc2011.<M17-12-2467>
National Diet Library

2011 3rd international workshop on dependable control of discrete systems : (DCDS 2011) : Saarbrucken, Germany : 15-17 June 2011 : Jun 2011, Saarbrucken, Germany.

2011 3rd international workshop on dependable control of discrete systems : (DCDS 2011) : Saarbrucken, Germany : 15-17 June 2011 : Jun 2011, Saarbrucken, Germany.
Paper図書
IEEEc2011.<M17-12-1285>
National Diet Library
  • Author Heading...ble Control of Discrete Systems (3rd : 2011 : Saarbrücken, Ge...

Continuum models and discrete systems. : NATO advanced research workshop on continuum models and discrete systems : 10th international symposium on continuum models and discrete systems (CMDS10) : Jun 2003, Shoresh, Israel. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 158)

Continuum models and discrete systems. : NATO advanced research workshop on continuum models and discrete systems : 10th international symposium on continuum models and discrete systems (CMDS10) : Jun 2003, Shoresh, Israel. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 158)
Paper図書
Kluwer Academic Publishersc2004.<M17-04-3458>
National Diet Library

2nd IFAC workshop on dependable control of discrete systems 2009 : Bari, Italy : 10-12 June 2009. : DCDS : Jun 2009, Bari, Italy.

2nd IFAC workshop on dependable control of discrete systems 2009 : Bari, Italy : 10-12 June 2009. : DCDS : Jun 2009, Bari, Italy.
Paper図書
IFACc2009.<M17-11-876>
National Diet Library

Studies on decision making for multi-level nonlinear discrete systems optimization problems

Studies on decision making for multi-level nonlinear discrete systems optimization problems
Paper博士論文
Md.Abul Kalam Azad [著][Md.Abul Kalam Azad]2006<UT51-2006-N258>
National Diet Library

1st IFAC workshop on dependable control of discrete systems 2007 : Cachan, France : 13-15 June 2007. : DCDS'07 : Jun 2007, Cachan, France.

1st IFAC workshop on dependable control of discrete systems 2007 : Cachan, France : 13-15 June 2007. : DCDS'07 : Jun 2007, Cachan, France.
Paper図書
IFACc2007.<M17-11-875>
National Diet Library

Singularity analysis and Hirota's bilinear method for nonlinear discrete systems

Singularity analysis and Hirota's bilinear method for nonlinear discrete systems
PaperDigital博士論文障害者向け資料あり
丸野健一 [著]<UT51-99-J527>
Available onlineNational Diet Library

Continuum models of discrete systems : 7th International conference : Jun 1992, Paderborn, Germany. (Materials Science Forum ; 123,124,125)

Continuum models of discrete systems : 7th International conference : Jun 1992, Paderborn, Germany. (Materials Science Forum ; 123,124,125)
Paper図書
Trans Tech1993.<M17-94-1464>
National Diet Library
  • Note (General)...inuum models ; discrete systems ; CMDS ; ISIMM. BL shelfmark:...
  • Alternative TitleAlso known as CMDS7 continuum models ; discrete systems ; CMDS ; ISIMM
  • Alternative TitleAlso known as CMDS7 continuum models ; discrete systems ; CMDS ; ISIMM

STABILIZATION OF UNCERTAIN DISCRETE SYSTEMS (ETH Diss. ; Nr. 9232)

STABILIZATION OF UNCERTAIN DISCRETE SYSTEMS (ETH Diss. ; Nr. 9232)
Microform博士論文
Kienitz, Karl Heinz.Eidgenössische Technische Hochschule Zürich1990.<LS-DISE-9232>
National Diet Library

Continuum models and discrete systems : 6th International symposium : Jun 1989, Dijon, France.

Continuum models and discrete systems : 6th International symposium : Jun 1989, Dijon, France.
Paper図書
Longman Scientific & Technical1991.<M17-94-1217>
National Diet Library
  • Note (General)...inuum models ; discrete systems ; ISIMM. BL shelfmark: 91/210...
  • Alternative Title...inuum models ; discrete systems ; ISIMM
  • Alternative Title...inuum models ; discrete systems ; ISIMM

Nonlinear time-discrete systems : a general approach by nonlinear superposition / by Michael Gössel. (Mathematical research = Mathematische Forschung ; Bd. 10)

Nonlinear time-discrete systems : a general approach by nonlinear superposition / by Michael Gössel. (Mathematical research = Mathematische Forschung ; Bd. 10)
Paper図書
Akademie-Verlag1982.<MA41-A14>
National Diet Library

Nonlinear time-discrete systems : a general approach by nonlinear superposition / M. Gössel. (Lecture notes in control and information sciences ; 41)

Nonlinear time-discrete systems : a general approach by nonlinear superposition / M. Gössel. (Lecture notes in control and information sciences ; 41)
Paper図書
Springer-Verlag1982.<MA41-A18>
National Diet Library

On subdivision of layers in response analysis of soil deposit as a discrete system / by Y. Ohsaki. (Research report)

On subdivision of layers in response analysis of soil deposit as a discrete system / by Y. Ohsaki. (Research report)
Paper図書
Dept. of Architecture, Faculty of Engineering, University of Tokyo1981.<NA31-A55>
National Diet Library

A differential geometric study of discrete systems

A differential geometric study of discrete systems
Paper博士論文
前田茂 [著]<UT51-56-G127>
National Diet Library

Continuum models of discrete systems (CMDS3) : proceedings of the Third International Symposium on Continuum Models of Discrete Systems held at Freudenstadt, Germany, June 24-30, 1979 / editors, E. Kröner, K.H. Anthony. (SM study ; no. 15)

Continuum models of discrete systems (CMDS3) : proceedings of the Third International Symposium on Continuum Models of Discrete Systems held at Freudenstadt, Germany, June 24-30, 1979 / editors, E. Kröner, K.H. Anthony. (SM study ; no. 15)
Paper図書
University of Waterloo Press1980.<M15-A1338>
National Diet Library
  • Author Heading...nuum Models of Discrete Systems (3rd : 1979 : Freudenstadt, G...
RSS