>> Google Books
タイトル、所在を表示します

Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers

フォーマット:
図書
責任表示:
Werner Kluge (ed.)
言語:
英語
出版情報:
Berlin : Springer, c1997
形態:
ix, 284 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1268 <BA00009279>
書誌ID:
BA31441037
ISBN:
9783540632375 [3540632379]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages, Mohnen, Markus, 1967-, Koopman, Pieter

Springer
7 図書 Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected …

WADT, Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Springer
2 図書 Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

International Workshop on the Implementation of Functional Languages, Clack, Chris, Hammond, Kevin, Davie, A. J. T. &hellip;

Springer
8 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for &hellip;

Springer
3 図書 Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages, Koopman, Pieter, Clack, Chris

Springer
9 図書 Persistent object systems : design, implementation, and use : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000 : revised papers

International Workshop on Persistent Object Systems, Kirby, Graham N. C., 1966-, Dearle, Alan, Sjøberg, Dag I. K., 1961-

Springer
4 図書 Implementation of Functional Languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers

International Workshop on the Implementation of Functional Languages, Arts, Thomas, Mohnen, Markus, 1967-

Springer
10 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, &hellip;

Springer
5 図書 Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages, Hammond, Kevin, Davie, A. J. T. (Antony J. T.), &hellip;

Springer
11 図書 Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

International Workshop on Automated Deduction in Geometry, Hong, Hoon, Wang, Dongming

Springer
6 図書 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
12 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers

International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, &hellip;

Springer