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

Computational category theory

種類:
図書
責任表示:
David E. Rydeheard, Rod M. Burstall
出版情報:
New York ; Tokyo : Prentice Hall, 1988
著者名:
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
ISBN:
9780131627369 [0131627368]  CiNii Books  Calil
注記:
Includes index
Bibliography: p. 237-252
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Categories and computer science

Walters, Richard F.

Cambridge University Press
7 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service)

Springer-Verlag
2 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.)

Springer-Verlag
8 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer
3 図書 Advanced programming : a practical course

Barron, D. W. (David William), 1935-, Bishop, J. M. (Judith Mary), 1951-

Wiley
9 電子ブック Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings

Pitt, David H., Curien, Pierre-Louis, Abramsky, Samson, Pitts, Andrew M., Poigné, Axel, Rydeheard, David E., &hellip;

Springer-Verlag
4 図書 Mathematical theory of computation

Manna, Zohar

McGraw-Hill Kogakusha
10 図書 Discrete computational structures

Korfhage, Robert R.

Academic Press
5 図書 Temporal logic : mathematical foundations and computational aspects

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press
11 図書 Computational structures : an introduction to non-numerical computing

Hall, Patrick A. V.

Macdonald and Jane's, American Elsevier
6 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
12 図書 Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings

Genetic and Evolutionary Computation Conference, Cantú-Paz, Erick

Springer