Filtrera

Språk
  • (9)
Ämne
  • (9)
  • (3)
Format
  • (4)
  • (5)
Leveranstid
  • (4)

Frank Pfenning - Böcker

Visar alla böcker av Frank Pfenning. Handla med fri frakt och snabb leverans!

Sortering:

  1. Generative Programming and Component Engineering

    av Frank Pfenning, Yannis Smaragdakis

    Häftad, Engelska, 2003-09-01
    1052
    Köp
    Skickas inom 7-10 vardagar.
    Generative Programming and Component Engineering

    This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial softwa...

    Läs mer »

  2. Term Rewriting and Applications

    av Frank Pfenning

    Häftad, Engelska, 2006-07-01
    1252
    Köp
    Skickas inom 7-10 vardagar.
    Term Rewriting and Applications

    This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description pap...

    Läs mer »

  3. Term Rewriting and Applications E-bok

    av Frank Pfenning

    E-bok, Engelska, 2006-07-26
    1246
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Term Rewriting and Applications

    This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description pap...

    Läs mer »

  4. Generative Programming and Component Engineering E-bok

    av Frank Pfenning, Yannis Smaragdakis

    E-bok, Engelska, 2003-11-19
    1046
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Generative Programming and Component Engineering

    This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial softwa...

    Läs mer »

  5. Logic Programming and Automated Reasoning

    av Frank Pfenning

    Häftad, Engelska, 1994-06-01
    1114
    Köp
    Skickas inom 7-10 vardagar.
    Logic Programming and Automated Reasoning

    This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held ...

    Läs mer »

  6. Automated Deduction - CADE-21

    av Frank Pfenning

    Häftad, Engelska, 2007-07-01
    1391
    Köp
    Skickas inom 7-10 vardagar.
    Automated Deduction - CADE-21

    A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, ...

    Läs mer »

  7. Automated Deduction - CADE-21 E-bok

    av Frank Pfenning

    E-bok, Engelska, 2007-09-04
    1376
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Automated Deduction - CADE-21

    A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, ...

    Läs mer »

  8. Foundations of Software Science and Computation Structures

    av Frank Pfenning

    Häftad, Engelska, 2013-02-20
    852
    Köp
    Skickas inom 7-10 vardagar.
    Foundations of Software Science and Computation Structures

    This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013...

    Läs mer »

  9. Foundations of Software Science and Computation Structures E-bok

    av Frank Pfenning

    E-bok, Engelska, 2013-02-17
    846
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Foundations of Software Science and Computation Structures

    This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013...

    Läs mer »

  10. Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferenc

    av Frank Pfenning

    Perfect, 2013-02-01
    622
    Köp
    Skickas inom 7-10 vardagar.
    Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferenc