Blank Cover Image

Logic and algebra of specification

責任表示:
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
94
出版情報:
Berlin: Springr-Verlag, 1993
ISSN:
02581248
ISBN:
9783540558132 [3540558136]
請求記号:
N11483/94
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

1 国際会議録 Logic, algebra, and computation

Springer-Verlag
7 国際会議録 Algebraic K-theory and algebraic topology

Kluwer Academic Publishers
2 国際会議録 Models, algebras and logic of engineering software

IOS Press
8 国際会議録 Commutative algebra, singularities and computer algebra

Kluwer Academic Publishers
3 国際会議録 Logic of computation

Springer
9 国際会議録 Logics and models of concurrent systems

Springer-Verlag
4 国際会議録 Computational logic

Springer
10 国際会議録 Specification, Production, and Testing of Optical Components and Systems

SPIE-The International Society for Optical Engineering
5 Swets Algebra and logic
11 国際会議録 A survey of algebraic coding theory

Springer-Verlag
6 国際会議録 Algebras and orders

Kluwer Academic Publishers
12 国際会議録 The arithmetic and geometry of algebraic cycles

Kluwer Academic Publishers
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12