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

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
viii, 516 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 788 <BA00009279>
著者名:
ISBN:
9780387578804 [0387578803] (: us)
9783540578802 [3540578803] (: gw)
書誌ID:
BA22408380
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming, Nielson, Hanne Riis, 1954-

Springer-Verlag
7 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse

Springer
2 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris

Springer-Verlag
8 電子ブック Programming Languages and Systems — ESOP '94

European Symposium on Programming, Sannella, Donald

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … (: pbk)

International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958-

Springer
9 図書 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us)

SAS, Le Charlier, Baudouin, 1950-

Springer-Verlag
4 図書 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
10 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

SAS, Levi, Giorgio, 1942-

Springer
5 図書 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
11 図書 Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings

International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, …

Springer
6 図書 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 (: gw ; : us)

Symposium on Language Design and Programming Methodology, Tobias, Jeffrey M., 1953-, Australian Atomic Energy …

Springer-Verlag
12 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, …

International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

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