Your search returned 45 results.

Not what you expected? Check for suggestions
Sort
Results
Trends in functional programming. Volume 4 / edited by Stephen Gilmore.

by Gilmore, Stephen, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Bristol, UK ; Portland, OR, USA : Intellect, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming. Vol. 5 / edited by Hans-Wolfgang Loidl.

by Loidl, Hans-Wolfgang | International Symposium on Trends in Functional Programming (5th : 2004 : Universität München).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Bristol, UK ; Portland, OR : Intellect, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in Functional Programming. Volume 7 / edited by Henrik Nilsson.

by Nilsson, Henrik, 1971-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Bristol, UK ; Chicago, IL : Intellect Books, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming. Volume 6 / edited by Marko van Eekelen.

by Eekelen, M. C. J. D. van.

Series: Trends in functional programming ; 6Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Bristol ; Portland, Ore. : Intellect, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (eds.).

by AFP 2002 (2002 : Oxford, England) | Jeuring, Johan, 1965- | Peyton Jones, Simon L, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2638.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.).

亀山, 幸義. by Fuji International Symposium on Functional and Logic Programming | Kameyama, Yukiyoshi | Stuckey, Peter J.

Series: Serienbezeichnung | Lecture notes in computer science ; 2998.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004Other title: FLOPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.).

by Fuji International Symposium on Functional and Logic Programming (6th : 2002 : Aizu Daigaku, Japan) | Hu, Zhenjiang, 1966- | Rodríguez Artalejo, M. (Mario).

Series: Serienbezeichnung | Lecture notes in computer science ; 2441.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.).

by Fuji International Symposium on Functional and Logic Programming (5th : 2001 : Tokyo, Japan) | Kuchen, Herbert, 1958- | Ueda, Kazunori.

Series: Serienbezeichnung | Lecture notes in computer science ; 2024.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (eds.).

by Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan) | Garrigue, Jacques | Hermenegildo, Manuel.

Series: Serienbezeichnung | Lecture notes in computer science ; 4989. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2008Other title: FLOPS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.).

by AFP 2004 (2004 : Tartu, Estonia) | Vene, Varmo | Uustalu, Tarmo.

Series: Serienbezeichnung | Lecture notes in computer science ; 3622. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: AFP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler (eds.).

by Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Fuji-Susono, Japan) | Hagiya, Masami, 1957- | Wadler, Philip, 1956-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3945.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11737414Publication details: Berlin ; New York : Springer, ©2006Other title: FLOPS 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / Zoltán Horváth (ed.).

by Central European Functional Programming School (1st : 2005 : Budapest, Hungary) | Horváth, Zoltán, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4164. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: CEFP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Central European functional programming school : second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures / Zoltán Horváth [and others] (eds.).

by Central European Functional Programming School (2nd : 2007 : Cluj-Napoca, Romania) | Horváth, Zoltán, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5161. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Other title: CEFP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.).

by AFP '98 (1998 : Braga, Portugal) | Swierstra, S. Doaitse | Henriques, Pedro R | Oliveira, José N.

Series: Serienbezeichnung | Lecture notes in computer science ; 1608.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).

by Lauer, Peter E, 1934-.

Series: Serienbezeichnung | Lecture notes in computer science ; 693.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.).

佐藤, 泰介. by Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyū Gakuen Toshi, Japan) | Middeldorp, Aart, 1963- | Satō, Taisuke.

Series: Serienbezeichnung | Lecture notes in computer science ; 1722.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.).

by AFP 2008 (2008 : Heijen, Netherlands) | Koopman, Pieter | Plasmeijer, M. J. (Marinus Jacobus) | Swierstra, S. Doaitse.

Series: Serienbezeichnung | Lecture notes in computer science ; 5832. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2009Other title: AFP 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).

by Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy) | Boscarol, M. (Mauro), 1947- | Carlucci Aiello, L. (Luigia), 1946- | Levi, G. (Giorgio), 1942-.

Series: Serienbezeichnung | Lecture notes in computer science ; 306.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.).

by AAIP 2009 (3rd : 2009 : Edinburgh, Scotland) | Schmid, U. (Ute) | Kitzelmann, Emanuel | Plasmeijer, M. J. (Marinus Jacobus).

Series: Serienbezeichnung | Lecture notes in computer science ; 5812. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010Other title: AAIP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / Matthias Blume, Naoki Kobayashi, German Vidal (eds.).

by Fuji International Symposium on Functional and Logic Programming (10th : 2010 : Sendai-shi (Miyagi-ken, Japan)) | Blume, Matthias, 1966- | Kobayashi, Naoki | Vidal, Germán (Germán Francisco Vidal Oriola).

Series: Serienbezeichnung | Lecture notes in computer science ; 6009. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 80012138Publication details: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha