>> Amazon.co.jp
このページのQRコード

Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

種類:
図書
責任表示:
Markus Mohnen, Pieter Koopman (eds.)
出版情報:
Berlin : Springer, c2001
著者名:
シリーズ名:
Lecture notes in computer science ; 2011 <BA00009279>
ISBN:
9783540419198 [3540419195]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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, Clark, Chris, Hammond, Kevin, Davie, Tony

Springer
7 電子ブック Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

Kuchen, Herbert., Swierstra, S.Doaitse., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 図書 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
8 図書 Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986

Fasel, Joseph H., Keller, Robert M., Los Alamos Scientific Laboratory, Microelectronics and Computer Technology &hellip;

Springer-Verlag
3 図書 Fun[c]tional programming languages in education : First International Symposium, FPLE '95, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings

International Symposium on Functional Programming Languages in Education, Hartel, Pieter H., Plasmeijer, Rinus

Springer
9 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT, Parisi Presicce, Francesco

Springer
4 電子ブック Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

Bampis, Evripidis., Megow, Nicole., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer
10 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer
5 図書 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
11 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic

Springer
6 電子ブック Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings

Kuchen, Herbert, Doaitse Swierstra, S., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans, SpringerLink (Online service)

Springer-Verlag