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

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1986
形態:
x, 324 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 217 <BA00009279>
著者名:
ISBN:
9783540164463 [3540164464] (: gw)
9780387164465 [0387164464] (: us)
書誌ID:
BA00164704
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Ganzinger, Harald., Jones, Neil., SpringerLink (Online service)
7 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings (: gw ; : us)

Parikh, Rohit, 1936-

Springer-Verlag
2 図書 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)

European Symposium on Programming, Jones, Neil D., 1941-

Springer-Verlag
8 図書 ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings (: gw ; : us)

European Conference on Object-Oriented Programming, Bézivin, J. (Jean)

Springer-Verlag
3 電子ブック Programs as Data Objects

Ganzinger

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)

European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming

Springer-Verlag
4 図書 Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Workshop "Programs as Data Objects", Danvy, Olivier, Filinski, Andrzej, 1965-

Springer
10 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
5 図書 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)

European Symposium on Programming, Robinet, Bernard, 1941-, Wilhelm, Reinhard, 1946-

Springer-Verlag
11 電子ブック ESOP '88 : 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Ganzinger, Harald., SpringerLink (Online service)
6 図書 Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 (: gw ; : us)

Workshop on Semantics-directed Compiler Generation, Jones, Neil D., 1941-

Springer-Verlag
12 図書 Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction, Ganzinger, Harald, 1950-

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