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

Symposium on semantics of algorithmic languages : [papers]

種類:
図書
責任表示:
edited by E. Engeler
出版情報:
Berlin ; New York : Springer-Verlag, 1971
著者名:
Engeler, Erwin, 1930- <DA0238677X>  
シリーズ名:
Lecture notes in mathematics ; 188 <BA00146586>
ISBN:
9783540053774 [3540053778] (: Germany)  CiNii Books  Calil
9780387053776 [0387053778] (: U.S.)  CiNii Books  Calil
注記:
'A write-in symposium.'
Bibliography: p. [367]-372
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Symposium on Semantics of Algorithmic Languages

Engeler, E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

International Symposium on the Semantics of Data Types, Kahn, G., MacQueen, D. B. (David B.), 1946-, Plotkin, G. &hellip;

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

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall
8 図書 Methods of algorithmic language implementation

Ershov, Andreĭ Petrovich, 1931-, Koster, Cornelis H. A., 1943-

Springer-Verlag
3 図書 Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the …

Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, Blaser, Albrecht, 1933-, &hellip;

Springer-Verlag
9 図書 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
4 図書 Applied algebra, algebraic algorithms and error-correcting codes : 12th International Symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings

AAECC, Mora, Teo, Mattson, H. F. (Harold F.), 1930-

Springer
10 図書 ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings

International Symposium on Algorithms, Hsu, Wen-Lian, Lee, Robert C. T. (Robert Chung Tao), 1923-

Springer-Verlag
5 図書 Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings

AAECC, Mattson, H. F. (Harold F.), 1930-, Mora, Teo, Rao, T. R. N. (Thammavarapu R. N.), 1933-

Springer-Verlag
11 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall
6 図書 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
12 図書 Algorithms : International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 : proceedings

浅野, 哲夫(1949-), International Symposium on Algorithms

Springer-Verlag