>> 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. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 239 <BA00009279>
著者名:
ISBN:
9783540168164 [3540168168] (: gw)
9780387168166 [0387168168] (: us)
書誌ID:
BA0038542X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

Melton, Austin., SpringerLink (Online service)
7 図書 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
2 電子ブック Mathematical Foundations of Programming Semantics

Melton

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 電子ブック Mathematical Foundations of Programming Semantics

Main

SpringerLink Books - AutoHoldings, Springer New York
3 電子ブック Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
9 電子ブック Mathematical Foundations of Programming Semantics

Brookes

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings (: gw ; : us)

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

Springer-Verlag
10 電子ブック Mathematical Foundations of Programming Semantics

Brookes

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, … (: gw ; : us)

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

Springer-Verlag
11 図書 Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981

International Conference on Fifth Generation Computer Systems, 元岡, 達(1929-1985), 日本情報処理開発協会

North-Holland Pub. Co., Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
6 図書 Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings (: gw ; : us)

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

Springer-Verlag
12 図書 Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings (: gw ; : us)

Hughes, John, 1958-, ACM Special Interest Group in Programming Languages, Conference on Functional Programming Languages …

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