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

Symposium on semantics of algorithmic languages : [papers] / edited by E. Engeler

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1971
形態:
372 p ; 26 cm
シリーズ名:
Lecture notes in mathematics ; 188 <BA00146586>
著者名:
Engeler, Erwin, 1930- <DA0238677X>  
ISBN:
9783540053774 [3540053778] (: Germany)
9780387053776 [0387053778] (: U.S.)
書誌ID:
BA06349054
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Symposium on Semantics of Algorithmic Languages

E. Engeler

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 (: gw ; : us)

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

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

Courant Computer Science Symposium, Rustin, Randall

Prentice-Hall
8 図書 Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings (: gw ; : us)

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

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 … (: gw ; : us)

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

Springer-Verlag
9 図書 Methods of algorithmic language implementation (: gw ; : us)

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

Springer-Verlag
4 図書 Formal languages; automata and structures

Engeler, Erwin, 1930-

Markham Pub. Co
10 図書 Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings (: gw ; : us)

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

Springer-Verlag
5 図書 Applied algebra, algebraic algorithms and error-correcting codes : 12th International Symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings (: gw)

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

Springer
11 図書 Practical aspects of declarative languages : third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

International Workshop on Practical Aspects of Declarative Languages, Ramakrishnan, I. V.

Springer
6 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings (: gw ; : us)

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

Springer-Verlag
12 図書 Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

International Workshop on Practical Aspects of Declarative Languages, Krishnamurthi, Shriram, Ramakrishnan, C. R.

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12