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

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

種類:
図書
責任表示:
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1984
著者名:
International Symposium on the Semantics of Data Types <DA0239061X>
Kahn, G. <DA01532399>
MacQueen, D. B. (David B.), 1946- <DA02390573>
Plotkin, G. (Gordon), 1946- <DA02390584>
International Federation for Information Processing <DA00188968>
European Association for Theoretical Computer Science <DA00338459>
続きを見る
シリーズ名:
Lecture notes in computer science ; 173 <BA00009279>
ISBN:
9783540133469 [3540133461] (: gw)  CiNii Books  Calil
9780387133461 [0387133461] (: us)  CiNii Books  Calil
注記:
Proceedings of the International Symposium on the Semantics of Data Types
"The symposium was sponsored by IFIP and EATCS"--Foreword
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Kahn, Gilles, MacQueen, David B., Plotkin, Gordon, SpringerLink (Online service)

Springer-Verlag
7 図書 Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

Alblas, H., Melichar, B. (Bǒrivoj), 1942-, International Summer School on Attribute Grammars, Applications and Systems

Springer-Verlag
2 電子ブック Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Kahn, G., MacQueen, D.B., Plotkin, G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Symposium on semantics of algorithmic languages : [papers]

Engeler, Erwin, 1930-

Springer-Verlag
3 図書 Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979

International Symposium on Semantics of Concurrent Computation, Kahn, G.

Springer-Verlag
9 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
4 図書 Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings

International Conference on Foundations of Data Organization, Litwin, W. (Witold), 1946-, Schek, H.-J.

Springer-Verlag
10 図書 Formal semantics of programming languages : Coutant Computer Science Symposium 2, September 14-16, 1970

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall
5 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag
11 図書 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

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

Springer-Verlag
6 図書 Algorithms and data structures : 4th International Workshop, WADS '95, Kingston, Canada, August 16-18, 1995 : proceedings

Workshop on Algorithms and Data Structures, Akl, Selim G.

Springer
12 図書 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