Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.06.2009

    These proceedings contain a selection of refereed papers presented at or - lated to the Annual Wo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.06.2004

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annua...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Mario Coppo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.10.1996

    This volume contains a refereed selection of revised full papers chosen from the contributions pr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Io e te lo stesso pensiero. La mia vita con Renato Io e te lo stesso pensiero. La mia vita con Renato

    Io e te lo stesso pensiero. La mia vita con Renato

    Stefano Berardi
    13.12.2018

    Das Urheberrecht an bibliographischen und produktbeschreibenden Daten und an den bereitgestellten...

    Taschenbuch
    27,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1