1.

図書
図書
1. Algebraic complexity theory (: gw ; : pbk)
Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 315
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Algebraic semantics of imperative programs
Joseph A. Goguen and Grant Malcolm
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Foundations of computing
所蔵情報: 図書館
3.

図書
図書
3. Rings, groups, and algebras (: pbk)
edited by X.H. Cao ... [et al.]
出版情報: New York : Marcel Dekker, c1996
シリーズ名: Lecture notes in pure and applied mathematics ; v. 181
所蔵情報: 図書館
4.

図書
図書
4. Algebra : an approach via module theory (: us ; : gw)
William A. Adkins, Steven H. Weintraub
出版情報: New York ; Berlin : Springer-Verlag, c1992
シリーズ名: Graduate texts in mathematics ; 136
所蔵情報: 図書館, 研究室
5.

図書
図書
5. Basic notions of algebra (: Berlin ; : New York)
A.I. Kostrikin, I.R. Shafarevich (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Encyclopaedia of mathematical sciences / editor-in-chief, R.V. Gamkrelidze ; v. 11 . Algebra ; 1
所蔵情報: 図書館
6.

図書
図書
6. Module specifications and constraints (: us ; : gw)
Ehrig, Hartmut ; Mahr, Bernd
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2
所蔵情報: 図書館
7.

図書
図書
7. Algebraic analysis : papers dedicated to Professor Mikio Sato on the occasion of his sixtieth birthday (v. 1 ; v. 2)
edited by Masaki Kashiwara, Takahiro Kawai
出版情報: Boston ; Tokyo : Academic Press, c1988
所蔵情報: 図書館, 研究室
8.

図書
図書
8. Mathematical logic and theoretical computer science
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報: New York : M. Dekker, c1987
シリーズ名: Lecture notes in pure and applied mathematics ; v. 106
所蔵情報: 図書館
9.

図書
図書
9. Foundations of algebraic analysis
by Masaki Kashiwara, Takahiro Kawai, and Tatsuo Kimura ; translated by Goro Kato
出版情報: Princeton, N.J. : Princeton University Press, c1986
シリーズ名: Princeton mathematical series ; 37
所蔵情報: 図書館
10.

図書
図書
10. Algebraic approaches to program semantics (: us ; : gw)
Ernest G. Manes, Michael A. Arbib
出版情報: New York ; Tokyo : Springer-Verlag, c1986
シリーズ名: Texts and monographs in computer science ; . The AKM series in theoretical computer science
所蔵情報: 図書館