Equations and initial semantics

関連文献: 1件

著者

書誌事項

H. Ehrig, B. Mahr

（EATCS monographs on theoretical computer science, v. 6 . Fundamentals of algebraic specification ; v. 1）

Springer-Verlag, c1985

: U.S.
: Germany

タイトル別名: Algebraic specification

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

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

: USQA76.9.D35

OPAC
茨城大学附属図書館工学部分館分

: Germany549:1298:1000451924

OPAC
岩手大学図書館

: Germany549.92:E11:-60012532941

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

: Germany549.92/EAT01930122

OPAC
大阪大学附属図書館総合図書館

: Germany08526006609, : U.S08926003016, U.S08625008654

OPAC
大阪大学附属図書館理工学図書館

: Germany08926003016

OPAC
岡山大学図書館工情報

: U.S007.6||ES016000056242*

OPAC
岡山大学図書館教育数

: U.S007.6||E016000066707*

OPAC
岡山大学図書館自知能

: U.S007.6||E019000017093*

OPAC
お茶の水女子大学附属図書館情報科学

: Germany549||E11||6092010034947

OPAC
鹿児島大学附属図書館

418.6/E3612185045727

OPAC
関西大学図書館図

: U.S.203148053

OPAC
九州工業大学附属図書館情報工学部分館

: U.S.549.9||E-2||60400917

OPAC
九州大学理系図書館

: Germany027232004151594, K/Ehr068252185005154, : USEHRI/10/2-1068222190000423

OPAC
京都産業大学図書館

: Germany411||EHR||1

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

: GermanyEHR||4||285022982

OPAC
京都大学吉田南総合図書館研究室

: Germany612||||229885083793

OPAC
岐阜大学図書館

: Germany549.92||Eat120483556

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

: Germany411:E36207235405

OPAC
神戸大学附属図書館社会科学系図書館

: Germany011009200810

OPAC
滋賀大学附属図書館

: Germany516.35||Eh 8087060651

OPAC
四国大学附属図書館

: US007.64091126396

OPAC
静岡大学附属図書館浜松分館浜図

: Germany547.01/194/18500011641

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

: Germanyikkatu

OPAC
電気通信大学附属図書館開架

Germany549.98||E362218804114,2218803744

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

411.3/E140120499

OPAC
東京工業高等専門学校図書館

: Germany1008211

OPAC
東京大学先端科学技術研究センター図書室図書室

: Germany519.6:E337600179639

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

: Germany07860000928

OPAC
東北大学附属図書館工学分館図

: Germany04860006478

OPAC
富山県立大学附属図書館射水館

: Germany101115541

OPAC
富山大学附属図書館芸術文化図書館図

: Germany411||E3638502072

OPAC
同志社大学図書館

: GermanyA007.6;E287;167;9320164220

OPAC
名古屋工業大学図書館

: Germany412||E 36

OPAC
名古屋大学工学図書室工中央書庫

007.64||Eh863810

OPAC
名古屋大学情報基盤センター図書室情基セ

40930918

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

: GermanyAB||22||60010980

OPAC
新潟大学附属図書館図

: Germany007//E361300642395

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

: Germany418.6||E 36||114224737

OPAC
阪南大学図書館図

: U.S.20000157527

OPAC
一橋大学附属図書館図

: Germany619:55:6228004435S

OPAC
弘前大学附属図書館本館

: Germany007||E11||605456764

OPAC
福井大学附属図書館

: Germany8503652

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

: USC22.1/E11 / 61;6922022

OPAC
北海学園大学附属図書館工

: Germany549.92/E360479549

OPAC
三重大学附属図書館

: Germany007.64/E 36/129357605

OPAC
山口大学図書館工学部図書館

: Germany2085051880

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

この図書・雑誌をさがす

注記

Bibliography: p. [307]-315

Includes index

Equations and initial semantics

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Equations and initial semantics

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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