検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.) T2 Lecture notes in computer science A1 Alur, Rajeev, 1966- A1 Henzinger, T. A. (Thomas A.) A1 Sontag, Eduardo D. YR 1996 FD c1996 SP ix, 618 p. K1 Hybrid computers -- Congresses K1 Digital control systems -- Congresses PB Springer PP Berlin SN 354061155X LA English (英語) CL NDC9:007.04 CL LCC:QA76.38 CL DC20:629.8/9 NO Includes bibliographical references and index NO 書誌ID=1000537832; NCID=BA27489109; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000537832 OL 30