Zum Inhalt springen

  1. Pierce, Benjamin C. [VerfasserIn]

    Types and programming languages

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Massachusetts; London, England: The MIT Press, [2002]

  5. Scholz, Sven-Bodo [HerausgeberIn]; Chitil, Olaf [Sonstige Person, Familie und Körperschaft] ; IFL 20 2008 Hatfield

    Implementation and application of functional languages : 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 5836

  6. Heller, Steven [VerfasserIn]; Anderson, Gail [VerfasserIn]

    Type speaks

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: Abrams, 2021

  8. Syropoulos, Apostolos [HerausgeberIn] ; TEX Users Group, International Conference on TeX, XML, and Digital Typography 2004 Xanthi, TEX Users Group Meeting (25th 2004 Xanthi, Greece)

    TEX, XML, and digital typography : International Conference on TEX, XML, and Digital Typography, held jointly with the 25th annual meeting of the TEX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3130

  12. Bove, Ana [HerausgeberIn]; Soares Barbosa, Luís [Sonstige Person, Familie und Körperschaft] ; International Summer School on Language Engineering and Rigorous Software Development 2008 Piriapolis

    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised turorial lectures

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5520

  18. Lecomte, Alain [HerausgeberIn]; Lamarche, François [Sonstige Person, Familie und Körperschaft]; Perrier, Guy [Sonstige Person, Familie und Körperschaft] ; LACL 2 1997 Nancy

    Logical aspects of computational linguistics : second international conference, LACL '97, Nancy, France, September 22 - 24, 1997 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1999

    Erschienen in: Lecture notes in computer science ; 1582

  19. Pogodalla, Sylvain [HerausgeberIn]; Prost, Jean-Philippe [Sonstige Person, Familie und Körperschaft] ; LACL 6 2011 Montpellier

    Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6736

  20. Uhlig, Harald [HerausgeberIn]; Lienau, Cay [BearbeiterIn]

    Flur und Flurformen = Types of field patterns

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Giessen: Schmitz in Komm., 1967

    Erschienen in: Materialien zur Terminologie der Agrarlandschaft ; 1