Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

  1. Computational semantics with functional programming
    Autor*in: Eijck, Jan van
    Erschienen: 2010
    Verlag:  Cambridge Univ. Pr., Cambridge [u.a.]

    A comprehensive introduction to computational semantics, showing students how to compute meaning using the functional programming language Haskell mehr

    Standort:
    Hochschulbibliothek Friedensau
    Signatur:
    Online-Ressource
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    A comprehensive introduction to computational semantics, showing students how to compute meaning using the functional programming language Haskell

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (Lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Unger, Christina
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511930027
    RVK Klassifikation: ES 900 ; ES 940 ; ST 278 ; ST 306 ; ST 680
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Programming languages (Electronic computers); Functional programming (Computer science); Haskell (Computer program language); Programming languages (Electronic computers) ; Semantics..; Functional programming (Computer science); Haskell (Computer program language); Electronic books
    Umfang: Online Ressource (XV, 405 S.)
    Bemerkung(en):

    Description based upon print version of record

    Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Formal Study of Natural Language; 2 Lambda Calculus, Types, and Functional Programming; 3 Functional Programming with Haskell; 4 Formal Syntax for Fragments; 5 Formal Semantics for Fragments; 6 Model Checking with Predicate Logic; 7 The Composition of Meaning in Natural Language; 8 Extension and Intension; 9 Parsing; 10 Handling Relations and Scoping; 11 Continuation Passing Style Semantics; 12 Discourse Representation and Context; 13 Communication as Informative Action; Afterword; Bibliography; Index

    Electronic reproduction; Available via World Wide Web
  2. Interfaces: explorations in logic, language and computation
    ESSLLI 2008 and ESSLLI 2009 student sessions ; selected papers
    Autor*in:
    Erschienen: 2010
    Verlag:  Springer, Berlin

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2904-0397
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CA/0.0/1-6211
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    K INT 46365
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(6211)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Badische Landesbibliothek
    Signatur:
    110 A 53722
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    ES 965 I15
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Icard, Thomas (Hrsg.); Muskens, Reinhard
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3642147283; 9783642147289
    Weitere Identifier:
    9783642147289
    80018900
    RVK Klassifikation: SS 4800 ; ES 965
    Schriftenreihe: Array ; 6211
    Schlagworte: Computer science; Computer logic; Programming languages (Electronic computers)
    Umfang: VIII, 166 S., Ill., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  3. Computational semantics with functional programming
    Autor*in: Eijck, Jan van
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge [u.a.]

    25 cm Literaturverz. S. 389 - 395. - Literaturangaben mehr

    Standort:
    Universität Freiburg, Romanisches Seminar, Bibliothek
    Signatur:
    Frei 23: S 7 EIJC/1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2012 A 1414
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 11 B 7891
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Signatur:
    2011-2921
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    5-GD 900.456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    25 cm Literaturverz. S. 389 - 395. - Literaturangaben

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Unger, Christina
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0521757606; 0521760305; 9780521757607; 9780521760300
    RVK Klassifikation: ES 900 ; ES 940 ; ST 278 ; ST 306 ; ST 680 ; ST 140
    Schlagworte: Programming languages (Electronic computers); Functional programming (Computer science); Haskell (Computer program language)
    Umfang: XV, 405 S., Ill., graph. Darst.
    Bemerkung(en):

    Formal study of natural language -- Lambda calculus, types, and functional programming -- Functional programming with Haskell -- Formal syntax for fragments -- Formal semantics for fragments -- Model checking with predicate logic -- The composition of meaning in natural language -- Extension and intension -- Parsing -- Handling relations and scoping -- Continuation passing style semantics -- Discourse representation and context -- Communication as informative action.
  4. PHP objects, patterns, and practice
    Autor*in: Zandstra, Matt
    Erschienen: 2010
    Verlag:  Apress, [Berkeley, Calif.] ; Springer, New York, NY

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 10 B 4461
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    Az-468
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    62.4445
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9781430229254
    RVK Klassifikation: ST 250 P33
    Auflage/Ausgabe: 3. ed.
    Schriftenreihe: The expert's voice in open source
    Books for professionals by professionals
    Schlagworte: PHP (Computer program language); Programming languages (Electronic computers); Web sites
    Umfang: XX, 515 S, Ill., graph. Darst
    Bemerkung(en):

    Includes index