Finite Model Theory and Its Applications

フォーマット:

電子ブック

責任表示:

Grädel, Erich ; Brauer, W. ; Hromkovic, J. ; Kolaitis, Phokion G. ; Libkin, Leonid ; Marx, Maarten ; Spencer, Joel ; Vardi, Moshe Y. ; Venema, Yde ; Weinstein, Scott

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540004288 [3540004289]

9783540688044 [3540688048]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000490571
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Multi-Dimensional Modal Logic Marx, Venema, Yde Springer Netherlands	7 図書 Theory and applications of finite groups Miller, G. A. (George Abram), 1863-1951, Blichfeldt, H. F., Dickson, Leonard E. (Leonard Eugene), 1874- John Wiley & Sons, 1916
2 電子ブック Net Theory and Applications Brauer Springer Berlin Heidelberg	8 電子ブック Petri Nets: Central Models and Their Properties Brauer Springer Berlin Heidelberg
3 図書 Modal logic Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963- Cambridge University Press	9 電子ブック Finite element glacier dynamics model applied to Columbia Glacier, Alaska Sikonia, W. G. United States Department of the Interior, Geological Survey
4 電子ブック Database Theory — ICDT '97 International Conference on Database Theory, Afrati, Foto, Kolaitis, Phokion Springer Berlin / Heidelberg	10 図書 Methods of representation theory : with applications to finite groups and orders Curtis, Charles W, Reiner, Irving, 1924-1986 Wiley
5 電子ブック Representation Theory of Finite Groups and Finite-Dimensional Algebras Oesterla, J., Weinstein, A., Michler, G.O., Ringel Birkhäuser Basel	11 図書 Methods of representation theory : with applications to finite groups and orders Curtis, Charles W, Reiner, Irving, 1924-1986 Wiley
6 電子ブック Modelling Distributed Systems Fokkink, Wan, Brauer, Wilfried, Hromkovic, Juraj Springer Berlin Heidelberg	12 図書 Inequalities : theory of majorization and its applications Marshall, Albert W., Olkin, Ingram, 1924-, Arnold, Barry C. Springer