>> Amazon.co.jp
このページのQRコード

Equations and initial semantics

種類:
図書
責任表示:
H. Ehrig, B. Mahr
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1985
著者名:
シリーズ名:
EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1 <BA00007320>
ISBN:
9780387137186 [0387137181] (: U.S.)  CiNii Books  Calil
9783540137184 [3540137181] (: Germany)  CiNii Books  Calil
注記:
Bibliography: p. [307]-315
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Module specifications and constraints

Ehrig, Hartmut, Mahr, Bernd

Springer-Verlag
7 図書 Elements of algebra : geometry, numbers, equations

Stillwell, John

Springer-Verlag
2 電子ブック Solving Polynomial Equations : Foundations, Algorithms, and Applications [e-books]

Bronstein, Manuel, Eisenbud, David, Cohen, Arjeh M., Cohen, Henri, Dickenstein, Alicia, Emiris, Ioannis Z., Sturmfels, &hellip;

Springer-Verlag Berlin Heidelberg
8 電子ブック Galois Theory of Difference Equations [e-books]

Put, Marius, Singer, Michael F., SpringerLink (Online service)

Springer-Verlag
3 図書 Algebraic approaches to program semantics

Manes, Ernest G., 1943-, Arbib, Michael A.

Springer-Verlag
9 電子ブック Theory of Third-Order Differential Equations

Padhi, Seshadev, Pati, Smita, SpringerLink (Online service)

Springer India : Imprint: Springer
4 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
10 電子ブック An Introduction to Diophantine Equations : A Problem-Based Approach [e-books]

Andreescu, Titu, Andrica, Dorin, Cucurezeanu, Ion, SpringerLink (Online service)

Springer Science+Business Media, LLC
5 電子ブック Galois Theory of Difference Equations

Put, Marius van der., Singer, Michael F., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 電子ブック Representations of Lie Algebras and Partial Differential Equations

Xu, Xiaoping., SpringerLink (Online service)

Springer Nature Singapore : Imprint: Springer
6 電子ブック Equations de Pfaff algebriques

Jouanolou, J.P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Kodaira-Spencer Maps in Local Algebra

Herzog, Bernd., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer