Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Developing web apps with Haskell and Yesod : safety-driven web development
2. ed, 2015
Signatur: TXW1942(2)
    Datensatz exportieren als...
  • BibTeX
The implementation of functional programming languages
Prentice-Hall international series in computer science
1. [Dr.], 1987
Signatur: TVM2063
    Datensatz exportieren als...
  • BibTeX
Multi-Transputer-Maschine zur parallelen Reduktion von Funktionalsprachenprogrammen
1989
Signatur: D2186
    Datensatz exportieren als...
  • BibTeX
Funktionale und Applikative Programmierung : Grundlagen, Sprachen, Implementierungstechniken [Elektronische Ressource]
eXamen.press
2009
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Logische und funktionale Programmierung : Grundlagen einer Kombination
Künstliche Intelligenz
1991
Signatur: TVM2607
    Datensatz exportieren als...
  • BibTeX
Functional programming languages and computer architecture : proceedings
1985-1987
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages (vol. # 3474) : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
The formal semantics of programming languages : an introduction
Foundations of computing
1993
Signatur: TXL1793
    Datensatz exportieren als...
  • BibTeX
Isomorphisms of types : from lambda-calculus to information retrieval and language design
Progress in theoretical computer science : 14 (Alle Bände)
1995
Signatur: TVI2851
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages (vol. # 4015) : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988
Lecture notes in mathematics : 1429 (Alle Bände), Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) : 1988,1 (Alle Bände)
1990
Signatur: TAY880740
    Datensatz exportieren als...
  • BibTeX
Programming languages : principles and paradigms
Undergraduate topics in computer science
2010
Signatur: TXA4631
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers [Elektronische Ressource]
2008
1 – 25 von 32
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen