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  Google Books
9780387168166 [0387168168] (: us)  CiNii Books  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Proceedings : 13th International Conference on Data Engineering, April 7 - 11, 1997, University of Birmingham, Birmingham, UK

International Conference on Data Engineering, IEEE Computer Society. Technical Committee on Data Engineering

IEEE Computer Society Press
2 図書 Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors, July 10-12, 2000, Boston, Massachusetts

International Conference on Application-Specific Systems, Architectures, and Processors, IEEE Computer Society, &hellip;

IEEE Computer Society Press
8 図書 Proceedings : 10th International Conference on Software Engineering, April 11-15, 1988, Singapore

International Conference on Software Engineering, ACM Sigsoft

Computer Society Press
3 図書 Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Hughes, John, 1958-, ACM Special Interest Group in Programming Languages, Conference on Functional Programming Languages &hellip;

Springer-Verlag
9 図書 Stochastic analysis and applications : proceedings of the international conference held in Swansea, April 11-15, 1983

Workshop on Stochastic Analysis and its Applications, Truman, Aubrey, 1943-, Williams, D. (David), 1938-

Springer-Verlag
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 図書 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
5 図書 Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Joseph, Mathai, 1943-, Shyamasundar, &hellip;

Springer-Verlag
11 図書 Proceedings : Seventh International Conference on Data Engineering : April 8-12, 1991, Kobe, Japan

International Conference on Data Engineering, IEEE Computer Society

IEEE Computer Society Press
6 図書 Proceedings of the International Conference on Fifth Generation Computer Systems, October 19-22, 1981

International Conference on Fifth Generation Computer Systems, 日本情報処理開発協会

Japan Information Processing Development Center
12 図書 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