>> Google Books
QRコード(所蔵情報)

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

フォーマット:
図書
責任表示:
edited by Austin Melton
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1986
形態:
vi, 395 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 239 <BA00009279>
書誌ID:
BA0038542X
ISBN:
9783540168164 [3540168168] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387168166 [0387168168] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

Brookes, Stephen D., Conference on the Mathematical Foundations of Programming Semantics

Springer-Verlag
7 図書 Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings

International Conference on Rewriting Techniques and Applications, Book, Ronald V.

Springer-Verlag
2 図書 Japan display '92 : proceedings of the 12th International Display Research Conference, Octber 12-14, 1992, International Conference Center Hiroshima, Hiroshima …

International Display Research Conference, Society for Information Display, Institute of Television Engineers of Japan

Society for Information Display
8 図書 ICCM, proceedings of the 1975 International Conference on Composite Materials, Geneva, Switzerland, April 7-11, 1975, Boston, Massachusetts, April 14-18, 1975

International Conference on Composite Materials, Scala, Eraldus, Metallurgical Society of AIME

Metallurgical Society of AIME
3 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics

Springer-Verlag
9 図書 Fracture : proceedings of an international conference on the atomic mechanisms of fracture held in Swampscott, Massachusetts, April 12-16, 1959

Averbach, B. L., National Science Foundation (U.S.), Conference on Fracture

Massachusetts Institute of Technology
4 図書 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984

EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938-

Springer-Verlag
10 図書 Japan display '83 : proceedings of the 3rd International Display Research Conference, October 3-5, 1983, International Conference Center Kobe, Port Island, Kobe

Society for Information Display, Institute of Television Engineers of Japan, International Display Research Conference

Society for Information Display
5 図書 Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes

Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society
11 図書 Japan display '89 : Proceedings of the 9th International Display Research Conference, October 16-18, 1989, Kyoto Park Hotel, East-side, Kyoto

International Display Research Conference, Society for Information Display, Institute of Television Engineers of Japan

Society for Information Display
6 図書 Fracture : proceedings of an international conference on the atomic mechanisms of fracture held in Swampscott, Mass., April 12-16, 1959

Conference on Fracture, Averbach, B. L.

Massachusetts Institute of Technology
12 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag