Blank Cover Image

ALGEBRAS, THEORIES AND FREENESS: AN INTRODUTION FOR COMPUTER SCIENTISTS

著者名:
掲載資料名:
Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare
シリーズ名:
NATO ASI series. Series C, Mathematical and physical sciences
シリーズ巻号:
91
発行年:
1982
開始ページ:
329
終了ページ:
349
総ページ数:
21
出版情報:
Dordrecht, Holland: D. Reidel
ISSN:
02582023
ISBN:
9789027714602 [9027714606]
言語:
英語
請求記号:
N11480/91
資料種別:
国際会議録

類似資料:

1 国際会議録 Notes on an Approach to Category Theory for Computer Scientists

Hoare R. A. C.

Springer-Verlag
7 国際会議録 NGST's Scientist's Expert Assistant:evaluation results

Koratkar,A., Burkhardt,C., Fishman,M., Grosvenor,S., Jones,J.E., Lucas,R.A., Ruley,L., Wolf,K.R.

SPIE - The International Society for Optical Engineering
2 国際会議録 Report of discussions by the computer scientists

Raper F. J.

Kluwer Academic Publishers
8 国際会議録 Lessons learned from the Scientist's Expert Assistant project

Jones,J.E., Burkhardt,C., Fishman,M., Grosvenor,S., Koratkar,A., Ruley,L., Wolf,K.R.

SPIE - The International Society for Optical Engineering
3 国際会議録 Melting: Theories and Recent Computer Simulations

Cotterill M. R., Jensen J. E., Kristensen D. W.

Noordhoff International Publishing
9 国際会議録 Autonomous Robotic Scientist

M. Woods, R. Ward, E. Honary

ESA Communication Production Office
4 国際会議録 COMPUTER SIMULATION OF FREE-SURFACES IN CLOSE-PACKED STRUCTURES

Fernandez, J. R., Monti, A. M., Pasianot, R. C.

MRS - Materials Research Society
10 国際会議録 A Problem in Group Theory solved by Computer Algebra

Pfister, Gerhard

Kluwer Academic Publishers
5 国際会議録 Idealization of Modules in Computer Algebra

Kreuzer M, Robbiano L

IOS Press
11 国際会議録 Using computer algebra for Yang-Baxterization applied to quantum computing [6244-41]

Velez M., Ospina J.

SPIE - The International Society of Optical Engineering
6 国際会議録 Invariant theory of algebra representations

Domokos, M.

Kluwer Academic Publishers
12 国際会議録 New Algebraic Canonical Structures of Integrability in 2-D Field Theories

Maillet M. J.

Plenum Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12