Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

>> Google Books

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)

9780387168166 [0387168168] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	プログラミング用言語; 電子計算機
分類・件名:	LCC : QA76.7 DDC : 005.13/1 NDC8 : 007.64 LCSH : Programming languages (Electronic computers) -- Semantics -- Congresses LCSH : Electronic digital computers -- Programming -- Congresses NDLSH : プログラミング用言語 NDLSH : 電子計算機
LCCN:	86022054
注記:	Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 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
2 図書 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	8 図書 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, … Springer-Verlag
3 図書 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	9 図書 Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software Springer
4 図書 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	10 図書 The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas Brown, Frank M., 1950-, American Association for Artificial Intelligence M. Kaufmann Publishers
5 図書 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	11 電子ブック Discrete Geometry for Computer Imagery (vol. # 3429) : 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings Andres, Eric, Damiand, Guillaume, Lienhardt, Pascal, SpringerLink (Online service) Springer-Verlag GmbH.
6 図書 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 … Springer-Verlag	12 電子ブック Database Systems for Advanced Applications (vol. 3882) : 11th International Conference DASFAA 2006 Singapore April 12-152006 Proceedings Lee Mong Li, Wuwongse Vilas, Tan Kian Lee, SpringerLink (Online service) Springer-Verlag GmbH.