Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985Jouannaud, Jean-Pierre Jouannaud, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
2 |
Material Type: Livro
|
Current Trends in Concurrency: Overviews and TutorialsBakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
|
3 |
Material Type: Livro
|
Translating Relational Queries into Iterative ProgramsFreytag, Johann ChristophBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
4 |
Material Type: Livro
|
Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986Fasel, Joseph H ; Keller, Robert M Keller, Robert M. ; Fasel, Joseph H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
5 |
Material Type: Livro
|
Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 ProceedingsBoscarol, Mauro ; Carlucci Aiello, Luigia ; Levi, Giorgio Levi, Giorgio ; Carlucci Aiello, Luigia ; Boscarol, MauroBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
6 |
Material Type: Livro
|
Arrays, Functional Languages, and Parallel SystemsRestifo Mullin, Lenore M ; Jenkins, Michael ; Hains, Gaetan ; Bernecky, Robert ; Guang R. Gao, Guang RNew York, NY: Springer 1991Texto completo disponível |
|
7 |
Material Type: Livro
|
Semantics of Type Theory: Correctness, Completeness and Independence ResultsStreicher, TBoston, MA: Birkhäuser Boston 1991Texto completo disponível |
|
8 |
Material Type: Livro
|
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotlandvan Rijsbergen, C. J ; Jones, Simon L. Peyton ; Hutton, Graham Jones, Simon L. Peyton ; Hutton, Graham ; Holst, Carsten KehlerLondon: Springer London, Limited 1991Texto completo disponível |
|
9 |
Material Type: Livro
|
Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992Launchbury, John ; Sansom, Patrick Sansom, Patrick ; Launchbury, JohnLondon: Springer London, Limited 1993Texto completo disponível |
|
10 |
Material Type: Livro
|
The Functional Treatment of ParsingLeermakers, RenéNew York, NY: Springer 1993Texto completo disponível |