検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings / Xavier Leroy, Atsushi Ohori (eds.) T2 Lecture notes in computer science A1 TIC A1 Leroy, Xavier A1 Ohori, Atsushi YR 1998 FD c1998 SP viii, 297 p. K1 Compiling (Electronic computers) -- Congresses K1 Integer programming -- Congresses K1 Combinatorial optimization -- Congresses PB Springer PP Berlin ; New York SN 3540649255 LA English (英語) CL NDC9:007.04 CL LCC:T57.74 CL DC20:519.7/7 NO Includes bibliographical references and index NO 書誌ID=1000997362; NCID=BA37399603; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000997362 OL 30