Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

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. Java 8 Lambdas
    [functional programming for the masses]
    Autor*in: Warburton, Richard
    Erschienen: 2014
    Verlag:  O'Reilly, Beijing

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

    Standort:
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    Signatur:
    Dat 346 JAV 365
    Fernleihe:
    keine Fernleihe
    Standort:
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    Signatur:
    Dat 346 JAV 365 a
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    2014 A 1943
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    Signatur:
    ibe72/1237
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    2014 AU 0441
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschulbibliothek Reutlingen (Lernzentrum)
    Signatur:
    I 3-390-633
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    D.3.0
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    D.3.0
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1449370772; 9781449370770
    Weitere Identifier:
    9781449370770
    RVK Klassifikation: ST 250
    Auflage/Ausgabe: 1. Aufl
    Schlagworte: Java (Computer program language); Functional programming (Computer science)
    Umfang: XII, 167 S., graph. Darst.
    Bemerkung(en):

    IntroductionLambda expressions -- Streams -- Libraries -- Advanced collections and collectors -- Data parallelism -- Testing, debugging, and refactoring -- Design and architectural principles -- Lambda-enabled concurrency -- Moving forward.
  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.