Filtrera

Ämne
  • (5)
  • (2)
  • (4)
Format
  • (1)
  • (3)
  • (2)
Leveranstid
  • (3)

Gerard Huet - Böcker

Visar alla böcker av Gerard Huet. Handla med fri frakt och snabb leverans!

Sortering:

  1. From Semantics to Computer Science

    E-bok

    av Yves Bertot, Gerard Huet, Jean-Jacques Levy, Gordon Plotkin

    E-bok (DRM), Engelska, 2010-06-21
    1911
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    From Semantics to Computer Science

    Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting ...

    Läs mer »

  2. Logical Frameworks

    av Gerard Huet

    Inbunden, Engelska, 1991-09-01
    1278
    Köp
    Skickas inom 7-10 vardagar.
    Logical Frameworks

    This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theo...

    Läs mer »

  3. Sanskrit Computational Linguistics

    av Amba Kulkarni, Gerard Huet

    Häftad, Engelska, 2008-12-18
    755
    Köp
    Skickas inom 7-10 vardagar.
    Sanskrit Computational Linguistics

    This volume constitutes the refereed proceedings of the Third International Symposium on Sanskrit Computational Linguistics, held in Hyderabad, India, in January 2009. The 9 revised full papers presented were carefully reviewed and selected from 1...

    Läs mer »

  4. Sanskrit Computational Linguistics

    E-bok

    av Amba Kulkarni, Gerard Huet

    E-bok (DRM), Engelska, 2008-12-16
    748
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Sanskrit Computational Linguistics

    This volume constitutes the refereed proceedings of the Third International Symposium on Sanskrit Computational Linguistics, held in Hyderabad, India, in January 2009. The 9 revised full papers presented were carefully reviewed and selected from 1...

    Läs mer »

  5. Sanskrit Computational Linguistics

    av Gerard Huet, Amba Kulkarni, Peter Scharf

    Häftad, Engelska, 2009-03-09
    755
    Köp
    Skickas inom 7-10 vardagar.
    Sanskrit Computational Linguistics

    This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008...

    Läs mer »

  6. Sanskrit Computational Linguistics

    E-bok

    av Gerard Huet, Amba Kulkarni, Peter Scharf

    E-bok (DRM), Engelska, 2009-02-18
    748
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Sanskrit Computational Linguistics

    This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008...

    Läs mer »