CiNii 図書 - Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

著者

書誌事項

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Johan Jeuring (ed.)

（Lecture notes in computer science, 1422）

Springer, c1998

大学図書館所蔵件 / 全41件

会津大学情報センター (附属図書館)図

QA76.6

OPAC
岩手県立大学メディアセンター

007.64:M100475433

OPAC
宇都宮大学附属図書館陽東分館

549.08||1||1422

OPAC
大阪公立大学杉本図書館図書館

548//L49//489811700748988

OPAC
大阪産業大学綜合図書館

007.64/21503221579

OPAC
岡山大学図書館工情報

007.6/M016000226598

OPAC
関西大学図書館図

207286558

OPAC
関西学院大学図書館上ケ原

510.78:265:14220002485803

OPAC
九州大学理系図書館

408/L 49061232004018470

OPAC
京都産業大学図書館

S/418.6870245

OPAC
京都大学数理解析研究所図書室数研

L/N||LNCS||142298019181

OPAC
京都大学大学院情報学研究科

007||LNCS||142299000265

OPAC
岐阜大学図書館

OPAC
高知工科大学附属情報図書館

007||L49||142200063235

OPAC
神戸大学附属図書館自然科学系図書館

548-0-6//1422030009804996

OPAC
国際基督教大学図書館図

V.1422007.6/L507/v.142205110284, 007.6/L507/v.142205110284

OPAC
国立研究開発法人理化学研究所図書館

430||LEC-1||1422B9907965

OPAC
滋賀大学附属図書館

001.6||L 49||1422098001566

OPAC
上智大学図書館中央

QA:76.6:M367:1998002695837

OPAC
千葉大学附属図書館研

098124771

OPAC
中央大学図書館理工学部分館理工

004/L4700017429747

OPAC
筑波大学附属図書館中央図書館

007.08-L49-1422100987010365

OPAC
筑波大学附属図書館図書館情報学図書館

007.08:L-49:1422981002160

OPAC
東海大学付属図書館12

549.92/L/142201988563

OPAC
東京科学大学大岡山図書館

418.6/L/1422116550210

OPAC
東京大学数理科学研究科保存

RO:Mathematics8010211533

OPAC
東京大学大学院情報理工学系研究科CS図

39:L:1.14222012731788

OPAC
東北大学附属図書館本館

06000010240

OPAC
豊橋技術科学大学附属図書館図

007.08||LE||1422989002713

OPAC
名古屋工業大学図書館

007.08||L 49||1422

OPAC
名古屋大学工学図書室工情報

007.64||In41220117

OPAC
奈良先端科学技術大学院大学附属図書館

AB||23||14220026254

OPAC
新潟大学附属図書館図

007//L49//14221300639470

OPAC
日本大学文理学部図書館数情

418.608||L49||142215080352

OPAC
一橋大学附属図書館図

*5080**1**1422129801413T

OPAC
広島大学図書館中央図書館

007:L-49:1422/HL4010004000408178

OPAC
北陸先端科学技術大学院大学附属図書館図

LN ||LNCS||14225980758

OPAC
三重大学附属図書館

549.9/L 49/142269803317

OPAC
明治学院大学図書館横図

001.6:L:14221100681483

OPAC
立教大学図書館

42013750

OPAC
龍谷大学瀬田図書館図

39900034587

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

著者

書誌事項

大学図書館所蔵件 / 全41件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

著者

書誌事項

大学図書館所蔵 件 / 全41件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全41件